Details

sample47.0ms

Algorithm

intervals

Results

24.0ms

281×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	18
1	116	18
2	329	18
3	935	18
4	2876	18
5	5001	18

prune8.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: 29.2b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
3.4b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
27.0b	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
9×	`associate-r` `associate-l`
5×	`flip3-+` `flip-+`
4×	`associate-r/` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `pow-prod-down` `associate-/r` `-commutative` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `associate-/l/`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 87

Calls

4 calls:

10.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
15.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
26.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series195.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
6.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
49.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
134.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify76.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	576	1201
1	2797	1026
2	5001	1026

prune241.0ms

Filtered

99 candidates to 71 candidates (28.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	90	9	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	9	100

Merged error: 4.8b

Counts

100 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
0.2b	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
26.6b	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
18×	`associate-/r*`
15×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r/`
8×	`pow1` `flip3-+` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `associate-*l/` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`

Counts

4 → 149

Calls

4 calls:

10.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
24.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
28.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

series186.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
5.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
133.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))
42.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

simplify101.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	732	3514
1	3384	3308
2	5001	3307

prune479.0ms

Filtered

161 candidates to 125 candidates (22.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	159	2	161
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	161	9	170

Merged error: 4.8b

Counts

170 → 9

localize31.0ms

Local error

Found 4 expressions with local error:

14.3b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
14.3b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
14.3b	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
24.1b	(* (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
24×	`associate-r`
22×	`add-cube-cbrt` `*-un-lft-identity`
20×	`cbrt-prod` `cbrt-div`
18×	`add-cbrt-cube`
15×	`associate-l`
10×	`flip3-+` `associate-/r/` `flip-+`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `unswap-sqr`
5×	`frac-times`
4×	`add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 108

Calls

4 calls:

11.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
11.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
11.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
60.0ms	(* (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))

series165.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
9.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
10.0ms	(cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
136.0ms	(* (/ y (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))) (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))

simplify95.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	702	3922
1	3190	3425
2	5001	3222

prune748.0ms

Filtered

120 candidates to 100 candidates (16.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	120	9	129

Merged error: 4.8b

Counts

129 → 9

localize35.0ms

Local error

Found 4 expressions with local error:

17.2b	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
17.2b	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
17.2b	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
23.6b	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))) (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))))

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

131×	`times-frac`
80×	`add-sqr-sqrt`
77×	`associate-r`
71×	`add-cube-cbrt` `*-un-lft-identity`
37×	`cbrt-prod`
36×	`cbrt-div`
25×	`add-exp-log`
18×	`flip3-+` `flip-+`
17×	`add-cbrt-cube`
16×	`frac-times`
12×	`associate-*l/`
9×	`pow1` `prod-exp` `cbrt-unprod`
7×	`associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`associate-*r/`
4×	`div-inv` `add-log-exp` `unswap-sqr`
3×	`pow1/3` `pow-prod-down`
1×	`associate-l` `*-commutative`

Counts

4 → 160

Calls

4 calls:

12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
74.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))) (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))))

series217.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
45.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
44.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
84.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))) (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (cbrt (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))))

simplify81.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1160	6408
1	5001	5938

prune1.3s

Filtered

172 candidates to 150 candidates (12.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	171	10	181

Merged error: 4.8b

Counts

181 → 10

regimes813.0ms

Accuracy

94.2% (1.4b remaining)

Error of 4.7b against oracle of 3.3b and baseline of 27.6b

bsearch58.0ms

Steps

Iters	Range		Point
6	4.3011206560871335e+67	1.7729002092374608e+68	5.0346599248951253e+67
9	-3.020606049239103e+69	-1.177597476186218e+63	-4.867079996965456e+66

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	27
1	71	27

end0.0ms

sample1.3s

Algorithm

intervals

Results

785.0ms

8809×

body

valid

Details

sample47.0ms

simplify54.0ms

prune8.0ms

localize25.0ms

rewrite60.0ms

series195.0ms

simplify76.0ms

prune241.0ms

localize25.0ms

rewrite74.0ms

series186.0ms

simplify101.0ms

prune479.0ms

localize31.0ms

rewrite99.0ms

series165.0ms

simplify95.0ms

prune748.0ms

localize35.0ms

rewrite119.0ms

series217.0ms

simplify81.0ms

prune1.3s

regimes813.0ms

bsearch58.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling