Details

Time bar (total: 2.5s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
50%12.5%37.5%5
50%6.2%43.8%6
50%3.1%46.9%7
50%1.6%48.5%8
50%0.8%49.2%9
50.4%0.4%49.2%10
50.4%0.2%49.4%11
50.4%0.1%49.5%12
50.4%0%49.6%13
50.4%0%49.6%14
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample52.0ms (2.1%)

Algorithm
1×intervals
Results
29.0ms122×body1024valid
9.0ms69×body512valid
3.0ms36×body256valid
3.0ms11×body2048valid
1.0ms18×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify153.0ms (6.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
0526813

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

7.6b
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
7.6b
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
3×cancel-sign-sub-inv_binary64_2090 add-log-exp_binary64_2163
2×add-cube-cbrt_binary64_2159
1×flip--_binary64_2099 difference-of-squares_binary64_2093 sinh-undef_binary64_2317 flip3--_binary64_2128 distribute-lft-out--_binary64_2076 pow1_binary64_2185 diff-log_binary64_2216 sub-neg_binary64_2117 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
Counts
1 → 17
Calls

2 calls:

6.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series28.0ms (1.1%)

Counts
1 → 6
Calls

1 calls:

28.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify83.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
04836321
14836321

prune22.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New21223
Fresh000
Picked101
Done000
Total22224
Error
0b
Counts
24 → 2
Compiler

Compiled 304 to 155 computations (49% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(sinh.f64 x)
0.0b
(sinh.f64 x)

rewrite2.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
1×pow1_binary64_2185 add-log-exp_binary64_2163 add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146 sinh-def_binary64_2309 add-exp-log_binary64_2162 *-un-lft-identity_binary64_2124 add-cbrt-cube_binary64_2160
Counts
1 → 8
Calls

2 calls:

1.0ms
(sinh.f64 x)
0.0ms
(sinh.f64 x)

series43.0ms (1.7%)

Counts
1 → 6
Calls

1 calls:

42.0ms
(sinh.f64 x)
Compiler

Compiled 106 to 96 computations (9.4% saved)

simplify62.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
05433137

prune11.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New14014
Fresh011
Picked011
Done000
Total14216
Error
0b
Counts
16 → 2
Compiler

Compiled 170 to 123 computations (27.6% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 1/3 (pow.f64 x 3))
0.1b
(*.f64 1/3 (pow.f64 x 3))

rewrite10.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64_2146 associate-*r*_binary64_2064
6×add-exp-log_binary64_2162
5×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
4×unswap-sqr_binary64_2092 unpow-prod-down_binary64_2203 cube-prod_binary64_2152
3×associate-*l*_binary64_2065 prod-exp_binary64_2173 add-cbrt-cube_binary64_2160
2×sqr-pow_binary64_2096
1×unpow3_binary64_2190 cube-mult_binary64_2154 pow-exp_binary64_2192 *-commutative_binary64_2055 pow1_binary64_2185 add-log-exp_binary64_2163 pow-to-exp_binary64_2193 cbrt-unprod_binary64_2157
Counts
1 → 31
Calls

2 calls:

7.0ms
(*.f64 1/3 (pow.f64 x 3))
0.0ms
(*.f64 1/3 (pow.f64 x 3))

series33.0ms (1.3%)

Counts
1 → 3
Calls

1 calls:

33.0ms
(*.f64 1/3 (pow.f64 x 3))
Compiler

Compiled 66 to 54 computations (18.2% saved)

simplify106.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
04936304
14936304

prune29.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh000
Picked011
Done011
Total34236
Error
0b
Counts
36 → 2
Compiler

Compiled 506 to 328 computations (35.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04564
14564

regimes48.0ms (1.9%)

Compiler

Compiled 218 to 199 computations (8.7% saved)

bsearch0.0ms (0%)

regimes11.0ms (0.4%)

Compiler

Compiled 23 to 21 computations (8.7% saved)

bsearch0.0ms (0%)

regimes8.0ms (0.3%)

Compiler

Compiled 10 to 12 computations (-20% saved)

bsearch0.0ms (0%)

regimes7.0ms (0.3%)

Accuracy

Total 0.0b remaining (58.5%)

Threshold costs 0.0b (58.5%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch3.0ms (0.1%)

Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02037
12037

end0.0ms (0%)

sample1.7s (70%)

Algorithm
1×intervals
Results
965.0ms3903×body1024valid
256.0ms1998×body512valid
114.0ms415×body2048valid
78.0ms1012×body256valid
27.0ms672×body128valid
Compiler

Compiled 81 to 73 computations (9.9% saved)

Pareto

0.9469988680261504

Profiling

Loading profile data...