Details

sample297.0ms

Algorithm

intervals

Results

15.0ms	346×	body	80	nan
10.0ms	237×	body	80	valid
7.0ms	195×	body	80	overflowed
2.0ms	24×	body	160	valid

simplify73.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

prune4.0ms

Filtered

1 candidates to 0 candidates (0.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: 4.2b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.1b	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.9b	(- (exp (* 2.0 x)) 1.0)
5.0b	(- (exp x) 1.0)

rewrite48.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:

22.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
9.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.0ms	(- (exp (* 2.0 x)) 1.0)
6.0ms	(- (exp x) 1.0)

series197.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
61.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
24.0ms	(- (exp (* 2.0 x)) 1.0)
23.0ms	(- (exp x) 1.0)

simplify124.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (110.0ms)

Iter	Nodes	Cost
0	387	1380
1	1054	1314
2	4287	1301
3	5003	1293

prune289.0ms

Filtered

135 candidates to 92 candidates (68.1%)

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: 0b

Counts

136 → 4

localize13.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))
5.0b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
5.0b	(- (exp x) 1.0)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-log-exp`
9×	`sqrt-prod`
7×	`pow1`
5×	`sqrt-div` `difference-of-squares`
4×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`flip3-+` `flip-+` `distribute-lft-out--`
2×	`frac-times` `sub-neg` `flip3--` `sqrt-pow1` `diff-log` `associate-*l/` `flip--` `distribute-lft-out`
1×	`+-commutative` `pow1/2` `associate-*r/` `pow-prod-down` `sum-log`

Counts

4 → 61

Calls

4 calls:

18.0ms	(sqrt (* (+ (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))
6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)

series430.0ms

Counts

4 → 12

Calls

4 calls:

324.0ms	(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))))
43.0ms	(+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))
49.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
14.0ms	(- (exp x) 1.0)

simplify44.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	420	776
1	1462	712
2	5001	694

prune194.0ms

Filtered

73 candidates to 53 candidates (72.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	74	3	77

Merged error: 0b

Counts

77 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 88

Calls

4 calls:

7.0ms	(cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
7.0ms	(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)

series221.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
111.0ms	(pow (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)
50.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
14.0ms	(- (exp x) 1.0)

simplify46.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	374	825
1	1419	759
2	5001	749

prune222.0ms

Filtered

100 candidates to 56 candidates (56.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	100	3	103

Merged error: 0b

Counts

103 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.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:

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

series230.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3))
124.0ms	(pow (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 3)
46.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
14.0ms	(- (exp x) 1.0)

simplify52.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

prune219.0ms

Filtered

116 candidates to 56 candidates (48.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	116	3	119

Merged error: 0b

Counts

119 → 3

regimes22.0ms

Accuracy

77.1% (0.8b remaining)

Error of 1.0b against oracle of 0.2b and baseline of 3.6b

bsearch49.0ms

Steps

Iters	Range		Point
8	-0.010737416367459047	-6.029342077139861e-06	-6.026338217642778e-05

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	22
1	33	22

end0.0ms

sample1.4s

Algorithm

intervals

Results

464.0ms	12381×	body	80	nan
297.0ms	7411×	body	80	valid
237.0ms	6572×	body	80	overflowed
68.0ms	722×	body	160	valid

Details

sample297.0ms

simplify73.0ms

prune4.0ms

localize11.0ms

rewrite48.0ms

series197.0ms

simplify124.0ms

prune289.0ms

localize13.0ms

rewrite35.0ms

series430.0ms

simplify44.0ms

prune194.0ms

localize16.0ms

rewrite27.0ms

series221.0ms

simplify46.0ms

prune222.0ms

localize15.0ms

rewrite34.0ms

series230.0ms

simplify52.0ms

prune219.0ms

regimes22.0ms

bsearch49.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling