Details

sample52.0ms

Algorithm

intervals

Results

29.0ms

290×

body

valid

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

prune5.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: 31.0b

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)
3.9b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
28.8b	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite67.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)
9.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))

series750.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
61.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
167.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
459.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))

simplify80.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (16.0ms)

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

prune420.0ms

Filtered

99 candidates to 72 candidates (72.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Merged error: 3.6b

Counts

100 → 8

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

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 105

Calls

4 calls:

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

series812.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
64.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
463.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)))
219.0ms	(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify82.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	593	1919
1	2703	1702
2	5002	1702

prune484.0ms

Filtered

117 candidates to 85 candidates (72.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	117	8	125

Merged error: 0.4b

Counts

125 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
0.1b	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
1.8b	(/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
2.5b	(* y (/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 112

Calls

4 calls:

9.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
12.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
15.0ms	(/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
20.0ms	(* y (/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))

series427.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
53.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
132.0ms	(/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
207.0ms	(* y (/ (+ 0 b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))

simplify88.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	610	1398
1	2874	1269
2	5001	1269

prune567.0ms

Filtered

124 candidates to 91 candidates (73.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	124	8	132

Merged error: 0.4b

Counts

132 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721)
0.0b	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
0.1b	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
5.5b	(/ (* b y) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`pow1`
6×	`associate-r` `associate-l` `add-log-exp`
4×	`flip3-+` `associate-*l/` `flip-+`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r/` `*-commutative` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log` `div-inv` `associate-/l*`

Counts

4 → 74

Calls

4 calls:

10.0ms	(+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721)
9.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
16.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
15.0ms	(/ (* b y) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series313.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721)
35.0ms	(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
49.0ms	(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
200.0ms	(/ (* b y) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify66.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	479	806
1	2155	706
2	5001	706

prune221.0ms

Filtered

86 candidates to 64 candidates (74.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	87	7	94

Merged error: 0.4b

Counts

94 → 7

regimes533.0ms

Accuracy

97.9% (0.5b remaining)

Error of 0.9b against oracle of 0.4b and baseline of 24.5b

bsearch287.0ms

Steps

Iters	Range		Point
9	7.543555491440003e+35	6.962131309739537e+44	8.1662124674193e+39
9	-1.9301804391843713e+43	-4.083453835511572e+35	-1.3570393147417206e+40

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	26
1	73	26

end0.0ms

sample1.1s

Algorithm

intervals

Results

802.0ms

8904×

body

valid

Details

sample52.0ms

simplify56.0ms

prune5.0ms

localize25.0ms

rewrite67.0ms

series750.0ms

simplify80.0ms

prune420.0ms

localize30.0ms

rewrite77.0ms

series812.0ms

simplify82.0ms

prune484.0ms

localize16.0ms

rewrite61.0ms

series427.0ms

simplify88.0ms

prune567.0ms

localize15.0ms

rewrite52.0ms

series313.0ms

simplify66.0ms

prune221.0ms

regimes533.0ms

bsearch287.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling