Details

analyze788.0ms (7.2%)

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)

sample23.0ms (0.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	16×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify130.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (121.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

25.9b

Counts

2 → 1

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b	(-.f64 (.f64 b c) (.f64 a d))
25.4b	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite82.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

25.8b

Rules

10×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
9×	`times-frac_binary64_3494`
4×	`add-exp-log_binary64_3526` `add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524`
3×	`associate-/l_binary64_3433` `associate-/r_binary64_3432`
2×	`pow1_binary64_3549` `flip3--_binary64_3492` `associate-/l/_binary64_3435` `flip--_binary64_3463` `associate-/r/_binary64_3434`
1×	`div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `div-sub_binary64_3493` `clear-num_binary64_3487` `div-inv_binary64_3485` `flip3-+_binary64_3491` `flip-+_binary64_3462` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

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)

series665.0ms (6.1%)

Error

6.3b

Counts

2 → 54

Calls

2 calls:

424.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
189.0ms	(-.f64 (.f64 b c) (.f64 a d))

Compiler

Compiled 1941 to 1223 computations (37% saved)

simplify80.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5037	1998

prune115.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	90	8	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	8	99

Error

4.9b

Counts

99 → 8

Compiler

Compiled 2023 to 307 computations (84.8% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 (.f64 c b) (.f64 d a))
16.0b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
28.8b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
28.8b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite123.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

4.9b

Rules

23×	`add-sqr-sqrt_binary64_3510`
21×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
18×	`sqrt-prod_binary64_3504` `times-frac_binary64_3494`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505` `associate-/r*_binary64_3432`
3×	`flip3-+_binary64_3491` `flip-+_binary64_3462` `associate-/l*_binary64_3433`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501` `flip3--_binary64_3492` `associate-/l/_binary64_3435` `flip--_binary64_3463` `associate-/r/_binary64_3434`
1×	`div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `div-sub_binary64_3493` `clear-num_binary64_3487` `div-inv_binary64_3485` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 86

Calls

4 calls:

19.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
7.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
7.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(-.f64 (.f64 c b) (.f64 d a))

Compiler

Compiled 3272 to 353 computations (89.2% saved)

series1.2s (10.6%)

Error

4.9b

Counts

4 → 98

Calls

4 calls:

524.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
225.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
161.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
155.0ms	(-.f64 (.f64 c b) (.f64 d a))

Compiler

Compiled 6128 to 3296 computations (46.2% saved)

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5077	3902

prune168.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	183	9	192

Error

4.9b

Counts

192 → 9

Compiler

Compiled 5651 to 871 computations (84.6% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.5b	(-.f64 (.f64 b c) (.f64 a d))
0.7b	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))
25.2b	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (+.f64 (.f64 c c) (*.f64 d d))))

rewrite110.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

4.9b

Rules

26×	`add-sqr-sqrt_binary64_3510`
20×	`*-un-lft-identity_binary64_3488` `times-frac_binary64_3494`
19×	`add-cube-cbrt_binary64_3523`
16×	`add-exp-log_binary64_3526`
15×	`associate-r_binary64_3428`
10×	`add-cbrt-cube_binary64_3524`
6×	`pow1_binary64_3549`
5×	`add-log-exp_binary64_3527`
4×	`div-exp_binary64_3539` `prod-exp_binary64_3537` `associate-/r/_binary64_3434`
3×	`flip3--_binary64_3492` `flip--_binary64_3463` `unswap-sqr_binary64_3456` `associate-l_binary64_3429` `associate-/l_binary64_3433` `associate-/r_binary64_3432`
2×	`1-exp_binary64_3532` `rec-exp_binary64_3538` `cbrt-unprod_binary64_3521` `cbrt-undiv_binary64_3522` `frac-times_binary64_3498` `associate-*l/_binary64_3431` `div-inv_binary64_3485` `flip3-+_binary64_3491` `flip-+_binary64_3462`
1×	`pow-prod-down_binary64_3559` `un-div-inv_binary64_3486` `associate-r/_binary64_3430` `-commutative_binary64_3419` `inv-pow_binary64_3573` `pow-flip_binary64_3562` `frac-2neg_binary64_3499` `clear-num_binary64_3487` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

3 → 87

Calls

3 calls:

14.0ms	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (+.f64 (.f64 c c) (*.f64 d d))))
6.0ms	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(-.f64 (.f64 b c) (.f64 a d))

Compiler

Compiled 2492 to 602 computations (75.8% saved)

series700.0ms (6.4%)

Error

4.9b

Counts

3 → 69

Calls

3 calls:

385.0ms	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (+.f64 (.f64 c c) (*.f64 d d))))
177.0ms	(-.f64 (.f64 b c) (.f64 a d))
85.0ms	(/.f64 1 (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 2802 to 1886 computations (32.7% saved)

simplify75.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5100	3035

prune123.0ms (1.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	156	9	165

Error

4.9b

Counts

165 → 9

Compiler

Compiled 3432 to 784 computations (77.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

12.4b	(cbrt.f64 (/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d))))
25.4b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
25.4b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
25.4b	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite254.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

4.9b

Rules

36×	`times-frac_binary64_3494`
35×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
15×	`cbrt-prod_binary64_3519`
10×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524`
9×	`associate-/l_binary64_3433` `associate-/r_binary64_3432`
8×	`associate-/r/_binary64_3434`
6×	`associate-/l/_binary64_3435`
4×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `div-inv_binary64_3485` `flip3-+_binary64_3491` `flip-+_binary64_3462`
3×	`div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `div-sub_binary64_3493` `clear-num_binary64_3487` `flip3--_binary64_3492` `flip--_binary64_3463`
1×	`pow1/3_binary64_3570` `cbrt-div_binary64_3520`

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)

series2.0s (18.7%)

Error

4.9b

Counts

4 → 113

Calls

4 calls:

542.0ms	(cbrt.f64 (/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d))))
460.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
440.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))
398.0ms	(/.f64 (-.f64 (.f64 c b) (.f64 d a)) (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 14793 to 6074 computations (58.9% saved)

simplify106.0ms (1%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4996	6716
1	4996	6716

prune330.0ms (3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	233	9	242

Error

4.9b

Counts

242 → 9

Compiler

Compiled 13180 to 1006 computations (92.4% saved)

regimes1.5s (13.4%)

Accuracy

Total 10.7b remaining (73%)

Threshold costs 0b (0%)

Compiler

Compiled 8594 to 4813 computations (44% saved)

bsearch90.0ms (0.8%)

Steps

Iters	Range		Point
7	6.974463926362769e+145	7.892742878215508e+147	1.596706401112998e+146
8	2.240566059185317e-78	6.111409574807561e-76	3.49936390175958e-78
8	-6.649148585024292e-144	-2.377382158449616e-148	-1.4292144434333795e-145
8	-7.985918935653596e+69	-1.4869525074860902e+67	-4.319804439634208e+68
2	-5.866582121074582e+151	-4.951514900074892e+151	-5.716459959379754e+151

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	100	150
1	100	150

end0.0ms (0%)

sample2.1s (19.5%)

Algorithm

1×

intervals

Results

626.0ms	8000×	body	128	valid
21.0ms	450×	body	128	invalid

Compiler

Compiled 1830 to 1024 computations (44% saved)

Details

analyze788.0ms (7.2%)

sample23.0ms (0.2%)

simplify130.0ms (1.2%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite82.0ms (0.8%)

series665.0ms (6.1%)

simplify80.0ms (0.7%)

prune115.0ms (1.1%)

localize25.0ms (0.2%)

rewrite123.0ms (1.1%)

series1.2s (10.6%)

simplify83.0ms (0.8%)

prune168.0ms (1.5%)

localize11.0ms (0.1%)

rewrite110.0ms (1%)

series700.0ms (6.4%)

simplify75.0ms (0.7%)

prune123.0ms (1.1%)

localize15.0ms (0.1%)

rewrite254.0ms (2.3%)

series2.0s (18.7%)

simplify106.0ms (1%)

prune330.0ms (3%)

regimes1.5s (13.4%)

bsearch90.0ms (0.8%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.1s (19.5%)

Profiling