Details

sample77.0ms

Algorithm

intervals

Results

28.0ms	381×	body	80	valid
25.0ms	345×	body	80	nan

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

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: 7.0b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

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

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

9.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
8.0ms	(* (- x 0.5) (log x))
10.0ms	(- (* (- x 0.5) (log x)) x)
12.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series800.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
260.0ms	(* (- x 0.5) (log x))
417.0ms	(- (* (- x 0.5) (log x)) x)
86.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify53.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (43.0ms)

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

prune365.0ms

Filtered

108 candidates to 78 candidates (72.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	97	11	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	11	109

Merged error: 6.2b

Counts

109 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

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

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

series615.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(cbrt x)
174.0ms	(cbrt x)
180.0ms	(cbrt x)
84.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify101.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (94.0ms)

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

prune339.0ms

Filtered

74 candidates to 62 candidates (83.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	74	11	85

Merged error: 6.2b

Counts

85 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

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

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

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

series447.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x))
96.0ms	(* (log (sqrt x)) (- x 0.5))
97.0ms	(* (- x 0.5) (log (sqrt x)))
84.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify87.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	687	1420
1	2899	1288
2	5003	1252

prune683.0ms

Filtered

142 candidates to 102 candidates (71.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	141	12	153

Merged error: 6.2b

Counts

153 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

54×	`log-prod`
48×	`cbrt-prod`
45×	`distribute-rgt-in` `distribute-lft-in`
36×	`associate-+l+`
34×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
24×	`sqrt-prod`
18×	`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 → 127

Calls

4 calls:

17.0ms	(+ (* (- x 0.5) (* 2 (log (cbrt (sqrt x))))) (* (- x 0.5) (log (cbrt (sqrt x)))))
2.0ms	(cbrt (sqrt x))
2.0ms	(cbrt (sqrt x))
15.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series957.0ms

Counts

4 → 12

Calls

4 calls:

585.0ms	(+ (* (- x 0.5) (* 2 (log (cbrt (sqrt x))))) (* (- x 0.5) (log (cbrt (sqrt x)))))
145.0ms	(cbrt (sqrt x))
144.0ms	(cbrt (sqrt x))
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify78.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	726	1478
1	2637	1316
2	5001	1298

prune690.0ms

Filtered

139 candidates to 118 candidates (84.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	139	12	151

Merged error: 6.2b

Counts

151 → 12

regimes341.0ms

Accuracy

0% (1.1b remaining)

Error of 5.8b against oracle of 4.7b and baseline of 5.8b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	26
1	41	26

end0.0ms

sample2.1s

Algorithm

intervals

Results

835.0ms	11650×	body	80	valid
747.0ms	11347×	body	80	nan

Details

sample77.0ms

simplify56.0ms

prune3.0ms

localize18.0ms

rewrite41.0ms

series800.0ms

simplify53.0ms

prune365.0ms

localize26.0ms

rewrite19.0ms

series615.0ms

simplify101.0ms

prune339.0ms

localize26.0ms

rewrite47.0ms

series447.0ms

simplify87.0ms

prune683.0ms

localize29.0ms

rewrite41.0ms

series957.0ms

simplify78.0ms

prune690.0ms

regimes341.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling