Details

sample80.0ms

Algorithm

intervals

Results

27.0ms	401×	body	80	valid
27.0ms	402×	body	80	nan

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

prune3.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: 5.5b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

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

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

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

series1.2s

Counts

4 → 12

Calls

4 calls:

439.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
271.0ms	(* (- x 0.5) (log x))
436.0ms	(- (* (- x 0.5) (log x)) x)
85.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

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

prune370.0ms

Filtered

110 candidates to 84 candidates (76.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	95	15	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	15	111

Merged error: 4.7b

Counts

111 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
5.0b	(/ (+ (* (- (* (+ 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)

series810.0ms

Counts

4 → 12

Calls

4 calls:

208.0ms	(cbrt x)
172.0ms	(cbrt x)
347.0ms	(cbrt x)
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify106.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (97.0ms)

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

prune342.0ms

Filtered

74 candidates to 62 candidates (83.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	75	14	89

Merged error: 4.7b

Counts

89 → 14

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
4.9b	(pow x 1/3)
5.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

1.0ms	(cbrt x)
5.0ms	(cbrt x)
2.0ms	(pow x 1/3)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series600.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt x)
172.0ms	(cbrt x)
173.0ms	(pow x 1/3)
78.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify36.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	268	467
1	1047	415
2	5001	409

prune349.0ms

Filtered

81 candidates to 64 candidates (79.0%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	80	15	95

Merged error: 4.7b

Counts

95 → 15

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
4.9b	(pow x 1/3)
4.9b	(pow x 1/3)
5.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

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

series601.0ms

Counts

4 → 12

Calls

4 calls:

179.0ms	(cbrt x)
170.0ms	(pow x 1/3)
171.0ms	(pow x 1/3)
81.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify37.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	268	481
1	1047	429
2	5001	423

prune410.0ms

Filtered

88 candidates to 65 candidates (73.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	1	12	13
Picked	1	0	1
Done	0	1	1
Total	89	14	103

Merged error: 4.7b

Counts

103 → 14

regimes398.0ms

Accuracy

0% (1.3b remaining)

Error of 6.1b against oracle of 4.8b and baseline of 6.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	20
1	37	20

end0.0ms

sample2.0s

Algorithm

intervals

Results

772.0ms	11706×	body	80	valid
692.0ms	11932×	body	80	nan

Details

sample80.0ms

simplify59.0ms

prune3.0ms

localize17.0ms

rewrite43.0ms

series1.2s

simplify48.0ms

prune370.0ms

localize28.0ms

rewrite16.0ms

series810.0ms

simplify106.0ms

prune342.0ms

localize31.0ms

rewrite22.0ms

series600.0ms

simplify36.0ms

prune349.0ms

localize33.0ms

rewrite19.0ms

series601.0ms

simplify37.0ms

prune410.0ms

regimes398.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling