Details

sample79.0ms

Algorithm

intervals

Results

23.0ms	355×	body	80	valid
23.0ms	339×	body	80	nan

simplify54.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 (100.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.0b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

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

series963.0ms

Counts

4 → 12

Calls

4 calls:

305.0ms	(* (- x 0.5) (log x))
56.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
493.0ms	(- (* (- x 0.5) (log x)) x)
109.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify55.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	483	811
1	1710	730
2	5001	724

prune827.0ms

Filtered

108 candidates to 78 candidates (27.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	95	13	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	13	109

Merged error: 5.2b

Counts

109 → 13

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
0.5b	(cbrt x)
5.5b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite20.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)
15.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series771.0ms

Counts

4 → 12

Calls

4 calls:

223.0ms	(cbrt x)
214.0ms	(cbrt x)
222.0ms	(cbrt x)
112.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify100.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (93.0ms)

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

prune623.0ms

Filtered

74 candidates to 62 candidates (16.2%)

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.2b

Counts

87 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
0.5b	(cbrt x)
0.5b	(cbrt x)
5.5b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

36×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
24×	`cbrt-prod` `associate-+l+`
12×	`associate-+r+`
9×	`times-frac`
8×	`associate-*l/`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`pow1` `flip3--` `frac-add` `flip--`
3×	`associate-/r` `associate-/l`
2×	`flip3-+` `pow1/3` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out`

Counts

4 → 103

Calls

4 calls:

14.0ms	(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
14.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series1.7s

Counts

4 → 12

Calls

4 calls:

1.2s	(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
216.0ms	(cbrt x)
224.0ms	(cbrt x)
114.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify79.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	624	1080
1	2446	943
2	5001	919

prune1.7s

Filtered

115 candidates to 104 candidates (9.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	115	13	128

Merged error: 5.2b

Counts

128 → 13

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`cbrt-prod`
9×	`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 → 63

Calls

4 calls:

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

series944.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(cbrt x)
337.0ms	(cbrt (* (cbrt x) (cbrt x)))
287.0ms	(cbrt (cbrt x))
106.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify119.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (111.0ms)

Iter	Nodes	Cost
0	277	521
1	865	471
2	4128	458
3	5002	454

prune769.0ms

Filtered

75 candidates to 64 candidates (14.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	75	13	88

Merged error: 5.2b

Counts

88 → 13

regimes712.0ms

Accuracy

0% (1.4b remaining)

Error of 6.4b against oracle of 5.0b and baseline of 6.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	26
1	42	26

end0.0ms

sample2.3s

Algorithm

intervals

Results

767.0ms	11643×	body	80	valid
686.0ms	11897×	body	80	nan

Details

sample79.0ms

simplify54.0ms

prune5.0ms

localize16.0ms

rewrite36.0ms

series963.0ms

simplify55.0ms

prune827.0ms

localize25.0ms

rewrite20.0ms

series771.0ms

simplify100.0ms

prune623.0ms

localize22.0ms

rewrite36.0ms

series1.7s

simplify79.0ms

prune1.7s

localize36.0ms

rewrite20.0ms

series944.0ms

simplify119.0ms

prune769.0ms

regimes712.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling