Details

Time bar (total: 2.3s)

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 (1%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify272.0ms (11.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (121.0ms)

IterNodesCost
0478313
1478313

prune4.0ms (0.2%)

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)

localize11.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

rewrite18.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_1442
15×times-frac_binary64_1448
11×add-sqr-sqrt_binary64_1464 add-cube-cbrt_binary64_1477
5×associate-/r*_binary64_1386
4×cosh-undef_binary64_1636 distribute-lft-out_binary64_1393
3×add-cbrt-cube_binary64_1478 associate-/l*_binary64_1387 add-exp-log_binary64_1480
2×associate-/r/_binary64_1388
1×cbrt-undiv_binary64_1476 div-inv_binary64_1439 clear-num_binary64_1441 add-log-exp_binary64_1481 frac-2neg_binary64_1453 flip3-+_binary64_1445 flip-+_binary64_1416 pow1_binary64_1503 div-exp_binary64_1493
Counts
1 → 37
Calls

1 calls:

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

series49.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

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

simplify170.0ms (7.3%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (153.0ms)

IterNodesCost
04873739
14873739

prune43.0ms (1.8%)

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)

localize14.0ms (0.6%)

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

rewrite30.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_1442
30×times-frac_binary64_1448
22×log-pow_binary64_1531 add-sqr-sqrt_binary64_1464 add-cube-cbrt_binary64_1477
21×exp-prod_binary64_1494
7×cosh-undef_binary64_1636 distribute-lft-out_binary64_1393
5×associate-/r*_binary64_1386
4×add-cbrt-cube_binary64_1478 associate-/r/_binary64_1388 add-exp-log_binary64_1480
3×log-prod_binary64_1528 associate-/l*_binary64_1387 pow1_binary64_1503
2×div-inv_binary64_1439 add-log-exp_binary64_1481 flip3-+_binary64_1445 flip-+_binary64_1416
1×cbrt-undiv_binary64_1476 clear-num_binary64_1441 rem-log-exp_binary64_1483 frac-2neg_binary64_1453 div-exp_binary64_1493
Counts
2 → 70
Calls

2 calls:

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

series288.0ms (12.3%)

Counts
2 → 6
Calls

2 calls:

222.0ms
(log.f64 (exp.f64 (/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
66.0ms
(/.f64 2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

simplify95.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049641290
149641290

prune69.0ms (3%)

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)

localize19.0ms (0.8%)

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

rewrite26.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464
10×add-cbrt-cube_binary64_1478
8×associate-*r*_binary64_1382 add-log-exp_binary64_1481 pow1_binary64_1503
7×add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
6×associate-*l*_binary64_1383 prod-exp_binary64_1491
4×cbrt-unprod_binary64_1475 unpow-prod-down_binary64_1521 unswap-sqr_binary64_1410
3×pow-prod-down_binary64_1513
2×*-commutative_binary64_1373 diff-log_binary64_1534 sqr-pow_binary64_1414
1×associate--l+_binary64_1379 cancel-sign-sub-inv_binary64_1408 sum-log_binary64_1533 pow-exp_binary64_1510 sub-neg_binary64_1435 flip3--_binary64_1446 flip--_binary64_1417 pow-to-exp_binary64_1511
Counts
3 → 58
Calls

3 calls:

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

series87.0ms (3.7%)

Counts
3 → 9
Calls

3 calls:

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

simplify143.0ms (6.1%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (125.0ms)

IterNodesCost
04903854
14903854

prune94.0ms (4%)

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)

regimes75.0ms (3.2%)

Accuracy

Total 0.0b remaining (71.3%)

Threshold costs 0.0b (71.3%)

Compiler

Compiled 225 to 209 computations (7.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01613
11613

end0.0ms (0%)

sample799.0ms (34.2%)

Algorithm
1×intervals
Results
386.0ms8000×body128valid
Compiler

Compiled 82 to 77 computations (6.1% saved)

Profiling

Loading profile data...