Details

sample359.0ms

Algorithm

intervals

Results

15.0ms	384×	body	80	nan
9.0ms	232×	body	80	valid
9.0ms	202×	body	80	overflowed
2.0ms	26×	body	160	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	7
1	28	7
2	40	7
3	73	7
4	176	7
5	559	7
6	2626	7
7	5001	7

prune5.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 5.7b

Counts

2 → 1

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.0b	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
6.0b	(- (exp (* 2.0 x)) 1.0)
6.1b	(- (exp x) 1.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
75×	`*-un-lft-identity`
51×	`times-frac`
31×	`sqrt-prod`
27×	`add-cube-cbrt`
24×	`distribute-lft-out--` `difference-of-squares`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-/r` `flip--` `associate-/l`
4×	`associate-/r/`
2×	`sub-neg` `rem-sqrt-square` `diff-log` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `div-exp` `clear-num`

Counts

4 → 123

Calls

4 calls:

8.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
9.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
3.0ms	(- (exp (* 2.0 x)) 1.0)
6.0ms	(- (exp x) 1.0)

series244.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
67.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
38.0ms	(- (exp (* 2.0 x)) 1.0)
25.0ms	(- (exp x) 1.0)

simplify123.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (109.0ms)

Iter	Nodes	Cost
0	387	1380
1	1054	1314
2	4265	1301
3	5001	1293

prune640.0ms

Filtered

135 candidates to 92 candidates (31.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	131	4	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	132	4	136

Merged error: 0.0b

Counts

136 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0)))
0.0b	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
6.1b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
6.1b	(- (exp x) 1.0)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
17×	`sqrt-prod`
10×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-cube-cbrt` `associate-/l/` `add-log-exp` `difference-of-squares`
7×	`flip3--` `flip--`
6×	`distribute-lft-out--`
5×	`pow1` `associate-/r*`
4×	`frac-times` `associate-/r/`
3×	`flip3-+` `flip-+`
2×	`cbrt-undiv` `sub-neg` `diff-log` `associate-r/` `div-exp` `associate-l/` `div-inv`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l*`

Counts

4 → 89

Calls

4 calls:

14.0ms	(sqrt (/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0)))
20.0ms	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)

series693.0ms

Counts

4 → 12

Calls

4 calls:

392.0ms	(sqrt (/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0)))
221.0ms	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
61.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
18.0ms	(- (exp x) 1.0)

simplify72.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	607	1410
1	2846	1184
2	5001	1166

prune647.0ms

Filtered

101 candidates to 76 candidates (24.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	101	4	105

Merged error: 0.0b

Counts

105 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)
0.1b	(cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
6.1b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
6.1b	(- (exp x) 1.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
32×	`*-un-lft-identity`
30×	`sqrt-prod`
24×	`cbrt-prod`
21×	`difference-of-squares`
18×	`unpow-prod-down` `cube-prod`
11×	`distribute-lft-out--`
10×	`add-cube-cbrt`
8×	`add-log-exp`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`cube-div` `flip3--` `flip--`
3×	`pow-unpow`
2×	`cube-mult` `sub-neg` `cbrt-div` `diff-log` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 104

Calls

4 calls:

8.0ms	(pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)
11.0ms	(cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)

series290.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)
60.0ms	(cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
62.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
18.0ms	(- (exp x) 1.0)

simplify50.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	357	1065
1	1371	995
2	5001	983

prune480.0ms

Filtered

116 candidates to 56 candidates (51.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	116	4	120

Merged error: 0.0b

Counts

120 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- (exp x) 1.0))
0.0b	(* (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ 1 (- (exp x) 1.0)))
6.1b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
6.1b	(- (exp x) 1.0)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
43×	`*-un-lft-identity`
30×	`add-exp-log` `times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-cbrt-cube`
16×	`frac-times`
12×	`associate-*l/` `prod-exp` `difference-of-squares`
10×	`pow1` `flip3--` `flip--` `distribute-lft-out--`
8×	`add-log-exp`
6×	`flip3-+` `div-exp` `sqrt-prod` `cbrt-unprod` `flip-+`
5×	`associate-r/` `associate-/r`
4×	`associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `associate-/l*`
2×	`sub-neg` `diff-log` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-l` `clear-num` `un-div-inv` `*-commutative` `inv-pow`

Counts

4 → 135

Calls

4 calls:

6.0ms	(/ 1 (- (exp x) 1.0))
25.0ms	(* (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ 1 (- (exp x) 1.0)))
6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)

series326.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ 1 (- (exp x) 1.0))
220.0ms	(* (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ 1 (- (exp x) 1.0)))
62.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
18.0ms	(- (exp x) 1.0)

simplify88.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	629	1586
1	3686	1227
2	5001	1179

prune700.0ms

Filtered

147 candidates to 91 candidates (38.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	147	4	151

Merged error: 0.0b

Counts

151 → 4

regimes48.0ms

Accuracy

68% (1.0b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 3.3b

bsearch55.0ms

Steps

Iters	Range		Point
7	-7.84156909769835e-17	-4.6733107765896116e-18	-5.637591329372364e-17

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	22
1	33	22

end0.0ms

sample1.5s

Algorithm

intervals

Results

488.0ms	12797×	body	80	nan
300.0ms	7451×	body	80	valid
236.0ms	6573×	body	80	overflowed
63.0ms	670×	body	160	valid

Details

sample359.0ms

simplify72.0ms

prune5.0ms

localize30.0ms

rewrite32.0ms

series244.0ms

simplify123.0ms

prune640.0ms

localize14.0ms

rewrite47.0ms

series693.0ms

simplify72.0ms

prune647.0ms

localize16.0ms

rewrite32.0ms

series290.0ms

simplify50.0ms

prune480.0ms

localize15.0ms

rewrite45.0ms

series326.0ms

simplify88.0ms

prune700.0ms

regimes48.0ms

bsearch55.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling