Details

sample78.0ms

Algorithm

intervals

Results

26.0ms	355×	body	80	valid
19.0ms	339×	body	80	nan

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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)

rewrite38.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)

series89.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (- x 0.5) (log x))
8.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
36.0ms	(- (* (- x 0.5) (log x)) x)
22.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify55.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	515	836
1	1825	762
2	5002	724

prune809.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

localize26.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)

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)

series92.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt x)
26.0ms	(cbrt x)
21.0ms	(cbrt x)
22.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify95.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (88.0ms)

Iter	Nodes	Cost
0	231	498
1	697	460
2	3102	429
3	5001	426

prune569.0ms

Filtered

74 candidates to 59 candidates (20.3%)

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)

rewrite34.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:

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

series176.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify68.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	652	1117
1	2321	989
2	5003	952

prune1.6s

Filtered

115 candidates to 101 candidates (12.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	115	13	128

Merged error: 5.2b

Counts

128 → 13

localize33.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)

rewrite22.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)
6.0ms	(cbrt (* (cbrt x) (cbrt x)))
2.0ms	(cbrt (cbrt x))
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series114.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
38.0ms	(cbrt (* (cbrt x) (cbrt x)))
30.0ms	(cbrt (cbrt x))
22.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify109.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (102.0ms)

Iter	Nodes	Cost
0	317	560
1	878	514
2	3742	481
3	5001	477

prune671.0ms

Filtered

75 candidates to 60 candidates (20.0%)

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

regimes743.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	26
1	42	26

end0.0ms

sample2.2s

Algorithm

intervals

Results

722.0ms	11643×	body	80	valid
656.0ms	11897×	body	80	nan

Details

sample78.0ms

simplify54.0ms

prune5.0ms

localize16.0ms

rewrite38.0ms

series89.0ms

simplify55.0ms

prune809.0ms

localize26.0ms

rewrite16.0ms

series92.0ms

simplify95.0ms

prune569.0ms

localize22.0ms

rewrite34.0ms

series176.0ms

simplify68.0ms

prune1.6s

localize33.0ms

rewrite22.0ms

series114.0ms

simplify109.0ms

prune671.0ms

regimes743.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.2s

Profiling