Details

analyze233.0ms

Algorithm: search

sample64.0ms

Algorithm

intervals

Results

25.0ms	47×	body	1280	valid
11.0ms	33×	body	640	valid
11.0ms	144×	body	80	valid
5.0ms	22×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	5×	body	80	invalid
0.0ms	5×	body	80	overflowed
0.0ms	1×	body	320	invalid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (34.0ms)

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

prune12.0ms

Filtered

1 candidates to 1 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: 26.9b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

81×	`frac-sub`
78×	`exp-neg`
76×	`frac-times`
59×	`neg-sub0` `exp-diff`
38×	`associate-r/` `associate-l/`
30×	`flip3-+` `flip-+`
28×	`flip3--` `flip--`
19×	`un-div-inv`
12×	`exp-prod`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
8×	`add-cube-cbrt`
6×	`pow1` `add-cbrt-cube`
5×	`add-exp-log`
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 → 155

Calls

4 calls:

12.0ms	(* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x))))
3.0ms	(exp (neg (* (+ 1.0 eps) x)))
3.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)))))

series70.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x))))
6.0ms	(exp (neg (* (+ 1.0 eps) x)))
6.0ms	(exp (neg (* (- 1.0 eps) x)))
48.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

simplify137.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	1159	3849
1	4232	3585
2	5001	3574

prune319.0ms

Filtered

86 candidates to 167 candidates (-94.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	163	4	167
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	165	4	169

Merged error: 0.4b

Counts

169 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 56

Calls

3 calls:

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

series15.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify37.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	251	336
1	1024	311
2	5002	307

prune119.0ms

Filtered

41 candidates to 65 candidates (-58.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	62	7	69

Merged error: 0.4b

Counts

69 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (+ (* 0.6666666666666667 (pow x 3)) 2.0) 3)
0.1b	(* 0.6666666666666667 (pow x 3))
5.5b	(cbrt (pow (+ (* 0.6666666666666667 (pow x 3)) 2.0) 3))
8.2b	(- (cbrt (pow (+ (* 0.6666666666666667 (pow x 3)) 2.0) 3)) (* 1.0 (pow x 2)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series21.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	363	647
1	1646	575
2	5003	567

prune177.0ms

Filtered

58 candidates to 103 candidates (-77.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	103	7	110

Merged error: 0.4b

Counts

110 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 8.0 (pow x 3))
0.1b	(* 2.666666666666667 (pow x 6))
6.9b	(cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0)))
8.4b	(- (cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0))) (* 1.0 (pow x 2)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

6.0ms	(* 8.0 (pow x 3))
5.0ms	(* 2.666666666666667 (pow x 6))
6.0ms	(cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0)))
12.0ms	(- (cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0))) (* 1.0 (pow x 2)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 8.0 (pow x 3))
4.0ms	(* 2.666666666666667 (pow x 6))
28.0ms	(cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0)))
13.0ms	(- (cbrt (+ (* 2.666666666666667 (pow x 6)) (+ (* 8.0 (pow x 3)) 8.0))) (* 1.0 (pow x 2)))

simplify64.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	497	723
1	2036	677
2	5001	676

prune198.0ms

Filtered

64 candidates to 93 candidates (-45.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	93	7	100

Merged error: 0.4b

Counts

100 → 7

regimes192.0ms

Accuracy

96.4% (0.6b remaining)

Error of 1.1b against oracle of 0.5b and baseline of 16.5b

bsearch146.0ms

Steps

Iters	Range		Point
10	0.1640592314633461	6633969529.239534	127.8633945448703

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	42
1	70	42
2	70	42

end0.0ms

analyze229.0ms

Algorithm: search

sample2.1s

Algorithm

intervals

Results

920.0ms	1706×	body	1280	valid
429.0ms	1262×	body	640	valid
321.0ms	4101×	body	80	valid
146.0ms	619×	body	320	valid
48.0ms	312×	body	160	valid
17.0ms	211×	body	80	invalid
14.0ms	178×	body	80	overflowed
7.0ms	12×	body	1280	invalid
7.0ms	17×	body	640	invalid
2.0ms	7×	body	320	invalid

Details

analyze233.0ms

sample64.0ms

simplify35.0ms

prune12.0ms

localize17.0ms

rewrite44.0ms

series70.0ms

simplify137.0ms

prune319.0ms

localize12.0ms

rewrite19.0ms

series15.0ms

simplify37.0ms

prune119.0ms

localize13.0ms

rewrite32.0ms

series21.0ms

simplify56.0ms

prune177.0ms

localize15.0ms

rewrite32.0ms

series48.0ms

simplify64.0ms

prune198.0ms

regimes192.0ms

bsearch146.0ms

simplify2.0ms

end0.0ms

analyze229.0ms

sample2.1s

Profiling