Details

analyze461.0ms (0.3%)

Algorithm

1×

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample47.0ms (0%)

Algorithm

1×

intervals

Results

10.0ms	181×	body	128	valid
8.0ms	31×	body	2048	valid
4.0ms	20×	body	1024	valid
3.0ms	9×	body	4096	valid
2.0ms	10×	body	512	valid
1.0ms	27×	body	128	nan
1.0ms	12×	body	128	invalid
1.0ms	5×	body	256	valid

Compiler

Compiled 38 to 38 computations (0% saved)

simplify424.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (332.0ms)

Iter	Nodes	Cost
0	1834	27
1	1834	27

prune4.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

24.8b

Counts

8 → 5

Compiler

Compiled 19 to 16 computations (15.8% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.0b	(.f64 4 (.f64 a c))
0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64_760`
15×	`add-sqr-sqrt_binary64_782`
14×	`add-cube-cbrt_binary64_795`
12×	`times-frac_binary64_766`
8×	`add-log-exp_binary64_799`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`distribute-lft-out_binary64_711` `pow1_binary64_821`
4×	`associate-/l*_binary64_705`
3×	`sqrt-prod_binary64_776` `associate-/r*_binary64_704`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `sqrt-div_binary64_777` `flip-+_binary64_734` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `cancel-sign-sub-inv_binary64_726` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `+-commutative_binary64_690` `sum-log_binary64_851` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 72

Calls

8 calls:

9.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.0ms	(.f64 4 (.f64 a c))

series671.0ms (0.4%)

Counts

4 → 76

Calls

4 calls:

202.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
159.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
158.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
151.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 2216 to 1872 computations (15.5% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5033	3065

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
0.0b	(.f64 4 (.f64 a c))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_782`
21×	`*-un-lft-identity_binary64_760`
10×	`add-log-exp_binary64_799`
9×	`sqrt-prod_binary64_776` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796`
7×	`cancel-sign-sub-inv_binary64_726` `associate-/l*_binary64_705` `times-frac_binary64_766`
6×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
5×	`pow1_binary64_821`
4×	`flip--_binary64_735` `flip3--_binary64_764`
3×	`diff-log_binary64_852` `distribute-rgt-neg-in_binary64_718`
2×	`cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `sqrt-div_binary64_777` `div-exp_binary64_811` `sub-neg_binary64_753`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `prod-exp_binary64_809` `associate--l-_binary64_698` `sqrt-pow1_binary64_778` `associate-/r*_binary64_704` `div-inv_binary64_757` `neg-sub0_binary64_755` `neg-log_binary64_853` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `pow1/2_binary64_840` `clear-num_binary64_759`

Counts

4 → 82

Calls

8 calls:

13.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
13.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
0.0ms	(.f64 4 (.f64 a c))

series711.0ms (0.4%)

Counts

4 → 76

Calls

4 calls:

233.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
172.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
154.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
151.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2241 to 1897 computations (15.4% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5349	3372

prune2.2s (1.3%)

Pruning

125 alts after pruning (125 fresh and 0 done)

	Pruned	Kept	Total
New	184	122	306
Fresh	0	3	3
Picked	0	0	0
Done	2	0	2
Total	186	125	311

Error

6.4b

Counts

311 → 125

Compiler

Compiled 7357 to 4495 computations (38.9% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (.f64 2 a))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (.f64 2 a))
0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_782`
21×	`*-un-lft-identity_binary64_760`
10×	`add-log-exp_binary64_799`
9×	`sqrt-prod_binary64_776` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796`
7×	`associate-/l*_binary64_705` `times-frac_binary64_766`
6×	`cancel-sign-sub-inv_binary64_726` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
5×	`pow1_binary64_821`
3×	`distribute-rgt-neg-in_binary64_718`
2×	`diff-log_binary64_852` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `associate-/l/_binary64_707` `sqrt-div_binary64_777` `flip-+_binary64_734` `div-exp_binary64_811` `flip--_binary64_735` `flip3--_binary64_764`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `prod-exp_binary64_809` `associate--l-_binary64_698` `sqrt-pow1_binary64_778` `associate-/r*_binary64_704` `div-inv_binary64_757` `neg-sub0_binary64_755` `neg-log_binary64_853` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `pow1/2_binary64_840` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 81

Calls

8 calls:

16.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (.f64 2 a))
10.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
4.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
0.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (.f64 2 a))

series689.0ms (0.4%)

Counts

4 → 76

Calls

4 calls:

218.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (.f64 2 a))
164.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
155.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
152.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

Compiler

Compiled 2241 to 1897 computations (15.4% saved)

simplify84.0ms (0%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5125	3364

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.1b	(/.f64 (-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (*.f64 2 a))
0.0b	(.f64 4 (.f64 a c))
0.1b	(/.f64 (-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (*.f64 2 a))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_760`
10×	`add-log-exp_binary64_799`
9×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
8×	`add-sqr-sqrt_binary64_782`
7×	`add-cube-cbrt_binary64_795`
6×	`distribute-lft-out--_binary64_712`
5×	`associate-/l*_binary64_705` `pow1_binary64_821` `times-frac_binary64_766`
4×	`flip--_binary64_735` `flip3--_binary64_764`
3×	`diff-log_binary64_852` `sqrt-prod_binary64_776` `distribute-rgt-neg-in_binary64_718`
2×	`cbrt-undiv_binary64_794` `associate-/l/_binary64_707` `cancel-sign-sub-inv_binary64_726` `sqrt-div_binary64_777` `div-exp_binary64_811` `sub-neg_binary64_753`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `prod-exp_binary64_809` `associate--l-_binary64_698` `sqrt-pow1_binary64_778` `associate-/r*_binary64_704` `div-inv_binary64_757` `neg-sub0_binary64_755` `neg-log_binary64_853` `div-sub_binary64_765` `cbrt-unprod_binary64_793` `pow1/2_binary64_840` `clear-num_binary64_759`

Counts

4 → 71

Calls

8 calls:

8.0ms	(/.f64 (-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (*.f64 2 a))
5.0ms	(-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.0ms	(.f64 4 (.f64 a c))

series681.0ms (0.4%)

Counts

4 → 76

Calls

4 calls:

218.0ms	(/.f64 (-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (*.f64 2 a))
166.0ms	(-.f64 (neg.f64 b) (.f64 1 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
153.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
144.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2351 to 2007 computations (14.6% saved)

simplify80.0ms (0%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5301	3002

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.3b	(pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a) 3)
0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.0b	(.f64 4 (.f64 a c))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
21.1b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a) 3))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`cbrt-prod_binary64_791`
36×	`*-un-lft-identity_binary64_760`
24×	`times-frac_binary64_766`
23×	`add-sqr-sqrt_binary64_782`
22×	`add-cube-cbrt_binary64_795`
16×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
8×	`add-log-exp_binary64_799`
7×	`distribute-lft-out_binary64_711`
5×	`pow1_binary64_821`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`sqrt-prod_binary64_776`
2×	`div-inv_binary64_757` `sqrt-div_binary64_777` `flip--_binary64_735` `flip3--_binary64_764`
1×	`pow1/3_binary64_842` `cube-mult_binary64_790` `rem-cbrt-cube_binary64_784` `diff-log_binary64_852` `rem-sqrt-square_binary64_773` `flip3-+_binary64_763` `unpow3_binary64_826` `cancel-sign-sub-inv_binary64_726` `sqrt-pow1_binary64_778` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `cbrt-div_binary64_792` `cube-div_binary64_789` `sqr-pow_binary64_732` `pow1/2_binary64_840` `sub-neg_binary64_753`

Counts

4 → 87

Calls

8 calls:

10.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a) 3))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
0.0ms	(.f64 4 (.f64 a c))

series658.0ms (0.4%)

Counts

4 → 76

Calls

4 calls:

205.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a) 3))
156.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
150.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
147.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 2482 to 2138 computations (13.9% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4968	3725
1	4968	3725

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))) (*.f64 2 a))
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))
4.8b	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
5.0b	(-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
19.6b	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))
42.4b	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))

rewrite116.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

128×	`add-sqr-sqrt_binary64_782`
92×	`times-frac_binary64_766`
74×	`sqrt-prod_binary64_776`
72×	`*-un-lft-identity_binary64_760`
63×	`difference-of-squares_binary64_729`
50×	`sqr-pow_binary64_732`
48×	`add-cube-cbrt_binary64_795`
39×	`cancel-sign-sub-inv_binary64_726`
20×	`unpow-prod-down_binary64_839`
12×	`distribute-lft-out--_binary64_712`
10×	`add-log-exp_binary64_799` `associate-/l*_binary64_705`
6×	`associate-/r/_binary64_706` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`pow1_binary64_821`
4×	`flip3-+_binary64_763` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `flip-+_binary64_734` `associate-+r+_binary64_692`
3×	`associate-/r*_binary64_704` `div-inv_binary64_757`
2×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `associate-/l/_binary64_707` `flip--_binary64_735` `flip3--_binary64_764`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `associate--l-_binary64_698` `sqrt-pow1_binary64_778` `neg-sub0_binary64_755` `sqrt-div_binary64_777` `neg-log_binary64_853` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `distribute-rgt-neg-in_binary64_718` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 180

Calls

8 calls:

37.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
19.0ms	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
15.0ms	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))
6.0ms	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
0.0ms	(.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))

series1.8s (1%)

Counts

4 → 84

Calls

4 calls:

658.0ms	(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
508.0ms	(+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
299.0ms	(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))
288.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (.f64 4 (.f64 a c)) 3)) (+.f64 (pow.f64 b 4) (.f64 4 (.f64 (.f64 a c) (+.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))

Compiler

Compiled 3037 to 2544 computations (16.2% saved)

simplify194.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

264 → 264

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4997	15278
1	4997	15278

prune11.5s (6.8%)

Pruning

314 alts after pruning (310 fresh and 4 done)

	Pruned	Kept	Total
New	513	218	731
Fresh	28	92	120
Picked	0	0	0
Done	1	4	5
Total	542	314	856

Error

6.4b

Counts

856 → 314

Compiler

Compiled 27858 to 17584 computations (36.9% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))))) (.f64 2 a))
0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
19.6b	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-pow1_binary64_778` `sqrt-div_binary64_777`
22×	`pow1_binary64_821`
12×	`add-sqr-sqrt_binary64_782`
11×	`*-un-lft-identity_binary64_760` `pow1/2_binary64_840`
9×	`sqrt-prod_binary64_776`
8×	`flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734`
7×	`add-cube-cbrt_binary64_795`
5×	`pow-prod-up_binary64_830`
4×	`add-exp-log_binary64_798` `cancel-sign-sub-inv_binary64_726` `add-cbrt-cube_binary64_796` `frac-times_binary64_770`
3×	`rem-sqrt-square_binary64_773` `pow-sqr_binary64_733` `pow-prod-down_binary64_831`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `associate-r/_binary64_702`
1×	`pow2_binary64_841` `associate--l-_binary64_698` `pow-plus_binary64_823` `neg-sub0_binary64_755` `neg-log_binary64_853` `distribute-rgt-neg-in_binary64_718` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 83

Calls

8 calls:

12.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))
7.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
5.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
0.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))))) (.f64 2 a))

series662.0ms (0.4%)

Counts

4 → 79

Calls

4 calls:

172.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
167.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
163.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))
160.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

Compiler

Compiled 3357 to 2668 computations (20.5% saved)

simplify79.0ms (0%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5042	3307

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

3.7b	(exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.1b	(/.f64 (+.f64 b (sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a)
0.0b	(.f64 4 (.f64 a c))
3.7b	(exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
18.4b	(+.f64 b (sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
19.6b	(sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
20.2b	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
10×	`add-cube-cbrt_binary64_795` `log-prod_binary64_846`
8×	`exp-prod_binary64_812` `pow1_binary64_821`
7×	`exp-sum_binary64_806`
6×	`log-div_binary64_847` `sqrt-prod_binary64_776` `add-log-exp_binary64_799`
5×	`add-exp-log_binary64_798` `sqrt-pow1_binary64_778`
4×	`exp-diff_binary64_808` `add-cbrt-cube_binary64_796`
3×	`log-pow_binary64_849` `flip--_binary64_735` `flip3--_binary64_764`
2×	`rem-sqrt-square_binary64_773` `sqrt-div_binary64_777`
1×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `rem-exp-log_binary64_800` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `rem-log-exp_binary64_801` `pow1/2_binary64_840`

Counts

4 → 66

Calls

8 calls:

7.0ms	(+.f64 b (sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
6.0ms	(sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
5.0ms	(exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
5.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
0.0ms	(.f64 4 (.f64 a c))

series1.7s (1%)

Counts

4 → 99

Calls

4 calls:

694.0ms	(exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
389.0ms	(sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
368.0ms	(+.f64 b (sqrt.f64 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
216.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4577 to 3906 computations (14.7% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5046	4334

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 b (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
12.7b	(-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) 3))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
24.4b	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))

rewrite136.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

129×	`add-sqr-sqrt_binary64_782`
72×	`difference-of-squares_binary64_729` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
67×	`*-un-lft-identity_binary64_760`
37×	`associate-/l*_binary64_705` `times-frac_binary64_766`
36×	`sqrt-prod_binary64_776`
31×	`sqr-pow_binary64_732`
27×	`distribute-lft-out--_binary64_712`
18×	`cancel-sign-sub-inv_binary64_726`
13×	`add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796`
12×	`distribute-rgt-neg-in_binary64_718`
6×	`add-log-exp_binary64_799` `pow1_binary64_821`
4×	`sqrt-div_binary64_777` `flip--_binary64_735` `flip3--_binary64_764`
3×	`cbrt-undiv_binary64_794` `prod-exp_binary64_809` `difference-cubes_binary64_762` `cbrt-unprod_binary64_793` `div-exp_binary64_811`
2×	`rem-sqrt-square_binary64_773` `associate-*l/_binary64_703` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `sqrt-pow1_binary64_778` `pow1/2_binary64_840`
1×	`cube-mult_binary64_790` `diff-log_binary64_852` `frac-2neg_binary64_771` `flip3-+_binary64_763` `unpow3_binary64_826` `associate-/r*_binary64_704` `div-inv_binary64_757` `flip-+_binary64_734` `div-sub_binary64_765` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 189

Calls

8 calls:

56.0ms	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))
31.0ms	(-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) 3))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
0.0ms	(.f64 4 (.f64 a c))

series1.1s (0.6%)

Counts

4 → 69

Calls

4 calls:

486.0ms	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))
242.0ms	(-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) 3))
177.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
158.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4686 to 3316 computations (29.2% saved)

simplify146.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

258 → 258

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5234	11853

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) 6)) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
0.1b	(/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) 6)) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a)
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
11.8b	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 6))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
21.1b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) 6)) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a) 3))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`cbrt-prod_binary64_791`
16×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
14×	`add-cube-cbrt_binary64_795` `unpow-prod-down_binary64_839`
7×	`cube-prod_binary64_788`
6×	`sqrt-prod_binary64_776` `pow1_binary64_821` `times-frac_binary64_766`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `sqrt-div_binary64_777` `add-cbrt-cube_binary64_796`
2×	`pow1/3_binary64_842` `rem-sqrt-square_binary64_773` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `sqr-pow_binary64_732` `pow1/2_binary64_840` `flip--_binary64_735` `flip3--_binary64_764`
1×	`cube-mult_binary64_790` `rem-cbrt-cube_binary64_784` `distribute-lft-out_binary64_711` `unpow3_binary64_826` `cbrt-div_binary64_792` `cube-div_binary64_789`

Counts

4 → 79

Calls

8 calls:

12.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 6))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) 6)) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a) 3))
0.0ms	(.f64 4 (.f64 a c))

series1.1s (0.6%)

Counts

4 → 74

Calls

4 calls:

502.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 6))
232.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) 6)) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a) 3))
171.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
169.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4672 to 3684 computations (21.1% saved)

simplify74.0ms (0%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5098	4055

prune22.6s (13.4%)

Pruning

537 alts after pruning (528 fresh and 9 done)

	Pruned	Kept	Total
New	504	234	738
Fresh	11	294	305
Picked	0	0	0
Done	0	9	9
Total	515	537	1052

Error

6.4b

Counts

1052 → 537

Compiler

Compiled 39133 to 24925 computations (36.3% saved)

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.8b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
0.2b	(.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
0.1b	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))))) (.f64 2 a))
0.8b	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
19.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
19.6b	(sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
9×	`pow1_binary64_821`
8×	`sqrt-prod_binary64_776` `add-log-exp_binary64_799` `sqrt-div_binary64_777`
7×	`add-cube-cbrt_binary64_795`
4×	`add-exp-log_binary64_798` `cancel-sign-sub-inv_binary64_726` `sqrt-pow1_binary64_778` `add-cbrt-cube_binary64_796`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow1/2_binary64_840`
2×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `distribute-lft-out--_binary64_712` `associate-*r/_binary64_702`
1×	`associate--l-_binary64_698` `neg-sub0_binary64_755` `difference-of-squares_binary64_729` `neg-log_binary64_853` `distribute-rgt-neg-in_binary64_718` `sub-neg_binary64_753` `pow-prod-down_binary64_831` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 63

Calls

8 calls:

7.0ms	(sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))
7.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
0.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))))) (.f64 2 a))

series1.4s (0.8%)

Counts

4 → 83

Calls

4 calls:

551.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))))
494.0ms	(sqrt.f64 (.f64 (fabs.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4))))) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))
169.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
167.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

Compiler

Compiled 5799 to 4555 computations (21.5% saved)

simplify127.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4958	4526
1	4958	4526

localize5.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.1b	(/.f64 (+.f64 b (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))) a)
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
0.8b	(+.f64 b (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
19.6b	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-pow1_binary64_778` `sqrt-div_binary64_777`
22×	`pow1_binary64_821`
11×	`pow1/2_binary64_840`
8×	`*-un-lft-identity_binary64_760` `flip--_binary64_735` `add-sqr-sqrt_binary64_782` `flip3--_binary64_764`
7×	`sqrt-prod_binary64_776`
6×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
5×	`pow-prod-up_binary64_830`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `frac-times_binary64_770`
3×	`rem-sqrt-square_binary64_773` `pow-sqr_binary64_733` `pow-prod-down_binary64_831`
2×	`associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`pow2_binary64_841` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `pow-plus_binary64_823` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851`

Counts

4 → 74

Calls

8 calls:

13.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
3.0ms	(+.f64 b (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
0.0ms	(.f64 4 (.f64 a c))

series678.0ms (0.4%)

Counts

4 → 79

Calls

4 calls:

172.0ms	(sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
171.0ms	(+.f64 b (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
168.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
166.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 3259 to 2538 computations (22.1% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5089	3032

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.1b	(/.f64 (+.f64 b (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))) a)
0.0b	(.f64 4 (.f64 a c))
0.0b	(.f64 4 (.f64 a c))
14.9b	(+.f64 b (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))
18.6b	(sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))
20.2b	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
20.2b	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64_760`
8×	`add-sqr-sqrt_binary64_782`
7×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `pow1_binary64_821`
6×	`add-exp-log_binary64_798` `log-prod_binary64_846`
4×	`log-div_binary64_847` `add-cbrt-cube_binary64_796`
3×	`sqrt-prod_binary64_776` `sqrt-pow1_binary64_778`
2×	`log-pow_binary64_849` `rem-log-exp_binary64_801` `flip--_binary64_735` `flip3--_binary64_764`
1×	`rem-sqrt-square_binary64_773` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `exp-prod_binary64_812` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `exp-to-pow_binary64_822` `pow1/2_binary64_840`

Counts

4 → 55

Calls

8 calls:

5.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
5.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(+.f64 b (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))
2.0ms	(sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))
0.0ms	(.f64 4 (.f64 a c))

series1.2s (0.7%)

Counts

4 → 94

Calls

4 calls:

428.0ms	(sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))
395.0ms	(+.f64 b (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 (log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))
193.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
184.0ms	(log.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 5165 to 4251 computations (17.7% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4908	3663
1	4908	3663

localize47.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 a c) -4)
0.0b	(.f64 (.f64 a c) -4)
0.0b	(+.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) (.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4)))))
0.0b	(.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4))))
14.8b	(sqrt.f64 (.f64 (.f64 a c) -4))
14.8b	(sqrt.f64 (.f64 (.f64 a c) -4))
18.9b	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (-.f64 (+.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) (.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4))))) (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) 3)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))
19.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite108.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`add-sqr-sqrt_binary64_782`
48×	`difference-of-squares_binary64_729`
44×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
43×	`*-un-lft-identity_binary64_760`
37×	`associate-/l*_binary64_705` `times-frac_binary64_766`
21×	`sqrt-prod_binary64_776`
20×	`sqr-pow_binary64_732`
18×	`distribute-lft-out--_binary64_712`
17×	`pow1_binary64_821`
13×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
8×	`distribute-rgt-neg-in_binary64_718`
7×	`sqrt-pow1_binary64_778` `add-cube-cbrt_binary64_795`
6×	`pow-prod-down_binary64_831`
4×	`add-log-exp_binary64_799`
3×	`cbrt-undiv_binary64_794` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow1/2_binary64_840` `div-exp_binary64_811`
2×	`associate-*l/_binary64_703` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `sqrt-div_binary64_777` `difference-cubes_binary64_762` `flip--_binary64_735` `flip3--_binary64_764`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `flip3-+_binary64_763` `associate-/r*_binary64_704` `div-inv_binary64_757` `flip-+_binary64_734` `div-sub_binary64_765` `clear-num_binary64_759`

Counts

4 → 135

Calls

8 calls:

63.0ms	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (-.f64 (+.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) (.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4))))) (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) 3)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))
4.0ms	(sqrt.f64 (.f64 (.f64 a c) -4))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(sqrt.f64 (.f64 (.f64 a c) -4))
0.0ms	(.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4))))

series781.0ms (0.5%)

Counts

4 → 35

Calls

4 calls:

503.0ms	(/.f64 (-.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (+.f64 (.f64 b b) (-.f64 (.f64 b (-.f64 b (-.f64 (+.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) (.f64 1/2 (/.f64 (.f64 b b) (sqrt.f64 (.f64 (.f64 a c) -4))))) (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 (sqrt.f64 (.f64 (.f64 a c) -4)) 3)))))) (.f64 4 (.f64 a c)))) (.f64 a 2)))
153.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
62.0ms	(sqrt.f64 (.f64 (.f64 a c) -4))
62.0ms	(sqrt.f64 (.f64 (.f64 a c) -4))

Compiler

Compiled 4097 to 2917 computations (28.8% saved)

simplify144.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5055	12280

prune31.8s (18.8%)

Pruning

683 alts after pruning (669 fresh and 14 done)

	Pruned	Kept	Total
New	464	154	618
Fresh	8	515	523
Picked	0	0	0
Done	0	14	14
Total	472	683	1155

Error

6.4b

Counts

1155 → 683

Compiler

Compiled 15761 to 9041 computations (42.6% saved)

simplify1.0s (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5738	71264

regimes34.4s (20.4%)

Compiler: Compiled 177101 to 123004 computations (30.5% saved)

bsearch153.0ms (0.1%)

Steps

Iters

Range

Point

2.0838386294695447e+42

8.078277179567665e+46

7.942031390488743e+46

-6.947214698939933e-284

-9.629876459242517e-293

-1.3641711845431856e-290

-1.7254722192332445e+61

-1.4311919256912717e+61

-1.615117109155005e+61

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes1.3s (0.8%)

Compiler: Compiled 5749 to 5000 computations (13% saved)

bsearch79.0ms (0%)

Steps

Iters

Range

Point

2.0838386294695447e+42

8.078277179567665e+46

7.942031390488743e+46

-8.588079351880491e-160

-4.674262868753879e-167

-1.1049660614135754e-164

-1.7254722192332445e+61

-1.4311919256912717e+61

-1.688687182540498e+61

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes1.1s (0.6%)

Compiler: Compiled 5661 to 4936 computations (12.8% saved)

bsearch41.0ms (0%)

Steps

Iters	Range		Point
8	2.0838386294695447e+42	8.078277179567665e+46	6.852065077857368e+46
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.1914175080084799e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes974.0ms (0.6%)

Compiler: Compiled 4921 to 4324 computations (12.1% saved)

bsearch39.0ms (0%)

Steps

Iters	Range		Point
8	2.0838386294695447e+42	8.078277179567665e+46	7.397048234173055e+46
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.1914175080084799e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes414.0ms (0.2%)

Compiler: Compiled 1539 to 1458 computations (5.3% saved)

bsearch39.0ms (0%)

Steps

Iters	Range		Point
8	2.0838386294695447e+42	8.078277179567665e+46	3.932388830389278e+44
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.165376592702905e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes669.0ms (0.4%)

Compiler: Compiled 1491 to 1419 computations (4.8% saved)

bsearch131.0ms (0.1%)

Steps

Iters	Range		Point
7	548724587.4017644	34076724114.43413	561226648.3438514
0	5.909365780477668e-57	5.973820946660128e-57	5.941593363568897e-57
10	1.8519601090480852e-76	2.4289174126669396e-66	4.5456072667014904e-73
5	-1.1113506106002228e-103	-3.372870514197037e-104	-1.0958056759141235e-103
9	-1.1921778905475614e-71	-2.2475445062598984e-79	-2.0636023529259967e-75
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.1132947620917554e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes607.0ms (0.4%)

Compiler: Compiled 1320 to 1272 computations (3.6% saved)

bsearch119.0ms (0.1%)

Steps

Iters	Range		Point
7	548724587.4017644	34076724114.43413	561226648.3438514
0	5.909365780477668e-57	5.973820946660128e-57	5.941593363568897e-57
10	1.8519601090480852e-76	2.4289174126669396e-66	3.076579487085727e-76
5	-1.1113506106002228e-103	-3.372870514197037e-104	-8.470867209365325e-104
7	-1.2132384172112537e-65	-6.631137838000483e-67	-6.26166103267307e-66
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.1914175080084799e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes534.0ms (0.3%)

Compiler: Compiled 1083 to 1053 computations (2.8% saved)

bsearch121.0ms (0.1%)

Steps

Iters	Range		Point
7	548724587.4017644	34076724114.43413	561226648.3438514
0	5.909365780477668e-57	5.973820946660128e-57	5.941593363568897e-57
10	1.8519601090480852e-76	2.4289174126669396e-66	1.3969847469406258e-70
5	-1.1113506106002228e-103	-3.372870514197037e-104	-8.159968515643336e-104
7	-1.2132384172112537e-65	-6.631137838000483e-67	-2.5727230087426245e-66
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.0872538467861805e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes481.0ms (0.3%)

Compiler: Compiled 1047 to 1020 computations (2.6% saved)

bsearch126.0ms (0.1%)

Steps

Iters	Range		Point
7	548724587.4017644	34076724114.43413	561226648.3438514
0	5.909365780477668e-57	5.973820946660128e-57	5.941593363568897e-57
10	1.8519601090480852e-76	2.4289174126669396e-66	2.631871001127332e-70
5	-1.1113506106002228e-103	-3.372870514197037e-104	-5.983677659589416e-104
9	-1.1921778905475614e-71	-2.2475445062598984e-79	-2.551763611402685e-79
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.0872538467861805e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes405.0ms (0.2%)

Compiler: Compiled 858 to 837 computations (2.4% saved)

bsearch130.0ms (0.1%)

Steps

Iters	Range		Point
7	548724587.4017644	34076724114.43413	561226648.3438514
0	5.909365780477668e-57	5.973820946660128e-57	5.941593363568897e-57
10	1.8519601090480852e-76	2.4289174126669396e-66	3.2583865685001763e-76
5	-1.1113506106002228e-103	-3.372870514197037e-104	-1.0647158065419246e-103
9	-1.1921778905475614e-71	-2.2475445062598984e-79	-6.972674796872848e-72
3	-1.3029439748023646e-29	-1.074233389133393e-29	-1.0872538467861805e-29

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes300.0ms (0.2%)

Compiler: Compiled 828 to 807 computations (2.5% saved)

bsearch17.0ms (0%)

Steps

Iters	Range		Point
4	-3.776967298228988e-247	-2.5765012118755e-247	-3.081150325371919e-247

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes295.0ms (0.2%)

Compiler: Compiled 804 to 783 computations (2.6% saved)

bsearch32.0ms (0%)

Steps

Iters	Range		Point
7	-1.4172759057691965e-267	-6.631479127320703e-269	-2.4090299573481037e-268

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0%)

Compiler: Compiled 27 to 69 computations (-155.6% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

Accuracy

Total 3.9b remaining (41.3%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch25.0ms (0%)

Compiler: Compiled 643 to 433 computations (32.7% saved)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	309	961
1	309	961

end0.0ms (0%)

sample39.9s (23.6%)

Algorithm

1×

intervals

Results

297.0ms	1118×	body	2048	valid
289.0ms	5177×	body	128	valid
155.0ms	762×	body	1024	valid
125.0ms	384×	body	4096	valid
54.0ms	357×	body	512	valid
36.0ms	664×	body	128	nan
22.0ms	408×	body	128	invalid
21.0ms	202×	body	256	valid

Compiler

Compiled 45593 to 31633 computations (30.6% saved)

Pareto

0.5241272798088623