Details

sample35.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

22.0ms

256×

body

valid

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

prune4.0ms

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

Counts

2 → 1

localize23.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.9b	(/ (* (- 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:

8.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
6.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))

series57.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
9.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
4.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
40.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 (17.0ms)

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

prune235.0ms

Filtered

74 candidates to 103 candidates (-39.2%)

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

localize23.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)
25.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))

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

8.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
7.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
9.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
24.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))

series51.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
5.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
4.0ms	(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
37.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))

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

prune223.0ms

Filtered

73 candidates to 103 candidates (-41.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	99	4	103
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	101	11	112

Merged error: 0.0b

Counts

112 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

8.0b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
8.0b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
16.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))) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
22.1b	(/ (+ (* (+ (* (+ (* (+ (* 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)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
164×	`add-sqr-sqrt`
162×	`add-cube-cbrt` `*-un-lft-identity`
156×	`sqrt-prod`
27×	`associate-/l*`
22×	`sqrt-div`
18×	`associate-/r/`
12×	`flip3-+` `associate-/r*` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`associate-/l/`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`

Counts

4 → 264

Calls

4 calls:

12.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
11.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
40.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))) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
26.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)))

series102.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
6.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
36.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))) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
54.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)))

simplify142.0ms

Algorithm

egg-herbie

Counts

276 → 276

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	838	10665
1	3004	9902
2	5001	9696

prune1.0s

Filtered

144 candidates to 276 candidates (-91.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	274	2	276
Fresh	2	7	9
Picked	0	1	1
Done	1	0	1
Total	277	10	287

Merged error: 0.0b

Counts

287 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

8.0b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
8.0b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
16.7b	(/ (/ 1 (/ (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)))
25.3b	(/ (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))

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

1362×	`times-frac`
627×	`add-sqr-sqrt`
625×	`add-cube-cbrt` `*-un-lft-identity`
441×	`sqrt-prod`
83×	`associate-/l*`
53×	`associate-/r/`
30×	`div-inv`
26×	`flip3-+` `flip-+`
25×	`add-exp-log`
15×	`div-exp` `add-cbrt-cube`
9×	`associate-/r*`
8×	`sqrt-div`
7×	`cbrt-undiv`
6×	`pow1`
4×	`add-log-exp`
3×	`associate-/l/`
2×	`rem-sqrt-square` `rec-exp` `frac-2neg` `sqrt-pow1` `pow1/2` `1-exp` `clear-num`

Counts

4 → 641

Calls

4 calls:

12.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
14.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
53.0ms	(/ (/ 1 (/ (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)))
26.0ms	(/ (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))

series94.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
8.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
36.0ms	(/ (/ 1 (/ (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)))
43.0ms	(/ (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))

simplify307.0ms

Algorithm

egg-herbie

Counts

653 → 653

Iterations

Useful iterations: 1 (44.0ms)

Iter	Nodes	Cost
0	2181	31047
1	5001	29209

prune4.0s

Filtered

282 candidates to 653 candidates (-131.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	652	1	653
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	654	9	663

Merged error: 0.0b

Counts

663 → 9

regimes423.0ms

Accuracy

95.2% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 25.1b

bsearch50.0ms

Steps

Iters	Range		Point
6	4.010260770316776e+39	2.0741080060523666e+40	1.8879338059275465e+40
9	-2.1708546055556682e+17	-2249531295422.009	-1.0056628140131614e+17

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	37
1	78	37
2	78	37

end0.0ms

sample945.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

712.0ms

8006×

body

valid

Details

sample35.0ms

simplify41.0ms

prune4.0ms

localize23.0ms

rewrite58.0ms

series57.0ms

simplify80.0ms

prune235.0ms

localize23.0ms

rewrite51.0ms

series51.0ms

simplify66.0ms

prune223.0ms

localize26.0ms

rewrite102.0ms

series102.0ms

simplify142.0ms

prune1.0s

localize30.0ms

rewrite160.0ms

series94.0ms

simplify307.0ms

prune4.0s

regimes423.0ms

bsearch50.0ms

simplify2.0ms

end0.0ms

sample945.0ms

Profiling