Details

analyze984.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample31.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5321	37

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 24.5b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-*l/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `flip3--_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip--_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

12.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x)
14.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
7.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
33.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series74.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
8.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
51.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify52.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5346	2217

prune221.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

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

localize29.0ms

Local error

Found 4 expressions with local error:

6.3b	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
14.3b	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
14.5b	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
19.8b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt_binary64`
108×	`times-frac_binary64`
95×	`*-un-lft-identity_binary64`
69×	`add-cube-cbrt_binary64`
63×	`sqrt-prod_binary64`
36×	`associate-l_binary64`
24×	`associate-r_binary64`
20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
12×	`associate-/r*_binary64`
10×	`sqrt-div_binary64`
9×	`unswap-sqr_binary64`
8×	`associate-/r/_binary64` `associate-/l*_binary64`
7×	`pow1_binary64`
6×	`flip3-+_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`associate-/l/_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `div-inv_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `pow1/2_binary64` `flip3--_binary64` `associate-r/_binary64` `sqrt-pow1_binary64` `div-sub_binary64` `rem-sqrt-square_binary64` `flip--_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 205

Calls

4 calls:

14.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
18.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
65.0ms	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
30.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
11.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
48.0ms	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
64.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))

simplify100.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4954	9529
1	4954	9529

prune627.0ms

Filtered

141 candidates to 217 candidates (-53.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	217	9	226

Merged error: 0.0b

Counts

226 → 9

localize33.0ms

Local error

Found 4 expressions with local error:

6.3b	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
6.3b	(sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
14.3b	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
19.6b	(/.f64 (.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64`
43×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
30×	`sqrt-prod_binary64`
29×	`add-cube-cbrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`associate-/r*_binary64`
8×	`sqrt-div_binary64`
7×	`associate-/l/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`flip3-+_binary64` `pow1_binary64` `associate-/l*_binary64` `flip-+_binary64`
5×	`cbrt-undiv_binary64` `div-exp_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64`
2×	`pow1/2_binary64` `cbrt-unprod_binary64` `associate-*r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `frac-times_binary64`
1×	`flip3--_binary64` `div-sub_binary64` `flip--_binary64` `associate-*l/_binary64`

Counts

4 → 124

Calls

4 calls:

13.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
13.0ms	(sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
19.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
55.0ms	(/.f64 (.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
8.0ms	(sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
10.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
54.0ms	(/.f64 (.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify52.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5726	4487

prune320.0ms

Filtered

92 candidates to 136 candidates (-47.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	136	9	145

Merged error: 0.0b

Counts

145 → 9

localize37.0ms

Local error

Found 4 expressions with local error:

12.3b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
12.3b	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
14.3b	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
14.5b	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

79×	`add-exp-log_binary64`
68×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
60×	`times-frac_binary64`
47×	`add-cbrt-cube_binary64`
42×	`add-cube-cbrt_binary64`
36×	`associate-l_binary64`
34×	`prod-exp_binary64`
33×	`sqrt-prod_binary64`
26×	`div-exp_binary64`
18×	`cbrt-unprod_binary64`
14×	`cbrt-undiv_binary64`
13×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
9×	`pow1_binary64`
6×	`associate-/r*_binary64` `cbrt-prod_binary64`
5×	`associate-r/_binary64` `associate-/l_binary64` `frac-times_binary64`
4×	`cbrt-div_binary64` `flip3-+_binary64` `add-log-exp_binary64` `1-exp_binary64` `associate-/r/_binary64` `rec-exp_binary64` `flip-+_binary64` `sqrt-div_binary64`
3×	`pow-prod-down_binary64` `associate-*l/_binary64`
2×	`associate-/l/_binary64` `pow1/3_binary64` `div-inv_binary64`
1×	`flip3--_binary64` `associate-r_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 166

Calls

4 calls:

13.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
17.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
18.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
56.0ms	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))))

series371.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
12.0ms	(cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))
10.0ms	(/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
338.0ms	(.f64 (/.f64 (-.f64 x 2.0) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))))

simplify78.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	6053	9010

prune561.0ms

Filtered

113 candidates to 178 candidates (-57.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	178	9	187

Merged error: 0.0b

Counts

187 → 9

regimes334.0ms

Accuracy

96.9% (0.8b remaining)

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

bsearch38.0ms

Steps

Iters	Range		Point
5	1.179567413121447e+33	3.1677973372550355e+33	3.110893828765909e+33
9	-3.348902037995943e+71	-8.392682102201323e+65	-9.42722712682916e+65

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	80	75
1	80	75

end0.0ms

sample840.0ms

Algorithm

intervals

Results

668.0ms	8000×	body	80	valid
1.0ms	7×	body	80	invalid

Details

analyze984.0ms

sample31.0ms

simplify41.0ms

prune11.0ms

localize22.0ms

rewrite69.0ms

series74.0ms

simplify52.0ms

prune221.0ms

localize29.0ms

rewrite135.0ms

series131.0ms

simplify100.0ms

prune627.0ms

localize33.0ms

rewrite104.0ms

series79.0ms

simplify52.0ms

prune320.0ms

localize37.0ms

rewrite112.0ms

series371.0ms

simplify78.0ms

prune561.0ms

regimes334.0ms

bsearch38.0ms

simplify3.0ms

end0.0ms

sample840.0ms

Profiling