Details

analyze2.4s (5.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	98.2%	1.8%	7
0%	92%	8%	8
0%	91.2%	8.8%	9
0.4%	89.3%	10.3%	10
7.1%	79.2%	13.6%	11
11.9%	70.2%	17.9%	12
13.8%	67.4%	18.7%	13
16.6%	63.3%	20.1%	14

Compiler

Compiled 41 to 33 computations (19.5% saved)

sample146.0ms (0.3%)

Algorithm

1×

intervals

Results

24.0ms	176×	body	128	valid
17.0ms	18×	body	2048	valid
15.0ms	28×	body	1024	valid
14.0ms	104×	body	128	nan
14.0ms	20×	body	2048	nan
13.0ms	24×	body	1024	nan
12.0ms	30×	body	512	nan
8.0ms	20×	body	512	valid
4.0ms	14×	body	256	valid
3.0ms	10×	body	256	nan

Compiler

Compiled 81 to 69 computations (14.8% saved)

simplify145.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5390	61

prune10.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

51.2b

Counts

2 → 1

Compiler

Compiled 80 to 54 computations (32.5% saved)

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b	(-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
0.6b	(-.f64 (.f64 B B) (.f64 (*.f64 4 A) C))
0.6b	(-.f64 (.f64 B B) (.f64 (*.f64 4 A) C))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
6.8b	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)
11.7b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
23.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite90.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`sqrt-div_binary64_3846`
40×	`associate-*r/_binary64_3771`
36×	`times-frac_binary64_3835`
35×	`add-sqr-sqrt_binary64_3851`
34×	`associate-*l/_binary64_3772`
32×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
25×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
24×	`frac-times_binary64_3839` `frac-sub_binary64_3838`
22×	`flip--_binary64_3804` `flip3--_binary64_3833`
20×	`distribute-neg-frac_binary64_3793` `associate-/l/_binary64_3776`
17×	`pow1_binary64_3890`
16×	`distribute-rgt-neg-in_binary64_3787` `distribute-lft-neg-in_binary64_3786`
12×	`sqrt-prod_binary64_3845` `associate-/l*_binary64_3774`
8×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
7×	`pow-prod-down_binary64_3900`
5×	`sqrt-pow1_binary64_3847`
4×	`add-log-exp_binary64_3868` `neg-mul-1_binary64_3825`
3×	`associate-/r_binary64_3773` `associate-r_binary64_3769` `associate-l*_binary64_3770`
2×	`associate-/r/_binary64_3775` `pow1/2_binary64_3909`
1×	`div-inv_binary64_3826` `div-exp_binary64_3880` `unswap-sqr_binary64_3797` `rem-sqrt-square_binary64_3842` `neg-sub0_binary64_3824` `prod-exp_binary64_3878` `clear-num_binary64_3828` `div-sub_binary64_3834` `distribute-frac-neg_binary64_3792` `cbrt-undiv_binary64_3863` `*-commutative_binary64_3760` `frac-2neg_binary64_3840` `cbrt-unprod_binary64_3862`

Counts

4 → 155

Calls

8 calls:

22.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
18.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
9.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
7.0ms	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)
0.0ms	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))

series8.7s (18.9%)

Counts

4 → 83

Calls

4 calls:

4.7s	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))
3.4s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
360.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
285.0ms	(.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)

Compiler

Compiled 17640 to 13315 computations (24.5% saved)

simplify178.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4988	16685
1	4988	16685

prune1.1s (2.5%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	215	23	238
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	216	23	239

Error

29.9b

Counts

239 → 23

Compiler

Compiled 17241 to 8414 computations (51.2% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(-.f64 (.f64 B B) (.f64 C (*.f64 A 4)))
0.6b	(-.f64 (.f64 B B) (.f64 C (*.f64 A 4)))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
14.7b	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
14.7b	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite106.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`sqrt-div_binary64_3846`
40×	`associate-*r/_binary64_3771`
32×	`associate-*l/_binary64_3772`
28×	`pow1_binary64_3890`
26×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
24×	`frac-times_binary64_3839` `frac-sub_binary64_3838`
22×	`sqrt-pow1_binary64_3847`
20×	`flip--_binary64_3804` `flip3--_binary64_3833`
16×	`sqrt-prod_binary64_3845`
12×	`pow-prod-down_binary64_3900` `add-sqr-sqrt_binary64_3851`
8×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
6×	`pow1/2_binary64_3909`
4×	`add-log-exp_binary64_3868` `rem-sqrt-square_binary64_3842` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`

Counts

4 → 108

Calls

8 calls:

28.0ms	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
27.0ms	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
11.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
0.0ms	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))

series4.1s (8.9%)

Counts

4 → 88

Calls

4 calls:

1.6s	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
1.6s	(sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
396.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
390.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

Compiler

Compiled 15514 to 11082 computations (28.6% saved)

simplify147.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4980	11744
1	4980	11744

prune917.0ms (2%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	196	0	196
Fresh	0	22	22
Picked	0	1	1
Done	0	0	0
Total	196	23	219

Error

29.9b

Counts

219 → 23

Compiler

Compiled 19292 to 10124 computations (47.5% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
0.0b	(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
13.4b	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
24.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite147.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

404×	`sqrt-div_binary64_3846`
136×	`associate-*r/_binary64_3771`
122×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
120×	`frac-times_binary64_3839`
104×	`associate-*l/_binary64_3772`
96×	`frac-sub_binary64_3838`
56×	`distribute-neg-frac_binary64_3793` `associate-/l/_binary64_3776`
45×	`flip--_binary64_3804` `flip3--_binary64_3833`
36×	`times-frac_binary64_3835`
33×	`add-sqr-sqrt_binary64_3851`
31×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
16×	`distribute-rgt-neg-in_binary64_3787` `pow1_binary64_3890` `distribute-lft-neg-in_binary64_3786`
15×	`sqrt-prod_binary64_3845`
12×	`associate-/l*_binary64_3774`
6×	`pow-prod-down_binary64_3900` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `sqrt-pow1_binary64_3847`
4×	`add-log-exp_binary64_3868` `neg-mul-1_binary64_3825`
3×	`pow1/2_binary64_3909` `associate-/r*_binary64_3773`
2×	`rem-sqrt-square_binary64_3842` `associate-/r/_binary64_3775`
1×	`div-inv_binary64_3826` `div-exp_binary64_3880` `neg-sub0_binary64_3824` `clear-num_binary64_3828` `div-sub_binary64_3834` `distribute-frac-neg_binary64_3792` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840`

Counts

4 → 222

Calls

8 calls:

25.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
21.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
9.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
0.0ms	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))

series8.7s (19%)

Counts

4 → 96

Calls

4 calls:

4.6s	(sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
3.3s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))) (-.f64 (.f64 B B) (.f64 (.f64 4 A) C)))
371.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
365.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

Compiler

Compiled 19662 to 14717 computations (25.2% saved)

simplify250.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

318 → 318

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5410	26682

prune1.6s (3.5%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	317	1	318
Fresh	1	20	21
Picked	0	1	1
Done	0	1	1
Total	318	23	341

Error

29.9b

Counts

341 → 23

Compiler

Compiled 29969 to 14704 computations (50.9% saved)

localize37.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.4b	(.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
0.0b	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))
15.1b	(cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
38.0b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite80.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`sqrt-div_binary64_3846`
20×	`cbrt-div_binary64_3861` `associate-*r/_binary64_3771`
16×	`associate-*l/_binary64_3772`
15×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
12×	`frac-times_binary64_3839` `frac-sub_binary64_3838`
11×	`add-sqr-sqrt_binary64_3851`
10×	`flip--_binary64_3804` `sqrt-prod_binary64_3845` `flip3--_binary64_3833`
8×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
7×	`pow1_binary64_3890`
4×	`add-log-exp_binary64_3868` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `cbrt-prod_binary64_3860`
3×	`rem-sqrt-square_binary64_3842` `pow1/2_binary64_3909` `sqrt-pow1_binary64_3847`
1×	`pow1/3_binary64_3911`

Counts

4 → 77

Calls

8 calls:

27.0ms	(cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
0.0ms	(+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))

series3.4s (7.4%)

Counts

4 → 98

Calls

4 calls:

2.1s	(cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (.f64 B B) (.f64 C (.f64 A 4))) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))))))
427.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
421.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
420.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

Compiler

Compiled 18995 to 12581 computations (33.8% saved)

simplify115.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5039	8251

prune1.2s (2.7%)

Pruning

23 alts after pruning (20 fresh and 3 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	20	20
Picked	0	1	1
Done	0	2	2
Total	175	23	198

Error

29.9b

Counts

198 → 23

Compiler

Compiled 21006 to 10783 computations (48.7% saved)

simplify110.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5017	5150

regimes1.5s (3.3%)

Compiler: Compiled 16314 to 10615 computations (34.9% saved)

bsearch211.0ms (0.5%)

Steps

Iters	Range		Point
11	3.04209042299602e-71	7.274724448329855e-49	1.8416199243309805e-58
6	-7.991914436747439e+18	-1.686607514378552e+18	-7.910126495996752e+18

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes558.0ms (1.2%)

Compiler: Compiled 3392 to 2544 computations (25% saved)

bsearch210.0ms (0.5%)

Steps

Iters	Range		Point
11	3.04209042299602e-71	7.274724448329855e-49	7.90807920936131e-68
6	-7.991914436747439e+18	-1.686607514378552e+18	-7.419398851492627e+18

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes377.0ms (0.8%)

Compiler: Compiled 2412 to 1832 computations (24% saved)

bsearch288.0ms (0.6%)

Steps

Iters	Range		Point
9	5.115171365068297e-81	5.176995351078379e-74	3.1969598146336614e-79
5	1.1328397871519698e-282	2.696157792834942e-282	1.1496526444247377e-282
6	-2.0702888153305525e-286	-2.0359748949650015e-287	-9.007271547567885e-287
6	-7.991914436747439e+18	-1.686607514378552e+18	-7.910126495996752e+18

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes291.0ms (0.6%)

Compiler: Compiled 2260 to 1732 computations (23.4% saved)

bsearch48.0ms (0.1%)

Steps

Iters	Range		Point
5	1.1328397871519698e-282	2.696157792834942e-282	1.3177812171524174e-282

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes256.0ms (0.6%)

Compiler: Compiled 2052 to 1540 computations (25% saved)

bsearch43.0ms (0.1%)

Steps

Iters	Range		Point
3	-4.92728815170982e-301	-3.518308030556592e-301	-3.5690494857006394e-301

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes232.0ms (0.5%)

Compiler: Compiled 2012 to 1492 computations (25.8% saved)

bsearch254.0ms (0.6%)

Steps

Iters	Range		Point
8	7.90191949646012e-72	1.4291579804752537e-68	1.1749683258543978e-68
10	-5.801574048241654e-25	-4.943532546117318e-36	-1.0890342656946036e-35

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes216.0ms (0.5%)

Compiler: Compiled 1800 to 1352 computations (24.9% saved)

bsearch238.0ms (0.5%)

Steps

Iters	Range		Point
8	7.90191949646012e-72	1.4291579804752537e-68	1.072862699349279e-69
10	-5.801574048241654e-25	-4.943532546117318e-36	-1.2261336475609622e-27

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes121.0ms (0.3%)

Compiler: Compiled 708 to 616 computations (13% saved)

bsearch102.0ms (0.2%)

Steps

Iters	Range		Point
8	-1.0545452085278669e-100	-1.1676552446429256e-104	-1.0398432161930014e-100

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes97.0ms (0.2%)

Compiler: Compiled 460 to 440 computations (4.3% saved)

bsearch168.0ms (0.4%)

Steps

Iters	Range		Point
10	-5.801574048241654e-25	-4.943532546117318e-36	-6.137118346168398e-36

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes61.0ms (0.1%)

Compiler: Compiled 212 to 264 computations (-24.5% saved)

bsearch99.0ms (0.2%)

Steps

Iters	Range		Point
8	7.90191949646012e-72	1.4291579804752537e-68	1.1749683258543978e-68

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes46.0ms (0.1%)

Compiler: Compiled 88 to 176 computations (-100% saved)

bsearch0.0ms (0%)

regimes33.0ms (0.1%)

Accuracy

Total 16.2b remaining (35.5%)

Threshold costs 0b (0%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch28.0ms (0.1%)

Compiler: Compiled 722 to 484 computations (33% saved)

simplify18.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	461	1101
1	461	1101

end0.0ms (0%)

sample6.5s (14.3%)

Algorithm

1×

intervals

Results

759.0ms	5511×	body	128	valid
496.0ms	873×	body	1024	valid
483.0ms	853×	body	1024	nan
463.0ms	635×	body	2048	valid
437.0ms	604×	body	2048	nan
341.0ms	2499×	body	128	nan
256.0ms	595×	body	512	valid
217.0ms	550×	body	512	nan
107.0ms	385×	body	256	valid
88.0ms	339×	body	256	nan
1.0ms	1×	body	4096	valid

Compiler

Compiled 4003 to 2614 computations (34.7% saved)

Pareto

0.12356658629261705

Details

analyze2.4s (5.2%)

sample146.0ms (0.3%)

simplify145.0ms (0.3%)

prune10.0ms (0%)

localize22.0ms (0%)

rewrite90.0ms (0.2%)

series8.7s (18.9%)

simplify178.0ms (0.4%)

prune1.1s (2.5%)

localize27.0ms (0.1%)

rewrite106.0ms (0.2%)

series4.1s (8.9%)

simplify147.0ms (0.3%)

prune917.0ms (2%)

localize27.0ms (0.1%)

rewrite147.0ms (0.3%)

series8.7s (19%)

simplify250.0ms (0.5%)

prune1.6s (3.5%)

localize37.0ms (0.1%)

rewrite80.0ms (0.2%)

series3.4s (7.4%)

simplify115.0ms (0.3%)

prune1.2s (2.7%)

simplify110.0ms (0.2%)

regimes1.5s (3.3%)

bsearch211.0ms (0.5%)

regimes558.0ms (1.2%)

bsearch210.0ms (0.5%)

regimes377.0ms (0.8%)

bsearch288.0ms (0.6%)

regimes291.0ms (0.6%)

bsearch48.0ms (0.1%)

regimes256.0ms (0.6%)

bsearch43.0ms (0.1%)

regimes232.0ms (0.5%)

bsearch254.0ms (0.6%)

regimes216.0ms (0.5%)

bsearch238.0ms (0.5%)

regimes121.0ms (0.3%)

bsearch102.0ms (0.2%)

regimes97.0ms (0.2%)

bsearch168.0ms (0.4%)

regimes61.0ms (0.1%)

bsearch99.0ms (0.2%)

regimes46.0ms (0.1%)

bsearch0.0ms (0%)

regimes33.0ms (0.1%)

bsearch28.0ms (0.1%)

simplify18.0ms (0%)

end0.0ms (0%)

sample6.5s (14.3%)

Profiling