Details

Time bar (total: 3.2s)

analyze264.0ms (8.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
050379
011
111
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%0.4%49.6%10
50.2%0.2%49.6%11
50.2%0.1%49.7%12
50.2%0%49.8%13
50.2%0%49.8%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample23.0ms (0.7%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify106.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
050379

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 12 to 10 computations (16.7% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite14.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×exp-prod_binary64_471
4×*-un-lft-identity_binary64_419 add-log-exp_binary64_458 add-sqr-sqrt_binary64_441 exp-sum_binary64_465
3×add-cube-cbrt_binary64_454 cancel-sign-sub-inv_binary64_385
2×difference-of-squares_binary64_388 rem-exp-log_binary64_459
1×sub-neg_binary64_412 exp-diff_binary64_467 difference-of-sqr-1_binary64_389 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 diff-log_binary64_511 pow1_binary64_480
Counts
1 → 20
Calls

1 calls:

12.0ms
(exp.f64 (-.f64 (*.f64 x x) 1))

series37.0ms (1.2%)

Counts
1 → 4
Calls

1 calls:

37.0ms
(exp.f64 (-.f64 (*.f64 x x) 1))
Compiler

Compiled 53 to 53 computations (0% saved)

simplify97.0ms (3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
04924216
14924216

prune33.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New22224
Fresh000
Picked101
Done000
Total23225
Error
0.0b
Counts
25 → 2
Compiler

Compiled 227 to 136 computations (40.1% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

rewrite13.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×pow-unpow_binary64_496
5×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
4×add-cube-cbrt_binary64_454 unpow-prod-up_binary64_497
3×unpow-prod-down_binary64_498 cancel-sign-sub-inv_binary64_385
2×difference-of-squares_binary64_388 pow-exp_binary64_487 add-exp-log_binary64_457 pow1_binary64_480
1×sub-neg_binary64_412 add-log-exp_binary64_458 pow-sub_binary64_495 difference-of-sqr-1_binary64_389 sqr-pow_binary64_391 pow-to-exp_binary64_488 e-exp-1_binary64_464 add-cbrt-cube_binary64_455 pow-pow_binary64_491
Counts
1 → 26
Calls

1 calls:

10.0ms
(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

series36.0ms (1.1%)

Counts
1 → 4
Calls

1 calls:

36.0ms
(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
Compiler

Compiled 53 to 53 computations (0% saved)

simplify159.0ms (5%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (139.0ms)

IterNodesCost
04799338
14799338

prune34.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New30030
Fresh011
Picked011
Done000
Total30232
Error
0.0b
Counts
32 → 2
Compiler

Compiled 296 to 167 computations (43.6% saved)

localize12.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b
(exp.f64 (+.f64 x 1))
0.0b
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))

rewrite30.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
14×*-un-lft-identity_binary64_419
11×add-sqr-sqrt_binary64_441
8×exp-prod_binary64_471
7×add-cube-cbrt_binary64_454 pow-unpow_binary64_496
5×add-log-exp_binary64_458 pow-pow_binary64_491
4×unpow-prod-down_binary64_498 unpow-prod-up_binary64_497
3×cancel-sign-sub-inv_binary64_385 pow1_binary64_480
2×difference-of-squares_binary64_388 distribute-lft-out_binary64_370 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 exp-sum_binary64_465 rem-exp-log_binary64_459
1×sub-neg_binary64_412 pow-sub_binary64_495 difference-of-sqr-1_binary64_389 pow-exp_binary64_487 sqr-pow_binary64_391 sum-log_binary64_510 distribute-lft-out--_binary64_371 pow-to-exp_binary64_488
Counts
2 → 45
Calls

2 calls:

16.0ms
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))
8.0ms
(exp.f64 (+.f64 x 1))

series72.0ms (2.2%)

Counts
2 → 10
Calls

2 calls:

49.0ms
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))
23.0ms
(exp.f64 (+.f64 x 1))
Compiler

Compiled 157 to 137 computations (12.7% saved)

simplify89.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04885663
14885663

prune75.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New54155
Fresh000
Picked101
Done011
Total55257
Error
0.0b
Counts
57 → 2
Compiler

Compiled 667 to 501 computations (24.9% saved)

localize19.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (-.f64 x 1))
0.0b
(pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1))
1.0b
(pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3)
1.6b
(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3))

rewrite73.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Rules
59×unpow-prod-down_binary64_498
32×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
30×cbrt-prod_binary64_450
24×add-cube-cbrt_binary64_454 cube-prod_binary64_447 exp-sum_binary64_465
18×cancel-sign-sub-inv_binary64_385
14×exp-prod_binary64_471
9×pow-pow_binary64_491
7×add-log-exp_binary64_458 sqr-pow_binary64_391 pow-unpow_binary64_496
6×sub-neg_binary64_412
5×unpow-prod-up_binary64_497 pow-exp_binary64_487 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
4×difference-of-squares_binary64_388
3×pow-to-exp_binary64_488
2×unpow3_binary64_485 difference-of-sqr-1_binary64_389 cube-mult_binary64_449 distribute-lft-out--_binary64_371 rem-exp-log_binary64_459
1×pow1/3_binary64_501 exp-diff_binary64_467 rem-cube-cbrt_binary64_442 distribute-lft-out_binary64_370 rem-cbrt-cube_binary64_443 diff-log_binary64_511
Counts
4 → 133
Calls

4 calls:

16.0ms
(pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1))
15.0ms
(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3))
15.0ms
(pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3)
9.0ms
(exp.f64 (-.f64 x 1))

series243.0ms (7.6%)

Counts
4 → 15
Calls

4 calls:

132.0ms
(pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3)
41.0ms
(pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1))
35.0ms
(exp.f64 (-.f64 x 1))
34.0ms
(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (-.f64 x 1)) (+.f64 x 1)) 3))
Compiler

Compiled 352 to 330 computations (6.3% saved)

simplify155.0ms (4.8%)

Algorithm
1×egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
049232411
149232411

prune257.0ms (8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1471148
Fresh000
Picked101
Done011
Total1482150
Error
0b
Counts
150 → 2
Compiler

Compiled 2283 to 1825 computations (20.1% saved)

regimes378.0ms (11.8%)

Accuracy

Total 0.0b remaining (82.9%)

Threshold costs 0.0b (82.9%)

Compiler

Compiled 527 to 453 computations (14% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01811
11811

end0.0ms (0%)

sample968.0ms (30.1%)

Algorithm
1×intervals
Results
456.0ms8000×body128valid
0.0ms6×body128invalid
Compiler

Compiled 99 to 86 computations (13.1% saved)

Profiling

Loading profile data...