Details

sample53.0ms

Algorithm

intervals

Results

30.0ms

284×

body

valid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

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

prune4.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: 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) a) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
2.4b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
28.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))

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

13.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
10.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
16.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
27.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))

series744.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
66.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
171.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
449.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))

simplify77.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	573	1240
1	2806	1065
2	5001	1065

prune417.0ms

Filtered

99 candidates to 72 candidates (72.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	89	10	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	10	100

Merged error: 1.5b

Counts

100 → 10

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) 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.3b	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

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

13.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
25.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)))
27.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

series707.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
66.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
451.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)))
132.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))

simplify109.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	737	3553
1	3441	3347
2	5001	3346

prune704.0ms

Filtered

161 candidates to 126 candidates (78.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	157	4	161
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	162	9	171

Merged error: 1.5b

Counts

171 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
0.0b	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
1.3b	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b)))
1.7b	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
100×	`*-un-lft-identity`
72×	`add-sqr-sqrt`
68×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
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 → 165

Calls

4 calls:

13.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
10.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
21.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b)))
17.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b))

series302.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
40.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
144.0ms	(/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b)))
72.0ms	(/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ 0 b))

simplify117.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 2 (86.0ms)

Iter	Nodes	Cost
0	784	2577
1	3663	2417
2	5001	2413

prune539.0ms

Filtered

177 candidates to 131 candidates (74.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	175	2	177
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	176	10	186

Merged error: 1.4b

Counts

186 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 0.607771387771 (/ 1 b))
4.4b	(+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b))))
4.6b	(/ y (+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b)))))
8.0b	(/ (pow z 2) b)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt` `times-frac`
38×	`*-un-lft-identity`
37×	`add-cube-cbrt`
20×	`add-exp-log`
15×	`associate-*r/`
13×	`associate-r` `add-cbrt-cube`
12×	`unpow-prod-down` `frac-add`
11×	`associate-/l*`
9×	`add-log-exp`
6×	`pow1` `div-exp` `associate-/r*` `associate-/r/`
4×	`flip3-+` `prod-exp` `flip-+` `unpow2` `sqr-pow`
3×	`cbrt-undiv` `associate-l` `sum-log` `un-div-inv` `div-inv` `unswap-sqr`
2×	`frac-2neg` `clear-num` `cbrt-unprod`
1×	`+-commutative` `pow-to-exp` `rec-exp` `associate-+r+` `1-exp` `pow-prod-down` `pow-exp` `*-commutative`

Counts

4 → 135

Calls

4 calls:

8.0ms	(* 0.607771387771 (/ 1 b))
11.0ms	(+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b))))
17.0ms	(/ y (+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b)))))
5.0ms	(/ (pow z 2) b)

series169.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* 0.607771387771 (/ 1 b))
40.0ms	(+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b))))
89.0ms	(/ y (+ (* 11.9400905721 (/ z b)) (+ (* 0.607771387771 (/ 1 b)) (* 31.4690115749 (/ (pow z 2) b)))))
19.0ms	(/ (pow z 2) b)

simplify86.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	692	1294
1	2994	1162
2	5001	1140

prune398.0ms

Filtered

147 candidates to 102 candidates (69.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	147	10	157

Merged error: 1.4b

Counts

157 → 10

regimes627.0ms

Accuracy

93.5% (1.6b remaining)

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

bsearch541.0ms

Steps

Iters	Range		Point
10	4317.389502722759	1.613323567199532e+21	1.5797087064727515e+21
10	-5.328492853656722e+93	-1.4737151649319614e+80	-1.4997882744590658e+80

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	27
1	72	27

end0.0ms

sample1.2s

Algorithm

intervals

Results

858.0ms

8882×

body

valid

Details

sample53.0ms

simplify58.0ms

prune4.0ms

localize25.0ms

rewrite69.0ms

series744.0ms

simplify77.0ms

prune417.0ms

localize31.0ms

rewrite77.0ms

series707.0ms

simplify109.0ms

prune704.0ms

localize16.0ms

rewrite68.0ms

series302.0ms

simplify117.0ms

prune539.0ms

localize17.0ms

rewrite45.0ms

series169.0ms

simplify86.0ms

prune398.0ms

regimes627.0ms

bsearch541.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling