Details

Time bar (total: 1.5s)

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

sample12.0ms (0.8%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify176.0ms (11.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
0478313
1478313

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 14 computations (12.5% saved)

localize10.0ms (0.7%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_3829
15×times-frac_binary64_3835
11×add-cube-cbrt_binary64_3864 add-sqr-sqrt_binary64_3851
5×associate-/r*_binary64_3773
4×cosh-undef_binary64_4023 distribute-lft-out_binary64_3780
3×add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 associate-/l*_binary64_3774
2×associate-/r/_binary64_3775
1×flip3-+_binary64_3832 add-log-exp_binary64_3868 div-inv_binary64_3826 div-exp_binary64_3880 flip-+_binary64_3803 clear-num_binary64_3828 pow1_binary64_3890 cbrt-undiv_binary64_3863 frac-2neg_binary64_3840
Counts
1 → 37
Calls

1 calls:

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

series45.0ms (3%)

Counts
1 → 3
Calls

1 calls:

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

simplify97.0ms (6.4%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
04873739
14873739

prune35.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New38240
Fresh000
Picked011
Done000
Total38341
Error
0b
Counts
41 → 3
Compiler

Compiled 593 to 258 computations (56.5% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite22.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_3829
30×times-frac_binary64_3835
22×add-cube-cbrt_binary64_3864 log-pow_binary64_3918 add-sqr-sqrt_binary64_3851
21×exp-prod_binary64_3881
7×cosh-undef_binary64_4023 distribute-lft-out_binary64_3780
5×associate-/r*_binary64_3773
4×add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 associate-/r/_binary64_3775
3×log-prod_binary64_3915 pow1_binary64_3890 associate-/l*_binary64_3774
2×flip3-+_binary64_3832 add-log-exp_binary64_3868 div-inv_binary64_3826 flip-+_binary64_3803
1×div-exp_binary64_3880 rem-log-exp_binary64_3870 clear-num_binary64_3828 cbrt-undiv_binary64_3863 frac-2neg_binary64_3840
Counts
2 → 70
Calls

2 calls:

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

series187.0ms (12.3%)

Counts
2 → 6
Calls

2 calls:

141.0ms
(log.f64 (exp.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
46.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify80.0ms (5.3%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049641290
149641290

prune63.0ms (4.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New76076
Fresh011
Picked011
Done011
Total76379
Error
0b
Counts
79 → 3
Compiler

Compiled 1245 to 567 computations (54.5% saved)

localize8.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 1/2 (*.f64 x x))
0.1b
(*.f64 5/24 (pow.f64 x 4))
12.6b
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))

rewrite21.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_3867 add-sqr-sqrt_binary64_3851
10×add-cbrt-cube_binary64_3865
8×add-log-exp_binary64_3868 pow1_binary64_3890 associate-*r*_binary64_3769
7×add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829
6×prod-exp_binary64_3878 associate-*l*_binary64_3770
4×unswap-sqr_binary64_3797 unpow-prod-down_binary64_3908 cbrt-unprod_binary64_3862
3×pow-prod-down_binary64_3900
2×sqr-pow_binary64_3801 *-commutative_binary64_3760 diff-log_binary64_3921
1×cancel-sign-sub-inv_binary64_3795 flip--_binary64_3804 sum-log_binary64_3920 pow-exp_binary64_3897 flip3--_binary64_3833 pow-to-exp_binary64_3898 sub-neg_binary64_3822 associate--l+_binary64_3766
Counts
3 → 58
Calls

3 calls:

6.0ms
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))
5.0ms
(*.f64 5/24 (pow.f64 x 4))
5.0ms
(*.f64 1/2 (*.f64 x x))

series72.0ms (4.7%)

Counts
3 → 9
Calls

3 calls:

28.0ms
(*.f64 5/24 (pow.f64 x 4))
24.0ms
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))
19.0ms
(*.f64 1/2 (*.f64 x x))

simplify93.0ms (6.1%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04903854
14903854

prune66.0ms (4.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New67067
Fresh000
Picked011
Done022
Total67370
Error
0b
Counts
70 → 3
Compiler

Compiled 1156 to 846 computations (26.8% saved)

regimes52.0ms (3.4%)

Accuracy

Total 0.0b remaining (70.7%)

Threshold costs 0.0b (70.7%)

Compiler

Compiled 289 to 265 computations (8.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
066
166

end0.0ms (0%)

sample462.0ms (30.3%)

Algorithm
1×intervals
Results
229.0ms8000×body128valid
Compiler

Compiled 78 to 74 computations (5.1% saved)

Profiling

Loading profile data...