Details

Time bar (total: 1.4s)

analyze62.0ms (4.4%)

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)

sample18.0ms (1.3%)

Algorithm
1×intervals
Results
11.0ms251×body128valid
0.0ms3×body1024valid
0.0ms1×body512valid
0.0ms2×body128invalid
0.0ms1×body256valid
Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify100.0ms (7.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0427
1427

prune4.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Compiler

Compiled 21 to 19 computations (9.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64_4511 add-sqr-sqrt_binary64_4533
4×associate-*r*_binary64_4451
3×pow1_binary64_4572 add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 associate-*l*_binary64_4452 add-cube-cbrt_binary64_4546
2×associate-*r/_binary64_4453
1×flip-+_binary64_4485 distribute-lft-out_binary64_4462 flip3-+_binary64_4514 unswap-sqr_binary64_4479 distribute-lft-in_binary64_4460 add-log-exp_binary64_4550 prod-exp_binary64_4560 cbrt-unprod_binary64_4544 distribute-rgt-in_binary64_4461 pow-prod-down_binary64_4582 *-commutative_binary64_4442
Counts
1 → 23
Calls

1 calls:

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

series25.0ms (1.8%)

Counts
1 → 3
Calls

1 calls:

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

simplify65.0ms (4.6%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
05135233

prune20.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh101
Picked011
Done000
Total25328
Error
0b
Counts
28 → 3
Compiler

Compiled 257 to 176 computations (31.5% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

rewrite28.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
14×associate-*r*_binary64_4451 sqrt-div_binary64_4528
11×*-un-lft-identity_binary64_4511 add-sqr-sqrt_binary64_4533
10×associate-*r/_binary64_4453
9×pow1_binary64_4572 add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 sqrt-prod_binary64_4527
7×flip-+_binary64_4485 flip3-+_binary64_4514 add-cube-cbrt_binary64_4546
4×associate-*l*_binary64_4452 prod-exp_binary64_4560 cbrt-unprod_binary64_4544 pow-prod-down_binary64_4582 frac-times_binary64_4521
2×distribute-lft-out_binary64_4462 unswap-sqr_binary64_4479 add-log-exp_binary64_4550 *-commutative_binary64_4442 associate-*l/_binary64_4454
Counts
2 → 55
Calls

2 calls:

14.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))
9.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))

series72.0ms (5.1%)

Counts
2 → 6
Calls

2 calls:

44.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))
27.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))

simplify45.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
05257891

prune55.0ms (3.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New61061
Fresh011
Picked011
Done011
Total61364
Error
0b
Counts
64 → 3
Compiler

Compiled 964 to 704 computations (27% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 d2 d2) 900)
3.6b
(*.f64 d1 (-.f64 (*.f64 d2 d2) 900))
9.4b
(/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) 900)) (-.f64 d2 30))

rewrite30.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64_4533
14×*-un-lft-identity_binary64_4511
10×add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 add-cube-cbrt_binary64_4546
9×cancel-sign-sub-inv_binary64_4477
5×pow1_binary64_4572 add-log-exp_binary64_4550 associate-/r*_binary64_4455 times-frac_binary64_4517
4×flip--_binary64_4486 distribute-lft-in_binary64_4460 flip3--_binary64_4515 associate-*r/_binary64_4453 associate-*r*_binary64_4451 difference-of-squares_binary64_4480 distribute-rgt-in_binary64_4461
3×associate-*l*_binary64_4452 sub-neg_binary64_4504
2×distribute-lft-out--_binary64_4463 associate-/l/_binary64_4458 prod-exp_binary64_4560 cbrt-unprod_binary64_4544 div-exp_binary64_4562 associate-/r/_binary64_4457 cbrt-undiv_binary64_4545
1×associate-/l*_binary64_4456 unswap-sqr_binary64_4479 diff-log_binary64_4603 frac-2neg_binary64_4522 pow-prod-down_binary64_4582 *-commutative_binary64_4442 clear-num_binary64_4510 div-inv_binary64_4508
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)

series139.0ms (10%)

Counts
3 → 9
Calls

3 calls:

64.0ms
(/.f64 (*.f64 d1 (-.f64 (*.f64 d2 d2) 900)) (-.f64 d2 30))
50.0ms
(*.f64 d1 (-.f64 (*.f64 d2 d2) 900))
24.0ms
(-.f64 (*.f64 d2 d2) 900)

simplify60.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
061651072

prune62.0ms (4.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done022
Total82385
Error
0b
Counts
85 → 3
Compiler

Compiled 1228 to 729 computations (40.6% saved)

regimes54.0ms (3.9%)

Accuracy

Total 0.0b remaining (94.3%)

Threshold costs 0.0b (94.3%)

Compiler

Compiled 350 to 308 computations (12% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample532.0ms (38.1%)

Algorithm
1×intervals
Results
223.0ms7878×body128valid
7.0ms72×body1024valid
3.0ms38×body512valid
2.0ms89×body128invalid
1.0ms12×body256valid
Compiler

Compiled 130 to 116 computations (10.8% saved)

Profiling

Loading profile data...