Details

Time bar (total: 3.5s)

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

sample23.0ms (0.6%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify559.0ms (15.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (253.0ms)

IterNodesCost
0493613
1493613

prune9.0ms (0.3%)

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)

localize12.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite18.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_1088
15×times-frac_binary64_1094
11×add-sqr-sqrt_binary64_1109 add-cube-cbrt_binary64_1120
5×associate-/r*_binary64_1034
4×cosh-undef_binary64_1279 distribute-lft-out_binary64_1041
3×add-cbrt-cube_binary64_1121 add-exp-log_binary64_1123 associate-/l*_binary64_1035
2×associate-/r/_binary64_1036
1×clear-num_binary64_1087 frac-2neg_binary64_1099 div-exp_binary64_1136 flip-+_binary64_1062 cbrt-undiv_binary64_1119 add-log-exp_binary64_1124 pow1_binary64_1146 flip3-+_binary64_1091 div-inv_binary64_1085
Counts
1 → 37
Calls

1 calls:

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

series161.0ms (4.6%)

Counts
1 → 3
Calls

1 calls:

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

simplify135.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
04854739
14854739

prune70.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 594 to 259 computations (56.4% saved)

localize17.0ms (0.5%)

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
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
0.0b
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))

rewrite91.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
83×*-un-lft-identity_binary64_1088
75×times-frac_binary64_1094
51×add-sqr-sqrt_binary64_1109 add-cube-cbrt_binary64_1120
48×cbrt-prod_binary64_1116
42×cube-prod_binary64_1113 unpow-prod-down_binary64_1164
16×cosh-undef_binary64_1279 distribute-lft-out_binary64_1041
10×associate-/r/_binary64_1036
8×add-cbrt-cube_binary64_1121 add-exp-log_binary64_1123
5×associate-/r*_binary64_1034 flip-+_binary64_1062 flip3-+_binary64_1091 div-inv_binary64_1085
4×pow1_binary64_1146
3×add-log-exp_binary64_1124 pow-unpow_binary64_1162 associate-/l*_binary64_1035
2×unpow3_binary64_1151 rem-cube-cbrt_binary64_1110 sqr-pow_binary64_1060 cube-div_binary64_1114 cube-mult_binary64_1115 div-exp_binary64_1136 pow-exp_binary64_1153 cbrt-undiv_binary64_1119
1×clear-num_binary64_1087 frac-2neg_binary64_1099 cbrt-div_binary64_1117 rem-cbrt-cube_binary64_1111 pow-pow_binary64_1157 pow-to-exp_binary64_1154 pow1/3_binary64_1167
Counts
3 → 157
Calls

3 calls:

23.0ms
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))
21.0ms
(pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3)
15.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

series645.0ms (18.3%)

Counts
3 → 9
Calls

3 calls:

320.0ms
(pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3)
180.0ms
(cbrt.f64 (pow.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 3))
145.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify120.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
053573351

prune266.0ms (7.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1660166
Fresh011
Picked011
Done000
Total1662168

Merged error: 0b

Counts
168 → 2
Compiler

Compiled 2656 to 1367 computations (48.5% saved)

localize23.0ms (0.6%)

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))
13.6b
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))

rewrite46.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_1109 add-exp-log_binary64_1123
10×add-cbrt-cube_binary64_1121
8×associate-*r*_binary64_1030 add-log-exp_binary64_1124 pow1_binary64_1146
7×*-un-lft-identity_binary64_1088 add-cube-cbrt_binary64_1120
6×associate-*l*_binary64_1031 prod-exp_binary64_1134
4×unpow-prod-down_binary64_1164 unswap-sqr_binary64_1056 cbrt-unprod_binary64_1118
3×pow-prod-down_binary64_1156
2×*-commutative_binary64_1021 sqr-pow_binary64_1060 diff-log_binary64_1177
1×flip3--_binary64_1092 sub-neg_binary64_1081 associate--l+_binary64_1027 sum-log_binary64_1176 flip--_binary64_1063 pow-exp_binary64_1153 pow-to-exp_binary64_1154
Counts
3 → 57
Calls

3 calls:

14.0ms
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))
12.0ms
(*.f64 5/24 (pow.f64 x 4))
11.0ms
(*.f64 1/2 (*.f64 x x))

series235.0ms (6.7%)

Counts
3 → 9
Calls

3 calls:

82.0ms
(*.f64 5/24 (pow.f64 x 4))
80.0ms
(-.f64 (+.f64 1 (*.f64 5/24 (pow.f64 x 4))) (*.f64 1/2 (*.f64 x x)))
73.0ms
(*.f64 1/2 (*.f64 x x))

simplify119.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
05245841

prune113.0ms (3.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New66066
Fresh000
Picked011
Done011
Total66268

Merged error: 0b

Counts
68 → 2
Compiler

Compiled 1139 to 833 computations (26.9% saved)

regimes49.0ms (1.4%)

Compiler

Compiled 102 to 89 computations (12.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01918
11918

end0.0ms (0%)

sample813.0ms (23%)

Algorithm
1×intervals
Results
476.0ms8000×body128valid
Compiler

Compiled 44 to 40 computations (9.1% saved)

Profiling

Loading profile data...