Details

Time bar (total: 1.6s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample13.0ms (0.8%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify175.0ms (10.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
0478313
1478313

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite10.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_3488
15×times-frac_binary64_3494
11×add-sqr-sqrt_binary64_3510 add-cube-cbrt_binary64_3523
5×associate-/r*_binary64_3432
4×distribute-lft-out_binary64_3439 cosh-undef_binary64_3682
3×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526 associate-/l*_binary64_3433
2×associate-/r/_binary64_3434
1×clear-num_binary64_3487 flip-+_binary64_3462 flip3-+_binary64_3491 frac-2neg_binary64_3499 add-log-exp_binary64_3527 div-exp_binary64_3539 cbrt-undiv_binary64_3522 pow1_binary64_3549 div-inv_binary64_3485
Counts
1 → 37
Calls

1 calls:

7.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

series50.0ms (3.1%)

Counts
1 → 3
Calls

1 calls:

50.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify94.0ms (5.9%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
04873739
14873739

prune31.0ms (2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh000
Picked101
Done000
Total39241

Merged error: 0b

Counts
41 → 2
Compiler

Compiled 591 to 258 computations (56.3% saved)

localize11.0ms (0.7%)

Local error

Found 3 expressions with local error:

0.0b
(pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3)
0.0b
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))
0.0b
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

rewrite41.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
83×*-un-lft-identity_binary64_3488
75×times-frac_binary64_3494
51×add-sqr-sqrt_binary64_3510 add-cube-cbrt_binary64_3523
48×cbrt-prod_binary64_3519
42×unpow-prod-down_binary64_3567 cube-prod_binary64_3516
16×distribute-lft-out_binary64_3439 cosh-undef_binary64_3682
10×associate-/r/_binary64_3434
8×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526
5×associate-/r*_binary64_3432 flip-+_binary64_3462 flip3-+_binary64_3491 div-inv_binary64_3485
4×pow1_binary64_3549
3×associate-/l*_binary64_3433 pow-unpow_binary64_3565 add-log-exp_binary64_3527
2×pow-exp_binary64_3556 unpow3_binary64_3554 rem-cube-cbrt_binary64_3511 cube-div_binary64_3517 sqr-pow_binary64_3460 cube-mult_binary64_3518 div-exp_binary64_3539 cbrt-undiv_binary64_3522
1×clear-num_binary64_3487 pow-to-exp_binary64_3557 rem-cbrt-cube_binary64_3512 frac-2neg_binary64_3499 cbrt-div_binary64_3520 pow1/3_binary64_3570 pow-pow_binary64_3560
Counts
3 → 157
Calls

3 calls:

10.0ms
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))
9.0ms
(pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3)
7.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

series173.0ms (10.8%)

Counts
3 → 9
Calls

3 calls:

85.0ms
(pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3)
45.0ms
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))
43.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify62.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
053853351

prune135.0ms (8.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1660166
Fresh011
Picked011
Done000
Total1662168

Merged error: 0b

Counts
168 → 2
Compiler

Compiled 2653 to 1366 computations (48.5% saved)

localize8.0ms (0.5%)

Local error

Found 1 expressions with local error:

0.5b
(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))

rewrite25.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
57×add-sqr-sqrt_binary64_3510
48×times-frac_binary64_3494
27×add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
24×sqrt-prod_binary64_3504
23×associate-*r*_binary64_3428
22×associate-*l*_binary64_3429
13×add-cbrt-cube_binary64_3524 add-exp-log_binary64_3526
9×unswap-sqr_binary64_3456
4×cbrt-unprod_binary64_3521 div-exp_binary64_3539 cbrt-undiv_binary64_3522 prod-exp_binary64_3537
3×pow1_binary64_3549
2×div-inv_binary64_3485
1×associate-*l/_binary64_3431 cosh-def_binary64_3674 associate-/r/_binary64_3434 frac-times_binary64_3498 associate-*r/_binary64_3430 pow-prod-down_binary64_3559 add-log-exp_binary64_3527 *-commutative_binary64_3419
Counts
1 → 74
Calls

1 calls:

18.0ms
(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))

series108.0ms (6.7%)

Counts
1 → 3
Calls

1 calls:

108.0ms
(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))

simplify73.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049131102
149131102

prune65.0ms (4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh000
Picked011
Done011
Total77279

Merged error: 0b

Counts
79 → 2
Compiler

Compiled 1075 to 799 computations (25.7% saved)

regimes36.0ms (2.2%)

Compiler

Compiled 195 to 185 computations (5.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01918
11918

end0.0ms (0%)

sample486.0ms (30.2%)

Algorithm
1×intervals
Results
249.0ms8000×body128valid
Compiler

Compiled 75 to 72 computations (4% saved)

Profiling

Loading profile data...