Details

Time bar (total: 1.8s)

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.7%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify306.0ms (16.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (143.0ms)

IterNodesCost
0493613
1493613

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.3%)

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_423
15×times-frac_binary64_429
11×add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
5×associate-/r*_binary64_367
4×2cosh-undef_binary64_619 distribute-lft-out_binary64_374
3×add-exp-log_binary64_461 add-cbrt-cube_binary64_459 associate-/l*_binary64_368
2×associate-/r/_binary64_369
1×flip-+_binary64_397 pow1_binary64_484 clear-num_binary64_422 flip3-+_binary64_426 frac-2neg_binary64_434 add-log-exp_binary64_462 div-inv_binary64_420 cbrt-undiv_binary64_457 div-exp_binary64_474
Counts
1 → 37
Calls

1 calls:

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

series91.0ms (5%)

Counts
1 → 3
Calls

1 calls:

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

simplify97.0ms (5.4%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04863739
14863739

prune43.0ms (2.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh000
Picked101
Done000
Total39241

Merged error: 0b

Counts
41 → 2
Compiler

Compiled 681 to 340 computations (50.1% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 1 (cosh.f64 x))

rewrite5.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64_423 times-frac_binary64_429 add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
5×add-exp-log_binary64_461
3×add-cbrt-cube_binary64_459 associate-/l*_binary64_368 associate-/r*_binary64_367
2×pow1_binary64_484 div-exp_binary64_474
1×rec-exp_binary64_473 1-exp_binary64_467 cosh-def_binary64_609 associate-/r/_binary64_369 clear-num_binary64_422 frac-2neg_binary64_434 pow-flip_binary64_497 add-log-exp_binary64_462 inv-pow_binary64_508 div-inv_binary64_420 cbrt-undiv_binary64_457
Counts
1 → 32
Calls

1 calls:

3.0ms
(/.f64 1 (cosh.f64 x))

series117.0ms (6.4%)

Counts
1 → 3
Calls

1 calls:

117.0ms
(/.f64 1 (cosh.f64 x))

simplify74.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04960355
14960355

prune24.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New34135
Fresh101
Picked011
Done000
Total35237

Merged error: 0b

Counts
37 → 2
Compiler

Compiled 318 to 188 computations (40.9% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 1 (cosh.f64 x))
0.0b
(cbrt.f64 (pow.f64 (/.f64 1 (cosh.f64 x)) 3))
0.0b
(pow.f64 (/.f64 1 (cosh.f64 x)) 3)

rewrite25.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
45×times-frac_binary64_429
41×*-un-lft-identity_binary64_423 add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
34×cbrt-prod_binary64_454
28×cube-prod_binary64_451 unpow-prod-down_binary64_502
12×add-exp-log_binary64_461
8×add-cbrt-cube_binary64_459
6×pow1_binary64_484
5×cosh-def_binary64_609 associate-/r/_binary64_369 div-inv_binary64_420
4×pow-exp_binary64_491 div-exp_binary64_474
3×pow-pow_binary64_495 pow-unpow_binary64_500 add-log-exp_binary64_462 associate-/l*_binary64_368 associate-/r*_binary64_367
2×rec-exp_binary64_473 1-exp_binary64_467 unpow3_binary64_489 pow-flip_binary64_497 inv-pow_binary64_508 cube-mult_binary64_453 rem-cube-cbrt_binary64_446 cbrt-undiv_binary64_457 sqr-pow_binary64_395 cube-div_binary64_452
1×pow-to-exp_binary64_492 cbrt-div_binary64_455 pow1/3_binary64_505 rem-cbrt-cube_binary64_447 clear-num_binary64_422 frac-2neg_binary64_434
Counts
3 → 128
Calls

3 calls:

6.0ms
(pow.f64 (/.f64 1 (cosh.f64 x)) 3)
5.0ms
(cbrt.f64 (pow.f64 (/.f64 1 (cosh.f64 x)) 3))
3.0ms
(/.f64 1 (cosh.f64 x))

series411.0ms (22.6%)

Counts
3 → 9
Calls

3 calls:

190.0ms
(pow.f64 (/.f64 1 (cosh.f64 x)) 3)
116.0ms
(/.f64 1 (cosh.f64 x))
104.0ms
(cbrt.f64 (pow.f64 (/.f64 1 (cosh.f64 x)) 3))

simplify77.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
052721532

prune89.0ms (4.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1370137
Fresh000
Picked011
Done011
Total1372139

Merged error: 0b

Counts
139 → 2
Compiler

Compiled 1405 to 947 computations (32.6% saved)

regimes9.0ms (0.5%)

Compiler

Compiled 13 to 13 computations (0% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
066
166

end0.0ms (0%)

sample405.0ms (22.3%)

Algorithm
1×intervals
Results
248.0ms8000×body128valid
Compiler

Compiled 24 to 24 computations (0% saved)

Profiling

Loading profile data...