Details

Time bar (total: 4.3s)

analyze356.0ms (8.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
37.5%50%12.6%7
37.5%50%12.6%8
43.7%37.5%18.8%9
43.7%37.5%18.8%10
46.8%31.2%22%11
46.8%31.2%22%12
48.4%28.1%23.5%13
48.4%28.1%23.5%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample66.0ms (1.5%)

Algorithm
1×intervals
Results
17.0ms78×body1024invalid
17.0ms72×body1024valid
7.0ms137×body128valid
4.0ms31×body512valid
4.0ms28×body512invalid
2.0ms22×body256invalid
2.0ms32×body128invalid
2.0ms16×body256valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify230.0ms (5.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0486511
1486511

prune3.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 14 to 12 computations (14.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (sinh.f64 y) y)
0.0b
(sinh.f64 y)

rewrite8.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_2457 add-cube-cbrt_binary64_2468 *-un-lft-identity_binary64_2436
9×times-frac_binary64_2442
4×add-exp-log_binary64_2471 add-cbrt-cube_binary64_2469
3×associate-/l*_binary64_2383 associate-/r*_binary64_2382
2×sinh-def_binary64_2618 add-log-exp_binary64_2472 pow1_binary64_2494
1×cbrt-undiv_binary64_2467 div-inv_binary64_2433 div-exp_binary64_2484 clear-num_binary64_2435 frac-2neg_binary64_2447 associate-/l/_binary64_2385
Counts
2 → 36
Calls

2 calls:

4.0ms
(/.f64 (sinh.f64 y) y)
2.0ms
(sinh.f64 y)

series187.0ms (4.4%)

Counts
2 → 6
Calls

2 calls:

113.0ms
(/.f64 (sinh.f64 y) y)
74.0ms
(sinh.f64 y)

simplify46.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05508438

prune32.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New40242
Fresh000
Picked101
Done000
Total41243

Merged error: 0b

Counts
43 → 2
Compiler

Compiled 520 to 177 computations (66% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 1 (/.f64 y (sinh.f64 y)))
0.0b
(sinh.f64 y)
0.0b
(/.f64 y (sinh.f64 y))

rewrite23.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
87×times-frac_binary64_2442
54×add-sqr-sqrt_binary64_2457 add-cube-cbrt_binary64_2468 *-un-lft-identity_binary64_2436
17×associate-/r*_binary64_2382
16×add-exp-log_binary64_2471
10×add-cbrt-cube_binary64_2469
8×div-exp_binary64_2484
6×div-inv_binary64_2433 sinh-def_binary64_2618 associate-/l*_binary64_2383 associate-/r/_binary64_2384
4×cbrt-undiv_binary64_2467 pow1_binary64_2494
3×add-log-exp_binary64_2472
2×rec-exp_binary64_2483 1-exp_binary64_2477 clear-num_binary64_2435 frac-2neg_binary64_2447
1×inv-pow_binary64_2518 pow-flip_binary64_2507
Counts
3 → 116
Calls

3 calls:

7.0ms
(/.f64 1 (/.f64 y (sinh.f64 y)))
4.0ms
(/.f64 y (sinh.f64 y))
1.0ms
(sinh.f64 y)

series385.0ms (9%)

Counts
3 → 9
Calls

3 calls:

195.0ms
(/.f64 y (sinh.f64 y))
117.0ms
(/.f64 1 (/.f64 y (sinh.f64 y)))
72.0ms
(sinh.f64 y)

simplify70.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
057111811

prune90.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1250125
Fresh011
Picked011
Done000
Total1252127

Merged error: 0b

Counts
127 → 2
Compiler

Compiled 1871 to 638 computations (65.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (cbrt.f64 (pow.f64 (sinh.f64 y) 3)) y)
0.0b
(sinh.f64 y)
0.0b
(pow.f64 (sinh.f64 y) 3)
41.0b
(cbrt.f64 (pow.f64 (sinh.f64 y) 3))

rewrite27.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
60×cbrt-prod_binary64_2464
45×times-frac_binary64_2442
42×add-sqr-sqrt_binary64_2457 add-cube-cbrt_binary64_2468 *-un-lft-identity_binary64_2436
18×unpow-prod-down_binary64_2512 cube-prod_binary64_2461
15×associate-/l*_binary64_2383
7×add-exp-log_binary64_2471
6×cube-mult_binary64_2463 add-cbrt-cube_binary64_2469 unpow3_binary64_2499 sqr-pow_binary64_2408
5×pow1_binary64_2494
4×sinh-def_binary64_2618 add-log-exp_binary64_2472
3×pow-unpow_binary64_2510 associate-/r*_binary64_2382 cube-div_binary64_2462
2×cbrt-div_binary64_2465
1×pow1/3_binary64_2515 cbrt-undiv_binary64_2467 div-inv_binary64_2433 rem-cube-cbrt_binary64_2458 rem-cbrt-cube_binary64_2459 div-exp_binary64_2484 pow-to-exp_binary64_2502 clear-num_binary64_2435 pow-exp_binary64_2501 pow-pow_binary64_2505 frac-2neg_binary64_2447 associate-/l/_binary64_2385
Counts
4 → 130
Calls

4 calls:

8.0ms
(/.f64 (cbrt.f64 (pow.f64 (sinh.f64 y) 3)) y)
3.0ms
(pow.f64 (sinh.f64 y) 3)
3.0ms
(cbrt.f64 (pow.f64 (sinh.f64 y) 3))
1.0ms
(sinh.f64 y)

series428.0ms (10%)

Counts
4 → 12
Calls

4 calls:

159.0ms
(pow.f64 (sinh.f64 y) 3)
113.0ms
(/.f64 (cbrt.f64 (pow.f64 (sinh.f64 y) 3)) y)
81.0ms
(cbrt.f64 (pow.f64 (sinh.f64 y) 3))
75.0ms
(sinh.f64 y)

simplify75.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
051661766

prune102.0ms (2.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh000
Picked011
Done011
Total1422144

Merged error: 0b

Counts
144 → 2
Compiler

Compiled 2030 to 801 computations (60.5% saved)

regimes68.0ms (1.6%)

Compiler

Compiled 360 to 272 computations (24.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01114
11114

end0.0ms (0%)

sample2.1s (48%)

Algorithm
1×intervals
Results
495.0ms2002×body1024valid
469.0ms2005×body1024invalid
214.0ms4496×body128valid
156.0ms1022×body512valid
150.0ms1035×body512invalid
54.0ms552×body256invalid
46.0ms475×body256valid
45.0ms742×body128invalid
4.0ms5×body2048valid
Compiler

Compiled 76 to 60 computations (21.1% saved)

Profiling

Loading profile data...