Details

Time bar (total: 1.7s)

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

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify184.0ms (11%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (88.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.6%)

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_3147
15×times-frac_binary64_3153
11×add-sqr-sqrt_binary64_3169 add-cube-cbrt_binary64_3182
5×associate-/r*_binary64_3091
4×cosh-undef_binary64_3341 distribute-lft-out_binary64_3098
3×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183 associate-/l*_binary64_3092
2×associate-/r/_binary64_3093
1×clear-num_binary64_3146 flip-+_binary64_3121 frac-2neg_binary64_3158 flip3-+_binary64_3150 pow1_binary64_3208 cbrt-undiv_binary64_3181 div-exp_binary64_3198 add-log-exp_binary64_3186 div-inv_binary64_3144
Counts
1 → 37
Calls

1 calls:

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

series70.0ms (4.2%)

Counts
1 → 6
Calls

1 calls:

70.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
Compiler

Compiled 86 to 80 computations (7% saved)

simplify98.0ms (5.9%)

Algorithm
1×egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04951786
14951786

prune36.0ms (2.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New41243
Fresh000
Picked101
Done000
Total42244
Error
0b
Counts
44 → 2
Compiler

Compiled 622 to 288 computations (53.7% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 -2 (-.f64 (/.f64 -1 (exp.f64 x)) (exp.f64 x)))
0.0b
(/.f64 -1 (exp.f64 x))

rewrite20.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
41×add-sqr-sqrt_binary64_3169
31×times-frac_binary64_3153
29×*-un-lft-identity_binary64_3147
21×add-cube-cbrt_binary64_3182
9×associate-/r*_binary64_3091
8×difference-of-squares_binary64_3116
6×add-cbrt-cube_binary64_3183 associate-/l*_binary64_3092
5×add-exp-log_binary64_3185
4×distribute-lft-out--_binary64_3099
2×clear-num_binary64_3146 frac-2neg_binary64_3158 pow1_binary64_3208 cbrt-undiv_binary64_3181 div-exp_binary64_3198 add-log-exp_binary64_3186 associate-/r/_binary64_3093 div-inv_binary64_3144
1×flip--_binary64_3122 flip3--_binary64_3151
Counts
2 → 68
Calls

2 calls:

10.0ms
(/.f64 -2 (-.f64 (/.f64 -1 (exp.f64 x)) (exp.f64 x)))
4.0ms
(/.f64 -1 (exp.f64 x))

series120.0ms (7.2%)

Counts
2 → 12
Calls

2 calls:

90.0ms
(/.f64 -2 (-.f64 (/.f64 -1 (exp.f64 x)) (exp.f64 x)))
30.0ms
(/.f64 -1 (exp.f64 x))
Compiler

Compiled 184 to 168 computations (8.7% saved)

simplify85.0ms (5.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
048541469
148541469

prune67.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New80080
Fresh011
Picked011
Done000
Total80282
Error
0b
Counts
82 → 2
Compiler

Compiled 1297 to 806 computations (37.9% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite37.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
73×add-sqr-sqrt_binary64_3169
66×times-frac_binary64_3153
43×*-un-lft-identity_binary64_3147 add-cube-cbrt_binary64_3182
36×sqrt-prod_binary64_3163
23×associate-*r*_binary64_3087
22×associate-*l*_binary64_3088
16×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
9×unswap-sqr_binary64_3115
6×associate-/l*_binary64_3092
5×cbrt-undiv_binary64_3181 div-exp_binary64_3198
4×pow1_binary64_3208 prod-exp_binary64_3196 cbrt-unprod_binary64_3180
3×associate-/r*_binary64_3091 div-inv_binary64_3144
2×cosh-def_binary64_3333 add-log-exp_binary64_3186 associate-/r/_binary64_3093
1×*-commutative_binary64_3078 frac-times_binary64_3157 clear-num_binary64_3146 pow-prod-down_binary64_3218 associate-*l/_binary64_3090 frac-2neg_binary64_3158 associate-*r/_binary64_3089
Counts
2 → 114
Calls

2 calls:

22.0ms
(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))
4.0ms
(/.f64 (sqrt.f64 2) (cosh.f64 x))

series244.0ms (14.6%)

Counts
2 → 12
Calls

2 calls:

143.0ms
(*.f64 (/.f64 (sqrt.f64 2) 2) (/.f64 (sqrt.f64 2) (cosh.f64 x)))
100.0ms
(/.f64 (sqrt.f64 2) (cosh.f64 x))
Compiler

Compiled 308 to 296 computations (3.9% saved)

simplify81.0ms (4.8%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050181931

prune114.0ms (6.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1260126
Fresh000
Picked011
Done011
Total1262128
Error
0b
Counts
128 → 2
Compiler

Compiled 1898 to 1428 computations (24.8% saved)

regimes45.0ms (2.7%)

Accuracy

Total 0.0b remaining (36.4%)

Threshold costs 0.0b (36.4%)

Compiler

Compiled 190 to 176 computations (7.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01714
11714

end0.0ms (0%)

sample426.0ms (25.5%)

Algorithm
1×intervals
Results
226.0ms8000×body128valid
Compiler

Compiled 56 to 52 computations (7.1% saved)

Profiling

Loading profile data...