Details

sample47.0ms

Algorithm

intervals

Results

19.0ms

257×

body

valid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	18
1	138	18
2	450	18
3	1597	18
4	5001	18

prune6.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: 25.4b

Counts

2 → 1

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.1b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
24.6b	(/ (* (- 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))

rewrite58.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 4.16438922228) 78.6994924154) x)
10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
8.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
29.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))

series357.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
39.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
35.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
220.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))

simplify80.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (16.0ms)

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

prune520.0ms

Filtered

103 candidates to 74 candidates (71.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

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.1b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
22.4b	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

6.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
10.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
8.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) 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))

series327.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
42.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
34.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
190.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))

simplify69.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	555	1234
1	2329	1115
2	5001	1109

prune488.0ms

Filtered

103 candidates to 73 candidates (70.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	102	7	109

Merged error: 0b

Counts

109 → 7

localize31.0ms

Local error

Found 4 expressions with local error:

7.3b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
13.7b	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
13.8b	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
19.7b	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt`
108×	`times-frac`
95×	`*-un-lft-identity`
69×	`add-cube-cbrt`
63×	`sqrt-prod`
36×	`associate-l`
24×	`associate-r`
20×	`add-exp-log` `add-cbrt-cube`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`associate-/r*`
10×	`sqrt-div`
9×	`unswap-sqr`
8×	`associate-/r/` `associate-/l*`
7×	`pow1`
6×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--`

Counts

4 → 205

Calls

4 calls:

11.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
16.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
60.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
27.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series728.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
120.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
237.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
302.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify119.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	894	5675
1	3611	5204
2	5001	5070

prune1.1s

Filtered

217 candidates to 142 candidates (65.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	217	7	224

Merged error: 0b

Counts

224 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log`
27×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `*-un-lft-identity`
22×	`add-cbrt-cube`
21×	`associate-r`
18×	`times-frac`
16×	`frac-times` `associate-*l/`
14×	`pow1` `prod-exp`
10×	`flip3-+` `flip-+`
8×	`cbrt-unprod`
7×	`associate-l`
6×	`flip3--` `div-exp` `flip--`
5×	`associate-*r/` `pow-prod-down`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/r` `-commutative` `associate-/l*`
2×	`div-inv` `unswap-sqr`
1×	`pow-flip` `frac-2neg` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 129

Calls

4 calls:

9.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
9.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
16.0ms	(/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
32.0ms	(* (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series367.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
40.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
50.0ms	(/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
235.0ms	(* (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (/ 1 (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify48.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	929	2237
1	5001	1950

prune647.0ms

Filtered

141 candidates to 91 candidates (64.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	141	7	148

Merged error: 0b

Counts

148 → 7

regimes581.0ms

Accuracy

98.1% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 24.4b

bsearch256.0ms

Steps

Iters	Range		Point
6	1.9994114391144223e+41	1.4906782277708368e+42	8.536282777280148e+41
10	-3.8334036575350125e+58	-1.3380481449396907e+47	-5.249094510857734e+56

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	26
1	69	26

end0.0ms

sample914.0ms

Algorithm

intervals

Results

621.0ms

8013×

body

valid

Details

sample47.0ms

simplify39.0ms

prune6.0ms

localize23.0ms

rewrite58.0ms

series357.0ms

simplify80.0ms

prune520.0ms

localize23.0ms

rewrite53.0ms

series327.0ms

simplify69.0ms

prune488.0ms

localize31.0ms

rewrite124.0ms

series728.0ms

simplify119.0ms

prune1.1s

localize25.0ms

rewrite70.0ms

series367.0ms

simplify48.0ms

prune647.0ms

regimes581.0ms

bsearch256.0ms

simplify2.0ms

end0.0ms

sample914.0ms

Profiling