Metrics for log(exp(x))

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze111.0ms (2%)

Memory

-113.4MiB live, 35.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
50%	50%	50%	0%	0%	0%	0%	4
50%	50%	50%	0%	0%	0%	0%	5
50%	50%	50%	0%	0%	0%	0%	6
50%	50%	50%	0%	0%	0%	0%	7
50%	50%	50%	0%	0%	0%	0%	8
50.8%	50.8%	49.2%	0%	0%	0%	0%	9
51.2%	51.1%	48.8%	0%	0%	0%	0%	10
51.4%	51.3%	48.6%	0%	0%	0%	0%	11
51.4%	51.3%	48.6%	0%	0%	0%	0%	12

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample5.1s (90.3%)

Memory

202.2MiB live, 1 998.8MiB allocated

Samples

1.8s	2 960×	2	valid
1.1s	4 770×	1	valid
1.1s	7 691×	1	exit
35.0ms	526×	0	valid
2.0ms	1×	5	exit

Precisions

Click to see histograms. Total time spent on operations: 2.9s

ival-log: 1.3s (46.1% of total)

ival-exp: 938.0ms (32.2% of total)

adjust: 334.0ms (11.4% of total)

ival-<=: 225.0ms (7.7% of total)

ival-and: 37.0ms (1.3% of total)

exact: 28.0ms (1% of total)

ival-assert: 10.0ms (0.3% of total)

Bogosity

explain251.0ms (4.5%)

Memory

52.5MiB live, 91.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
252	-	-	`(log.f64 (exp.f64 x))`
0	-	-	`(exp.f64 x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`(log.f64 (exp.f64 x))`	sensitivity	248	0
`log.f64`	`(log.f64 (exp.f64 x))`	oflow-rescue	3	0
↳	`(exp.f64 x)`	overflow	3
`log.f64`	`(log.f64 (exp.f64 x))`	uflow-rescue	1	0
↳	`(exp.f64 x)`	underflow	1

Confusion

	Predicted +	Predicted -
+	252	0
-	0	4

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	252	0	0
-	0	0	4

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	4
1	252

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

114.0ms	282×	1	valid
100.0ms	204×	2	valid
2.0ms	26×	0	valid

Compiler

Compiled 19 to 13 computations (31.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 195.0ms

ival-log: 141.0ms (72.3% of total)

ival-exp: 48.0ms (24.6% of total)

adjust: 6.0ms (3.1% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess34.0ms (0.6%)

Memory

-67.6MiB live, 5.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	15	3
2	31	3
3	58	3
4	69	3
5	71	3
0	3	3
0	5	1
1	5	1
0	5	1

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(log.f64 (exp.f64 x))

Outputs
(log.f64 (exp.f64 x))
x

Symmetry

(negabs x)

Compiler

Compiled 3 to 3 computations (0% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	9.1%	(log.f64 (exp.f64 x))

Compiler

Compiled 3 to 3 computations (0% saved)

simplify2.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(exp.f64 x)
cost-diff	2	(log.f64 (exp.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
0	5	4
1	5	4
0	5	4

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(log.f64 (exp.f64 x))
(exp.f64 x)
x

Outputs
(log.f64 (exp.f64 x))
x
(exp.f64 x)
x

localize74.0ms (1.3%)

Memory

8.2MiB live, 8.2MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(exp.f64 x)
accuracy	58.184757151258445	(log.f64 (exp.f64 x))

Samples

44.0ms	102×	2	valid
23.0ms	141×	1	valid
1.0ms	13×	0	valid

Compiler

Compiled 8 to 5 computations (37.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 58.0ms

ival-log: 41.0ms (70.5% of total)

ival-exp: 14.0ms (24.1% of total)

adjust: 3.0ms (5.2% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Counts

2 → 6

Calls

Call 1

Inputs
(log.f64 (exp.f64 x))
(exp.f64 x)

Outputs
x
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(exp x)

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	((log (exp x)) (exp x))
0.0ms	x	@	inf	((log (exp x)) (exp x))
0.0ms	x	@	0	((log (exp x)) (exp x))

simplify8.0ms (0.1%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	29
1	44	29
2	89	29
3	175	29
4	228	29
5	264	29
0	264	24

Stop Event

1×	iter limit
1×	saturated

Counts

6 → 5

Calls

Call 1

Inputs
x
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(exp x)

Outputs
x
1
#s(literal 1 binary64)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64)) x #s(literal 1 binary64))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) x #s(literal 1/2 binary64)) x #s(literal 1 binary64)) x #s(literal 1 binary64))
(exp x)
(exp.f64 x)

rewrite12.0ms (0.2%)

Memory

5.0MiB live, 5.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
0	5	3
1	5	3
0	5	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

2 → 3

Calls

Call 1

Inputs
(log.f64 (exp.f64 x))
(exp.f64 x)

Outputs
(log.f64 (exp.f64 x))
x
(exp.f64 x)

eval1.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated
Compiler: Compiled 50 to 23 computations (54% saved)

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	7	1	8
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	8	1	9

Accuracy

100.0%

Counts

9 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	x

Compiler

Compiled 1 to 1 computations (0% saved)

simplify2.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
0	1	1
0	1	1

Stop Event

1×	saturated
1×	saturated
1×	saturated

Calls

Call 1

Inputs
x

Outputs
x

localize6.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Samples

4.0ms

256×

valid

Compiler

Compiled 3 to 3 computations (0% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory

0.0MiB live, 0.0MiB allocated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	()
0.0ms	x	@	inf	()
0.0ms	x	@	-inf	()

simplify2.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

rewrite5.0ms (0.1%)

Memory

0.3MiB live, 0.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	x

Compiler

Compiled 5 to 4 computations (20% saved)

regimes3.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Accuracy

Total -58.2b remaining (-∞%)

Threshold costs -58.2b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
x
(log.f64 (exp.f64 x))

Outputs
x

Calls

3 calls:

1.0ms	x
1.0ms	(exp.f64 x)
1.0ms	(log.f64 (exp.f64 x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(log.f64 (exp.f64 x))`
100.0%	1	`(exp.f64 x)`

Compiler

Compiled 6 to 6 computations (0% saved)

simplify10.0ms (0.2%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×

saturated

Calls

Call 1

Inputs
x

Outputs
x

soundness6.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
0	5	3
1	5	3
0	5	3

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit

Compiler

Compiled 5 to 4 computations (20% saved)

preprocess14.0ms (0.2%)

Memory: 8.9MiB live, 8.9MiB allocated
Remove: (negabs x)
Compiler: Compiled 10 to 10 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze111.0ms (2%)

sample5.1s (90.3%)

explain251.0ms (4.5%)

preprocess34.0ms (0.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify2.0ms (0%)

localize74.0ms (1.3%)

series1.0ms (0%)

simplify8.0ms (0.1%)

rewrite12.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

localize6.0ms (0.1%)

series0.0ms (0%)

simplify2.0ms (0%)

rewrite5.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes3.0ms (0.1%)

simplify10.0ms (0.2%)

soundness6.0ms (0.1%)

preprocess14.0ms (0.2%)

end0.0ms (0%)

Profiling