Details

Time bar (total: 1.6s)

analyze68.0ms (4.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
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
50%50%0.1%6
56.2%40.6%3.2%7
68.7%25%6.3%8
71.8%19.5%8.7%9
78%12.5%9.5%10
79.6%9.6%10.8%11
82.7%6.2%11%12
83.5%4.7%11.8%13
85.1%3.1%11.8%14
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample13.0ms (0.8%)

Algorithm
1×intervals
Results
7.0ms251×body128valid
0.0ms4×body1024valid
0.0ms3×body128invalid
0.0ms1×body256valid
Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify178.0ms (10.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0427
1427

prune4.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 26 to 24 computations (7.7% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 d1 (+.f64 d2 30))

rewrite8.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64_3519 add-sqr-sqrt_binary64_3541
4×associate-*r*_binary64_3459
3×add-cbrt-cube_binary64_3555 add-exp-log_binary64_3557 associate-*l*_binary64_3460 add-cube-cbrt_binary64_3554 pow1_binary64_3580
2×associate-*r/_binary64_3461
1×flip-+_binary64_3493 pow-prod-down_binary64_3590 add-log-exp_binary64_3558 flip3-+_binary64_3522 prod-exp_binary64_3568 distribute-lft-in_binary64_3468 cbrt-unprod_binary64_3552 unswap-sqr_binary64_3487 distribute-rgt-in_binary64_3469 *-commutative_binary64_3450 distribute-lft-out_binary64_3470
Counts
1 → 23
Calls

1 calls:

7.0ms
(*.f64 d1 (+.f64 d2 30))

series49.0ms (3%)

Counts
1 → 3
Calls

1 calls:

49.0ms
(*.f64 d1 (+.f64 d2 30))

simplify59.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04849233
14849233

prune34.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh000
Picked011
Done000
Total24327

Merged error: 0b

Counts
27 → 3
Compiler

Compiled 427 to 325 computations (23.9% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))
0.2b
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))

rewrite26.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
14×associate-*r*_binary64_3459 sqrt-div_binary64_3536
11×*-un-lft-identity_binary64_3519 add-sqr-sqrt_binary64_3541
10×associate-*r/_binary64_3461
9×add-cbrt-cube_binary64_3555 add-exp-log_binary64_3557 pow1_binary64_3580 sqrt-prod_binary64_3535
7×flip-+_binary64_3493 flip3-+_binary64_3522 add-cube-cbrt_binary64_3554
4×pow-prod-down_binary64_3590 prod-exp_binary64_3568 frac-times_binary64_3529 associate-*l*_binary64_3460 cbrt-unprod_binary64_3552
2×associate-*l/_binary64_3462 add-log-exp_binary64_3558 unswap-sqr_binary64_3487 *-commutative_binary64_3450 distribute-lft-out_binary64_3470
Counts
2 → 55
Calls

2 calls:

13.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))
8.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))

series135.0ms (8.3%)

Counts
2 → 6
Calls

2 calls:

81.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))
53.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))

simplify61.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04947886
14947886

prune54.0ms (3.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New61061
Fresh011
Picked011
Done011
Total61364

Merged error: 0b

Counts
64 → 3
Compiler

Compiled 960 to 700 computations (27.1% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 d2 d2) 900)
5.0b
(*.f64 d1 (-.f64 (*.f64 d2 d2) 900))
7.9b
(/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) 900)) (-.f64 d2 30))

rewrite30.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64_3541
14×*-un-lft-identity_binary64_3519
10×add-cbrt-cube_binary64_3555 add-exp-log_binary64_3557 add-cube-cbrt_binary64_3554
9×cancel-sign-sub-inv_binary64_3485
5×associate-/r*_binary64_3463 add-log-exp_binary64_3558 pow1_binary64_3580 times-frac_binary64_3525
4×difference-of-squares_binary64_3488 associate-*r*_binary64_3459 flip--_binary64_3494 associate-*r/_binary64_3461 distribute-lft-in_binary64_3468 distribute-rgt-in_binary64_3469 flip3--_binary64_3523
3×sub-neg_binary64_3512 associate-*l*_binary64_3460
2×associate-/l/_binary64_3466 div-exp_binary64_3570 cbrt-undiv_binary64_3553 prod-exp_binary64_3568 cbrt-unprod_binary64_3552 associate-/r/_binary64_3465 distribute-lft-out--_binary64_3471
1×pow-prod-down_binary64_3590 diff-log_binary64_3611 clear-num_binary64_3518 div-inv_binary64_3516 associate-/l*_binary64_3464 unswap-sqr_binary64_3487 *-commutative_binary64_3450 frac-2neg_binary64_3530
Counts
3 → 73
Calls

3 calls:

12.0ms
(/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) 900)) (-.f64 d2 30))
8.0ms
(*.f64 d1 (-.f64 (*.f64 d2 d2) 900))
5.0ms
(-.f64 (*.f64 d2 d2) 900)

series279.0ms (17.1%)

Counts
3 → 9
Calls

3 calls:

145.0ms
(/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) 900)) (-.f64 d2 30))
82.0ms
(*.f64 d1 (-.f64 (*.f64 d2 d2) 900))
52.0ms
(-.f64 (*.f64 d2 d2) 900)

simplify76.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049071068
149071068

prune66.0ms (4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done022
Total82385

Merged error: 0b

Counts
85 → 3
Compiler

Compiled 1260 to 758 computations (39.8% saved)

regimes17.0ms (1.1%)

Compiler

Compiled 58 to 56 computations (3.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample455.0ms (27.9%)

Algorithm
1×intervals
Results
221.0ms7865×body128valid
7.0ms73×body1024valid
2.0ms34×body512valid
2.0ms71×body128invalid
1.0ms26×body256valid
0.0ms2×body2048valid
Compiler

Compiled 49 to 46 computations (6.1% saved)

Profiling

Loading profile data...