Details

sample92.0ms

Algorithm

intervals

Results

27.0ms	391×	body	80	valid
27.0ms	383×	body	80	nan

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	37	12
1	84	12
2	245	12
3	581	12
4	1280	12
5	2462	12
6	5001	12

prune5.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: 6.8b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.2b	(* (- x 0.5) (log x))
0.2b	(- (* (- x 0.5) (log x)) x)
6.2b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
18×	`log-prod`
12×	`associate--l+`
11×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in` `times-frac`
8×	`add-exp-log` `associate-+l+` `add-cbrt-cube`
7×	`pow1`
5×	`associate-l`
4×	`associate-r`
3×	`associate-/r` `associate-/l`
2×	`sub-neg` `flip3--` `flip3-+` `diff-log` `associate-*l/` `sum-log` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `frac-2neg` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `log-pow` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

12.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
7.0ms	(* (- x 0.5) (log x))
6.0ms	(- (* (- x 0.5) (log x)) x)
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series1.2s

Counts

4 → 12

Calls

4 calls:

432.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
258.0ms	(* (- x 0.5) (log x))
411.0ms	(- (* (- x 0.5) (log x)) x)
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify54.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	501	839
1	1642	776
2	5002	763

prune570.0ms

Filtered

110 candidates to 84 candidates (76.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	97	13	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	13	111

Merged error: 5.0b

Counts

111 → 13

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
6.2b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 62

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series644.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(cbrt x)
190.0ms	(cbrt x)
183.0ms	(cbrt x)
86.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify98.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (92.0ms)

Iter	Nodes	Cost
0	212	462
1	697	420
2	3307	413
3	5001	410

prune488.0ms

Filtered

74 candidates to 62 candidates (83.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	74	13	87

Merged error: 5.0b

Counts

87 → 13

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log (sqrt x)) (- x 0.5))
0.2b	(* (- x 0.5) (log (sqrt x)))
0.2b	(+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x))
6.2b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
24×	`add-cube-cbrt` `log-prod`
16×	`distribute-rgt-in` `distribute-lft-in`
12×	`pow1` `associate-+l+` `sqrt-prod`
11×	`associate-r` `associate-l`
10×	`add-exp-log` `add-cbrt-cube`
9×	`times-frac` `add-log-exp`
6×	`associate-+r+` `flip3--` `associate-*l/` `log-pow` `flip--`
5×	`sub-neg`
4×	`frac-add` `associate--l+`
3×	`associate-/r` `associate-/l`
2×	`sqrt-pow1` `flip3-+` `pow1/2` `associate-r/` `pow-prod-down` `prod-exp` `sum-log` `-commutative` `cbrt-unprod` `flip-+` `associate-/l/` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `associate-+r-` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

4 → 130

Calls

4 calls:

7.0ms	(* (log (sqrt x)) (- x 0.5))
7.0ms	(* (- x 0.5) (log (sqrt x)))
14.0ms	(+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x))
10.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series666.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(* (log (sqrt x)) (- x 0.5))
158.0ms	(* (- x 0.5) (log (sqrt x)))
264.0ms	(+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x))
87.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify89.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	781	1481
1	3417	1345
2	5003	1309

prune766.0ms

Filtered

142 candidates to 105 candidates (73.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	142	13	155

Merged error: 5.0b

Counts

155 → 13

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- x 0.5) (log (sqrt (sqrt x))))
0.2b	(+ (* (- x 0.5) (+ (log (sqrt (sqrt x))) (log (sqrt x)))) (neg x))
0.3b	(+ (log (sqrt (sqrt x))) (log (sqrt x)))
6.2b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

33×	`log-prod` `*-un-lft-identity`
30×	`sqrt-prod`
29×	`add-sqr-sqrt` `log-pow`
25×	`add-cube-cbrt`
24×	`pow1`
17×	`sqrt-pow1`
11×	`associate-+l+` `pow1/2`
10×	`distribute-rgt-in` `distribute-lft-in`
9×	`times-frac`
8×	`add-exp-log` `distribute-rgt-out` `associate-r` `add-cbrt-cube` `add-log-exp`
6×	`associate-+r+` `distribute-lft-out`
5×	`associate-l`
3×	`flip3-+` `associate-/r` `sum-log` `flip-+` `associate-/l`
2×	`+-commutative` `distribute-lft1-in` `associate-*l/` `associate-/l/`
1×	`cbrt-undiv` `neg-sub0` `associate-+r-` `flip3--` `frac-2neg` `div-exp` `unsub-neg` `pow-prod-down` `neg-log` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 133

Calls

4 calls:

9.0ms	(* (- x 0.5) (log (sqrt (sqrt x))))
13.0ms	(+ (* (- x 0.5) (+ (log (sqrt (sqrt x))) (log (sqrt x)))) (neg x))
8.0ms	(+ (log (sqrt (sqrt x))) (log (sqrt x)))
14.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series1.0s

Counts

4 → 12

Calls

4 calls:

346.0ms	(* (- x 0.5) (log (sqrt (sqrt x))))
406.0ms	(+ (* (- x 0.5) (+ (log (sqrt (sqrt x))) (log (sqrt x)))) (neg x))
177.0ms	(+ (log (sqrt (sqrt x))) (log (sqrt x)))
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify77.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	787	1348
1	3156	1247
2	5001	1217

prune747.0ms

Filtered

145 candidates to 96 candidates (66.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	147	11	158

Merged error: 5.0b

Counts

158 → 11

regimes595.0ms

Accuracy

54.4% (0.5b remaining)

Error of 5.5b against oracle of 5.0b and baseline of 6.1b

bsearch97.0ms

Steps

Iters	Range		Point
8	2.5998762328621806e+94	2.6952778961706476e+98	1.1537068505287218e+98

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	45
1	68	45

end0.0ms

sample2.5s

Algorithm

intervals

Results

870.0ms	11354×	body	80	nan
804.0ms	11551×	body	80	valid

Details

sample92.0ms

simplify55.0ms

prune5.0ms

localize17.0ms

rewrite39.0ms

series1.2s

simplify54.0ms

prune570.0ms

localize31.0ms

rewrite16.0ms

series644.0ms

simplify98.0ms

prune488.0ms

localize25.0ms

rewrite42.0ms

series666.0ms

simplify89.0ms

prune766.0ms

localize26.0ms

rewrite48.0ms

series1.0s

simplify77.0ms

prune747.0ms

regimes595.0ms

bsearch97.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling