Details

sample74.0ms

Algorithm

intervals

Results

26.0ms	392×	body	80	valid
23.0ms	367×	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

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

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

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

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

series1.2s

Counts

4 → 12

Calls

4 calls:

257.0ms	(* (- x 0.5) (log x))
451.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
400.0ms	(- (* (- x 0.5) (log x)) x)
83.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify55.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	501	839
1	1642	776
2	5002	763

prune358.0ms

Filtered

110 candidates to 84 candidates (76.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	97	13	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	13	111

Merged error: 4.8b

Counts

111 → 13

localize24.0ms

Local error

Found 4 expressions with local error:

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

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

series622.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(cbrt x)
183.0ms	(cbrt x)
178.0ms	(cbrt x)
85.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify98.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (92.0ms)

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

prune320.0ms

Filtered

74 candidates to 62 candidates (83.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	74	13	87

Merged error: 4.8b

Counts

87 → 13

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.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)
1.0ms	(cbrt x)
2.0ms	(pow x 1/3)
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series617.0ms

Counts

4 → 12

Calls

4 calls:

179.0ms	(cbrt x)
177.0ms	(cbrt x)
176.0ms	(pow x 1/3)
84.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify35.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (28.0ms)

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

prune360.0ms

Filtered

81 candidates to 64 candidates (79.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	81	13	94

Merged error: 4.8b

Counts

94 → 13

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 117

Calls

4 calls:

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

series541.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(* (- x 0.5) (log (sqrt x)))
179.0ms	(+ (+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x)) 0.91893853320467)
173.0ms	(+ (* (- x 0.5) (log (sqrt x))) (- (* (log (sqrt x)) (- x 0.5)) x))
86.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify90.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	745	1500
1	3004	1343
2	5001	1305

prune406.0ms

Filtered

129 candidates to 94 candidates (72.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	129	13	142

Merged error: 4.8b

Counts

142 → 13

regimes500.0ms

Accuracy

46.9% (0.6b remaining)

Error of 5.5b against oracle of 4.9b and baseline of 6.1b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	46
1	61	46

end0.0ms

sample2.0s

Algorithm

intervals

Results

776.0ms	11742×	body	80	valid
699.0ms	11883×	body	80	nan

Details

sample74.0ms

simplify54.0ms

prune3.0ms

localize16.0ms

rewrite38.0ms

series1.2s

simplify55.0ms

prune358.0ms

localize24.0ms

rewrite17.0ms

series622.0ms

simplify98.0ms

prune320.0ms

localize35.0ms

rewrite18.0ms

series617.0ms

simplify35.0ms

prune360.0ms

localize25.0ms

rewrite54.0ms

series541.0ms

simplify90.0ms

prune406.0ms

regimes500.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling