Details

sample95.0ms

Algorithm

intervals

Results

30.0ms	57×	body	1280	valid
25.0ms	355×	body	80	valid
11.0ms	38×	body	640	valid
4.0ms	56×	body	80	overflowed
4.0ms	18×	body	320	valid
1.0ms	5×	body	160	valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (36.0ms)

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

prune6.0ms

Filtered

1 candidates to 1 candidates (100.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: 28.0b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.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/`
29×	`flip3--` `flip--`
27×	`flip3-+` `flip-+`
18×	`un-div-inv`
12×	`add-sqr-sqrt` `exp-prod`
10×	`*-un-lft-identity` `add-log-exp`
8×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`associate-l`
4×	`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--` `difference-of-squares` `unswap-sqr`

Counts

4 → 149

Calls

4 calls:

3.0ms	(exp (neg (* (+ 1.0 eps) x)))
4.0ms	(exp (neg (* (- 1.0 eps) x)))
7.0ms	(* (- 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)))))

series283.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(exp (neg (* (+ 1.0 eps) x)))
27.0ms	(exp (neg (* (- 1.0 eps) x)))
34.0ms	(* (- 1.0 eps) x)
195.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

simplify147.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (109.0ms)

Iter	Nodes	Cost
0	1175	3668
1	4323	3407
2	5002	3396

prune358.0ms

Filtered

161 candidates to 82 candidates (50.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	158	3	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	159	3	162

Merged error: 0.3b

Counts

162 → 3

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b	(* 0.6666666666666667 (pow x 3))
7.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)))

series78.0ms

Counts

2 → 6

Calls

2 calls:

40.0ms	(* 0.6666666666666667 (pow x 3))
38.0ms	(- (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))

simplify34.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (29.0ms)

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

prune91.0ms

Filtered

51 candidates to 31 candidates (60.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	51	3	54

Merged error: 0.3b

Counts

54 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* 0.6666666666666667 x) x)
0.7b	(cbrt x)
0.7b	(pow (cbrt x) 3)
7.4b	(- (+ (* (* (* 0.6666666666666667 x) x) (pow (cbrt x) 3)) 2.0) (* 1.0 (pow x 2)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`pow1` `add-exp-log`
9×	`cbrt-prod` `add-cbrt-cube` `add-log-exp`
6×	`unpow-prod-down` `cube-prod`
3×	`pow-unpow` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`pow-pow` `pow1/3` `diff-log`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `unpow3` `associate-l` `pow-exp` `associate--l+` `sum-log` `*-commutative` `flip--` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (* 0.6666666666666667 x) x)
1.0ms	(cbrt x)
3.0ms	(pow (cbrt x) 3)
11.0ms	(- (+ (* (* (* 0.6666666666666667 x) x) (pow (cbrt x) 3)) 2.0) (* 1.0 (pow x 2)))

series617.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (* 0.6666666666666667 x) x)
177.0ms	(cbrt x)
356.0ms	(pow (cbrt x) 3)
55.0ms	(- (+ (* (* (* 0.6666666666666667 x) x) (pow (cbrt x) 3)) 2.0) (* 1.0 (pow x 2)))

simplify74.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	311	379
1	1784	317
2	5003	303

prune156.0ms

Filtered

85 candidates to 49 candidates (57.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	85	3	88

Merged error: 0.3b

Counts

88 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 41

Calls

4 calls:

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

series710.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(- (+ (* (* (* (cbrt (* (* 0.6666666666666667 x) x)) (cbrt (* (* 0.6666666666666667 x) x))) (cbrt (* (* 0.6666666666666667 x) x))) (pow (cbrt x) 3)) 2.0) (* 1.0 (pow x 2)))
206.0ms	(cbrt (* (* 0.6666666666666667 x) x))
211.0ms	(cbrt (* (* 0.6666666666666667 x) x))
210.0ms	(cbrt (* (* 0.6666666666666667 x) x))

simplify191.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 3 (185.0ms)

Iter	Nodes	Cost
0	145	548
1	596	474
2	4005	427
3	5001	391

prune141.0ms

Filtered

53 candidates to 39 candidates (73.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	53	3	56

Merged error: 0.3b

Counts

56 → 3

regimes71.0ms

Accuracy

92.2% (1.3b remaining)

Error of 1.7b against oracle of 0.4b and baseline of 16.9b

bsearch83.0ms

Steps

Iters	Range		Point
5	1.0776744539577754e-18	2.9147887557317638e-18	2.8758174537974977e-18

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	53
1	76	53
2	76	53

end0.0ms

sample2.6s

Algorithm

intervals

Results

882.0ms	1739×	body	1280	valid
700.0ms	10024×	body	80	valid
390.0ms	1269×	body	640	valid
134.0ms	1957×	body	80	overflowed
131.0ms	632×	body	320	valid
37.0ms	273×	body	160	valid

Details

sample95.0ms

simplify38.0ms

prune6.0ms

localize21.0ms

rewrite40.0ms

series283.0ms

simplify147.0ms

prune358.0ms

localize14.0ms

rewrite14.0ms

series78.0ms

simplify34.0ms

prune91.0ms

localize13.0ms

rewrite22.0ms

series617.0ms

simplify74.0ms

prune156.0ms

localize18.0ms

rewrite30.0ms

series710.0ms

simplify191.0ms

prune141.0ms

regimes71.0ms

bsearch83.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling