Details

sample37.0ms

Algorithm

intervals

Results

19.0ms

257×

body

valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	55	18
1	138	18
2	450	18
3	1597	18
4	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: 27.0b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
26.1b	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite59.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`
8×	`associate-*l/` `associate-/l/`
7×	`flip3-+` `flip-+`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`flip3--` `times-frac` `pow-prod-down` `associate-/r` `-commutative` `flip--` `unswap-sqr`
2×	`cbrt-undiv` `associate-*r/` `div-exp` `associate-/r/`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 91

Calls

4 calls:

9.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
7.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
31.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series579.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
61.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
241.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
239.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify87.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	664	1209
1	3268	1044
2	5001	1044

prune407.0ms

Filtered

103 candidates to 74 candidates (71.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	9	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	9	104

Merged error: 0.0b

Counts

104 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
0.1b	(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
24.7b	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 111

Calls

4 calls:

7.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
30.0ms	(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
26.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series535.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
236.0ms	(* (- x 2.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
40.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
193.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify87.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	666	2029
1	3044	1821
2	5001	1821

prune454.0ms

Filtered

123 candidates to 89 candidates (72.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	124	8	132

Merged error: 0.0b

Counts

132 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.3b	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
24.7b	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
110×	`add-sqr-sqrt`
106×	`*-un-lft-identity`
74×	`add-cube-cbrt`
18×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log` `associate-/r/` `add-cbrt-cube`
10×	`flip3-+` `flip-+`
8×	`pow1` `div-inv` `associate-/l*`
6×	`associate-r` `associate-l`
4×	`cbrt-undiv` `div-exp` `associate-*l/` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `div-sub` `flip--`

Counts

4 → 184

Calls

4 calls:

7.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
27.0ms	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
31.0ms	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

series469.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
45.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
229.0ms	(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
129.0ms	(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

simplify134.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	969	4940
1	4219	4722
2	5002	4722

prune740.0ms

Filtered

196 candidates to 144 candidates (73.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	196	8	204

Merged error: 0.0b

Counts

204 → 8

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.3b	(/ (- x 2.0) (* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
0.3b	(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
24.8b	(* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
34×	`add-exp-log`
29×	`*-un-lft-identity`
25×	`times-frac`
24×	`add-cube-cbrt`
22×	`add-cbrt-cube`
18×	`associate-r`
11×	`div-exp`
10×	`associate-/r/`
9×	`pow1` `prod-exp`
8×	`associate-/l*`
7×	`flip3-+` `flip-+`
6×	`cbrt-undiv` `associate-l` `associate-*l/`
5×	`cbrt-unprod`
4×	`frac-times` `associate-/r*` `add-log-exp` `unswap-sqr`
3×	`rec-exp` `1-exp` `div-inv`
2×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`flip3--` `pow-flip` `div-sub` `flip--` `inv-pow`

Counts

4 → 133

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
30.0ms	(/ (- x 2.0) (* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
14.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
30.0ms	(* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

series464.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
235.0ms	(/ (- x 2.0) (* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))))
68.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
122.0ms	(* (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

simplify92.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	688	2509
1	3251	2159
2	5002	2128

prune439.0ms

Filtered

145 candidates to 92 candidates (63.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	145	8	153

Merged error: 0.0b

Counts

153 → 8

regimes439.0ms

Accuracy

97% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 24.9b

bsearch248.0ms

Steps

Iters	Range		Point
9	8.796380387336769e+32	1.6883106978042227e+42	1.6463116780624083e+42
7	-2.6270612343545538e+53	-1.0205942138599043e+52	-1.1713927062611842e+53

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	23
1	62	23
2	62	23

end0.0ms

sample812.0ms

Algorithm

intervals

Results

628.0ms

8006×

body

valid

Details

sample37.0ms

simplify42.0ms

prune4.0ms

localize28.0ms

rewrite59.0ms

series579.0ms

simplify87.0ms

prune407.0ms

localize24.0ms

rewrite79.0ms

series535.0ms

simplify87.0ms

prune454.0ms

localize23.0ms

rewrite84.0ms

series469.0ms

simplify134.0ms

prune740.0ms

localize29.0ms

rewrite93.0ms

series464.0ms

simplify92.0ms

prune439.0ms

regimes439.0ms

bsearch248.0ms

simplify2.0ms

end0.0ms

sample812.0ms

Profiling