Details

sample106.0ms

Algorithm

intervals

Results

30.0ms	61×	body	1280	valid
23.0ms	340×	body	80	valid
12.0ms	41×	body	640	valid
8.0ms	63×	body	80	overflowed
3.0ms	17×	body	320	valid
2.0ms	18×	body	160	valid

simplify90.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (35.0ms)

Iter	Nodes	Cost
0	46	16
1	122	16
2	347	16
3	1295	16
4	5001	15

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 31.6b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ 1.0 eps) x)
0.0b	(exp (neg (* (+ 1.0 eps) x)))
0.0b	(exp (neg (* (- 1.0 eps) x)))
3.4b	(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

81×	`frac-sub`
74×	`exp-neg`
72×	`frac-times`
56×	`neg-sub0` `exp-diff`
38×	`associate-*l/`
36×	`associate-*r/`
28×	`flip3--` `flip3-+` `flip--` `flip-+`
18×	`un-div-inv`
12×	`exp-prod`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
8×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`associate-l` `rem-exp-log`
3×	`associate-r`
2×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `neg-log`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 148

Calls

4 calls:

6.0ms	(* (+ 1.0 eps) x)
3.0ms	(exp (neg (* (+ 1.0 eps) x)))
4.0ms	(exp (neg (* (- 1.0 eps) x)))
17.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

series338.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (+ 1.0 eps) x)
32.0ms	(exp (neg (* (+ 1.0 eps) x)))
36.0ms	(exp (neg (* (- 1.0 eps) x)))
237.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

simplify143.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 2 (107.0ms)

Iter	Nodes	Cost
0	1177	3664
1	4380	3403
2	5001	3392

prune1.1s

Filtered

160 candidates to 81 candidates (49.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	156	4	160
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	157	4	161

Merged error: 0.1b

Counts

161 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(* 0.6666666666666667 (pow x 3))
6.4b	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`associate-r`
7×	`add-exp-log` `add-log-exp`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `cube-prod` `add-cbrt-cube` `unswap-sqr`
3×	`associate-l` `prod-exp`
2×	`pow1` `diff-log` `sqr-pow`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `unpow3` `pow-exp` `associate--l+` `sum-log` `*-commutative` `flip--` `cbrt-unprod`

Counts

2 → 45

Calls

2 calls:

6.0ms	(* 0.6666666666666667 (pow x 3))
7.0ms	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))

series98.0ms

Counts

2 → 6

Calls

2 calls:

45.0ms	(* 0.6666666666666667 (pow x 3))
54.0ms	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))

simplify35.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	207	270
1	894	242
2	5002	238

prune370.0ms

Filtered

51 candidates to 31 candidates (39.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	50	5	55

Merged error: 0.1b

Counts

55 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

6.4b	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
3×	`pow1/3`
2×	`diff-log`
1×	`sub-neg` `associate--l+` `sum-log`

Counts

4 → 53

Calls

4 calls:

7.0ms	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

series613.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))
182.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
191.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
187.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

simplify132.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	252	983
1	905	918
2	4255	839
3	5002	839

prune385.0ms

Filtered

65 candidates to 59 candidates (9.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	65	5	70

Merged error: 0.1b

Counts

70 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
10.2b	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
7.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

series733.0ms

Counts

4 → 12

Calls

4 calls:

181.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
186.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
181.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))
184.0ms	(cbrt (- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2))))

simplify118.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	228	1104
1	831	1036
2	3714	940
3	5002	940

prune437.0ms

Filtered

64 candidates to 64 candidates (0.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	64	5	69

Merged error: 0.1b

Counts

69 → 5

regimes130.0ms

Accuracy

94.1% (1.0b remaining)

Error of 1.4b against oracle of 0.4b and baseline of 16.6b

bsearch144.0ms

Steps

Iters	Range		Point
8	1.636599296017768e-13	3.6754866301858214e-10	3.6248321339477995e-10

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	25
1	58	25
2	58	25

end0.0ms

sample2.7s

Algorithm

intervals

Results

856.0ms	1735×	body	1280	valid
673.0ms	9876×	body	80	valid
395.0ms	1305×	body	640	valid
134.0ms	644×	body	320	valid
128.0ms	1948×	body	80	overflowed
43.0ms	327×	body	160	valid

Details

sample106.0ms

simplify90.0ms

prune10.0ms

localize20.0ms

rewrite39.0ms

series338.0ms

simplify143.0ms

prune1.1s

localize10.0ms

rewrite14.0ms

series98.0ms

simplify35.0ms

prune370.0ms

localize15.0ms

rewrite28.0ms

series613.0ms

simplify132.0ms

prune385.0ms

localize17.0ms

rewrite28.0ms

series733.0ms

simplify118.0ms

prune437.0ms

regimes130.0ms

bsearch144.0ms

simplify2.0ms

end0.0ms

sample2.7s

Profiling