Details

analyze723.0ms (7.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4983	154
1	4983	154
0	4	4
1	4	4

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%	99.8%	0.2%	7
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
0.0ms	10×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify132.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	5230	22

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

26.6b

Counts

2 → 1

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.7b	(-.f64 (.f64 b c) (.f64 a d))
26.1b	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite75.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

10×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
9×	`times-frac_binary64_3835`
4×	`add-exp-log_binary64_3867` `add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865`
3×	`associate-/l_binary64_3774` `associate-/r_binary64_3773`
2×	`pow1_binary64_3890` `flip3--_binary64_3833` `associate-/l/_binary64_3776` `flip--_binary64_3804` `associate-/r/_binary64_3775`
1×	`div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `div-sub_binary64_3834` `clear-num_binary64_3828` `div-inv_binary64_3826` `flip3-+_binary64_3832` `flip-+_binary64_3803` `diff-log_binary64_3921` `sub-neg_binary64_3822` `cancel-sign-sub-inv_binary64_3795`

Counts

2 → 44

Calls

2 calls:

9.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(-.f64 (.f64 b c) (.f64 a d))

Compiler

Compiled 1243 to 168 computations (86.5% saved)

series521.0ms (5.4%)

Error

4.8b

Counts

2 → 48

Calls

2 calls:

332.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
157.0ms	(-.f64 (.f64 b c) (.f64 a d))

Compiler

Compiled 1692 to 1064 computations (37.1% saved)

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4930	1785
1	4930	1785

prune77.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	8	93

Error

4.8b

Counts

93 → 8

Compiler

Compiled 1849 to 246 computations (86.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 c b) (.f64 d a))
17.1b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
32.0b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
32.0b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite128.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

23×	`add-sqr-sqrt_binary64_3851`
21×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
18×	`sqrt-prod_binary64_3845` `times-frac_binary64_3835`
6×	`pow1_binary64_3890` `add-log-exp_binary64_3868` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `sqrt-div_binary64_3846` `associate-/r*_binary64_3773`
3×	`flip3-+_binary64_3832` `flip-+_binary64_3803` `associate-/l*_binary64_3774`
2×	`pow1/2_binary64_3909` `sqrt-pow1_binary64_3847` `rem-sqrt-square_binary64_3842` `flip3--_binary64_3833` `associate-/l/_binary64_3776` `flip--_binary64_3804` `associate-/r/_binary64_3775`
1×	`div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `div-sub_binary64_3834` `clear-num_binary64_3828` `div-inv_binary64_3826` `diff-log_binary64_3921` `sub-neg_binary64_3822` `cancel-sign-sub-inv_binary64_3795`

Counts

4 → 86

Calls

4 calls:

10.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
6.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(-.f64 (.f64 c b) (.f64 d a))

Compiler

Compiled 3444 to 530 computations (84.6% saved)

series931.0ms (9.6%)

Error

4.8b

Counts

4 → 93

Calls

4 calls:

421.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
162.0ms	(-.f64 (.f64 c b) (.f64 d a))
134.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
126.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 6324 to 3627 computations (42.6% saved)

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5188	3708

prune187.0ms (1.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	177	10	187

Error

4.8b

Counts

187 → 10

Compiler

Compiled 5817 to 1207 computations (79.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

12.0b	(cbrt.f64 (/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d))))
26.1b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
26.1b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
26.1b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite203.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

36×	`times-frac_binary64_3835`
35×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
15×	`cbrt-prod_binary64_3860`
10×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
9×	`associate-/l_binary64_3774` `associate-/r_binary64_3773`
8×	`associate-/r/_binary64_3775`
6×	`associate-/l/_binary64_3776`
4×	`pow1_binary64_3890` `add-log-exp_binary64_3868` `div-inv_binary64_3826` `flip3-+_binary64_3832` `flip-+_binary64_3803`
3×	`div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `div-sub_binary64_3834` `clear-num_binary64_3828` `flip3--_binary64_3833` `flip--_binary64_3804`
1×	`pow1/3_binary64_3911` `cbrt-div_binary64_3861`

Counts

4 → 120

Calls

4 calls:

9.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
9.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
9.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
7.0ms	(cbrt.f64 (/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d))))

Compiler

Compiled 7843 to 531 computations (93.2% saved)

series1.6s (16.7%)

Error

4.8b

Counts

4 → 94

Calls

4 calls:

452.0ms	(cbrt.f64 (/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d))))
349.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
347.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
347.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 12797 to 5249 computations (59% saved)

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5029	5949

prune235.0ms (2.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	214	10	224

Error

4.8b

Counts

224 → 10

Compiler

Compiled 12114 to 865 computations (92.9% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

17.1b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3)))
32.0b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
32.0b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
43.5b	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3))

rewrite470.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

90×	`cbrt-prod_binary64_3860`
63×	`times-frac_binary64_3835`
59×	`add-sqr-sqrt_binary64_3851`
57×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
36×	`sqrt-prod_binary64_3845`
30×	`unpow-prod-down_binary64_3908` `cube-prod_binary64_3857`
21×	`associate-/r*_binary64_3773`
8×	`sqrt-div_binary64_3846`
6×	`pow1_binary64_3890` `add-exp-log_binary64_3867`
5×	`add-cbrt-cube_binary64_3865` `unpow3_binary64_3895` `cube-mult_binary64_3859` `sqr-pow_binary64_3801`
4×	`add-log-exp_binary64_3868` `flip3-+_binary64_3832` `cube-div_binary64_3858` `cbrt-div_binary64_3861` `flip-+_binary64_3803`
3×	`associate-/l*_binary64_3774`
2×	`pow1/2_binary64_3909` `sqrt-pow1_binary64_3847` `rem-sqrt-square_binary64_3842` `associate-/l/_binary64_3776` `associate-/r/_binary64_3775`
1×	`pow1/3_binary64_3911` `rem-cbrt-cube_binary64_3853` `div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `div-sub_binary64_3834` `clear-num_binary64_3828` `div-inv_binary64_3826` `flip3--_binary64_3833` `flip--_binary64_3804`

Counts

4 → 163

Calls

4 calls:

14.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3)))
6.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 7728 to 1899 computations (75.4% saved)

series908.0ms (9.4%)

Error

4.8b

Counts

4 → 87

Calls

4 calls:

412.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3)))
142.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
132.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) 3))
128.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 6360 to 4091 computations (35.7% saved)

simplify114.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

250 → 250

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5336	6842

prune263.0ms (2.7%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	250	0	250
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	250	10	260

Error

4.8b

Counts

260 → 10

Compiler

Compiled 9028 to 1993 computations (77.9% saved)

regimes1.1s (11.6%)

Accuracy

Total 10.4b remaining (67.5%)

Threshold costs 0b (0%)

Compiler

Compiled 7389 to 3763 computations (49.1% saved)

bsearch106.0ms (1.1%)

Steps

Iters	Range		Point
10	4.2410282453931723e+102	4.962228504286239e+112	7.690932894099785e+111
6	9.375607462304332e-95	3.946125666360473e-94	9.667985544451415e-95
8	3.185827722181985e-299	2.827977377386102e-296	7.6273034464728125e-298
7	-1.0001446148897786e-169	-7.190414552717111e-172	-5.2727617851885534e-170
9	-3.4573773030960086e+103	-2.965592462108363e+97	-3.0462786319571863e+102

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	138
1	81	138

end0.0ms (0%)

sample1.5s (15.6%)

Algorithm

1×

intervals

Results

332.0ms	8000×	body	128	valid
17.0ms	455×	body	128	invalid

Compiler

Compiled 1580 to 799 computations (49.4% saved)

Details

analyze723.0ms (7.5%)

sample25.0ms (0.3%)

simplify132.0ms (1.4%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite75.0ms (0.8%)

series521.0ms (5.4%)

simplify91.0ms (0.9%)

prune77.0ms (0.8%)

localize14.0ms (0.1%)

rewrite128.0ms (1.3%)

series931.0ms (9.6%)

simplify78.0ms (0.8%)

prune187.0ms (1.9%)

localize15.0ms (0.2%)

rewrite203.0ms (2.1%)

series1.6s (16.7%)

simplify97.0ms (1%)

prune235.0ms (2.4%)

localize19.0ms (0.2%)

rewrite470.0ms (4.9%)

series908.0ms (9.4%)

simplify114.0ms (1.2%)

prune263.0ms (2.7%)

regimes1.1s (11.6%)

bsearch106.0ms (1.1%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.5s (15.6%)

Profiling