Details

sample77.0ms

Algorithm

intervals

Results

28.0ms	381×	body	80	valid
24.0ms	413×	body	80	nan

simplify55.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: 5.3b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* (- x 0.5) (log x)) x)
0.1b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.2b	(* (- x 0.5) (log x))
4.8b	(/ (+ (* (- (* (+ 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:

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

series1.2s

Counts

4 → 12

Calls

4 calls:

420.0ms	(- (* (- x 0.5) (log x)) x)
409.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
242.0ms	(* (- x 0.5) (log x))
82.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	5001	763

prune369.0ms

Filtered

110 candidates to 84 candidates (76.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	96	14	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	14	111

Merged error: 4.5b

Counts

111 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 113

Calls

4 calls:

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

series507.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(* (- x 0.5) (log (sqrt x)))
147.0ms	(- (* (log (sqrt x)) (- x 0.5)) x)
177.0ms	(+ (* (- x 0.5) (log (sqrt x))) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467))
80.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify75.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	729	1414
1	2783	1316
2	5002	1289

prune449.0ms

Filtered

125 candidates to 91 candidates (72.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	125	14	139

Merged error: 4.5b

Counts

139 → 14

localize21.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)
4.8b	(/ (+ (* (- (* (+ 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:

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

series1.2s

Counts

4 → 12

Calls

4 calls:

771.0ms	(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
175.0ms	(cbrt x)
184.0ms	(cbrt x)
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify73.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (61.0ms)

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

prune530.0ms

Filtered

115 candidates to 104 candidates (90.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	117	12	129

Merged error: 4.5b

Counts

129 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 0.5) (* 2 (log (pow x 1/3)))) (* (- x 0.5) (log (cbrt x))))
0.5b	(cbrt x)
4.8b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
5.1b	(pow x 1/3)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

40×	`log-prod`
34×	`distribute-rgt-in` `distribute-lft-in`
28×	`associate-+l+`
27×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`unpow-prod-down`
12×	`associate-+r+`
9×	`cbrt-prod` `times-frac`
8×	`associate-*l/`
7×	`add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
5×	`pow1` `sqr-pow`
4×	`flip3--` `frac-add` `flip--`
3×	`pow-unpow` `associate-/r` `associate-/l`
2×	`flip3-+` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `pow-pow` `frac-2neg` `unpow1/3` `pow1/3` `div-exp` `pow-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out`

Counts

4 → 114

Calls

4 calls:

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

series1.5s

Counts

4 → 12

Calls

4 calls:

1.1s	(+ (* (- x 0.5) (* 2 (log (pow x 1/3)))) (* (- x 0.5) (log (cbrt x))))
173.0ms	(cbrt x)
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)
169.0ms	(pow x 1/3)

simplify99.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (85.0ms)

Iter	Nodes	Cost
0	770	1136
1	3117	1005
2	5001	963

prune561.0ms

Filtered

126 candidates to 105 candidates (83.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	126	12	138

Merged error: 4.5b

Counts

138 → 12

regimes349.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	19
1	38	19

end0.0ms

sample2.0s

Algorithm

intervals

Results

785.0ms	11609×	body	80	valid
710.0ms	11668×	body	80	nan

Details

sample77.0ms

simplify55.0ms

prune3.0ms

localize17.0ms

rewrite43.0ms

series1.2s

simplify48.0ms

prune369.0ms

localize20.0ms

rewrite51.0ms

series507.0ms

simplify75.0ms

prune449.0ms

localize21.0ms

rewrite34.0ms

series1.2s

simplify73.0ms

prune530.0ms

localize29.0ms

rewrite38.0ms

series1.5s

simplify99.0ms

prune561.0ms

regimes349.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling