Details

Time bar (total: 3.0s)

analyze4.0ms (0.1%)

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

sample25.0ms (0.9%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify194.0ms (6.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (56.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))

rewrite47.0ms (1.6%)

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

1 calls:

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

Compiled 225 to 141 computations (37.3% saved)

series51.0ms (1.7%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 148 to 139 computations (6.1% saved)

simplify76.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04906266
14906266

prune22.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked011
Done000
Total25227
Error
0.0b
Counts
27 → 2
Compiler

Compiled 253 to 153 computations (39.5% saved)

localize6.0ms (0.2%)

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

rewrite60.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
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×pow-pow_binary64_491 add-log-exp_binary64_458
4×unpow-prod-down_binary64_498 unpow-prod-up_binary64_497
3×cancel-sign-sub-inv_binary64_385 pow1_binary64_480
2×exp-sum_binary64_465 difference-of-squares_binary64_388 distribute-lft-out_binary64_370 add-exp-log_binary64_457 add-cbrt-cube_binary64_455 rem-exp-log_binary64_459
1×sub-neg_binary64_412 difference-of-sqr-1_binary64_389 distribute-lft-out--_binary64_371 pow-sub_binary64_495 pow-to-exp_binary64_488 pow-exp_binary64_487 sqr-pow_binary64_391 sum-log_binary64_510
Counts
2 → 45
Calls

2 calls:

9.0ms
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))
4.0ms
(exp.f64 (+.f64 x 1))
Compiler

Compiled 641 to 504 computations (21.4% saved)

series94.0ms (3.2%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

66.0ms
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))
19.0ms
(exp.f64 (+.f64 x 1))
Compiler

Compiled 332 to 276 computations (16.9% saved)

simplify73.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05448714

prune58.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New56157
Fresh000
Picked101
Done011
Total57259
Error
0.0b
Counts
59 → 2
Compiler

Compiled 701 to 530 computations (24.4% saved)

localize15.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

rewrite133.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
17×*-un-lft-identity_binary64_419
15×add-sqr-sqrt_binary64_441
10×add-cube-cbrt_binary64_454
9×exp-prod_binary64_471
8×associate-*l*_binary64_360
7×unpow-prod-down_binary64_498
6×add-log-exp_binary64_458
5×add-cbrt-cube_binary64_455
4×pow1_binary64_480 add-exp-log_binary64_457 associate-*r*_binary64_359 pow-unpow_binary64_496 pow-pow_binary64_491
3×distribute-lft-out_binary64_370 prod-exp_binary64_468 unswap-sqr_binary64_387 sqr-pow_binary64_391
2×pow-prod-down_binary64_490 pow-to-exp_binary64_488 pow-exp_binary64_487 unpow-prod-up_binary64_497 exp-sum_binary64_465 rem-exp-log_binary64_459
1×cbrt-unprod_binary64_452 *-commutative_binary64_350 sum-log_binary64_510
Counts
3 → 65
Calls

3 calls:

21.0ms
(*.f64 (pow.f64 (exp.f64 x) (+.f64 -1 x)) (exp.f64 (+.f64 -1 x)))
8.0ms
(pow.f64 (exp.f64 x) (+.f64 -1 x))
4.0ms
(exp.f64 (+.f64 -1 x))
Compiler

Compiled 1145 to 766 computations (33.1% saved)

series158.0ms (5.3%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

81.0ms
(*.f64 (pow.f64 (exp.f64 x) (+.f64 -1 x)) (exp.f64 (+.f64 -1 x)))
32.0ms
(pow.f64 (exp.f64 x) (+.f64 -1 x))
28.0ms
(exp.f64 (+.f64 -1 x))
Compiler

Compiled 586 to 487 computations (16.9% saved)

simplify69.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049451022
149451022

prune88.0ms (2.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New82183
Fresh000
Picked101
Done011
Total83285
Error
0.0b
Counts
85 → 2
Compiler

Compiled 1206 to 801 computations (33.6% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite133.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×*-un-lft-identity_binary64_419
12×add-sqr-sqrt_binary64_441
11×associate-*l*_binary64_360
10×prod-exp_binary64_468 add-cbrt-cube_binary64_455 add-cube-cbrt_binary64_454
8×add-exp-log_binary64_457
7×exp-prod_binary64_471
6×pow1_binary64_480 unpow-prod-down_binary64_498
4×cbrt-unprod_binary64_452 associate-*r*_binary64_359 pow-unpow_binary64_496 pow-pow_binary64_491
3×pow-to-exp_binary64_488 pow-exp_binary64_487 add-log-exp_binary64_458
2×pow-prod-up_binary64_489 pow-prod-down_binary64_490 unpow-prod-up_binary64_497 sqr-pow_binary64_391 *-commutative_binary64_350
1×distribute-lft-out_binary64_370 unswap-sqr_binary64_387
Counts
3 → 67
Calls

3 calls:

11.0ms
(*.f64 (pow.f64 (exp.f64 x) (+.f64 -1 x)) (*.f64 (exp.f64 -1) (exp.f64 x)))
10.0ms
(*.f64 (exp.f64 -1) (exp.f64 x))
8.0ms
(pow.f64 (exp.f64 x) (+.f64 -1 x))
Compiler

Compiled 1239 to 769 computations (37.9% saved)

series218.0ms (7.3%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

101.0ms
(*.f64 (pow.f64 (exp.f64 x) (+.f64 -1 x)) (*.f64 (exp.f64 -1) (exp.f64 x)))
48.0ms
(*.f64 (exp.f64 -1) (exp.f64 x))
46.0ms
(pow.f64 (exp.f64 x) (+.f64 -1 x))
Compiler

Compiled 612 to 491 computations (19.8% saved)

simplify94.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
05101933

prune108.0ms (3.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New84185
Fresh000
Picked101
Done011
Total85287
Error
0b
Counts
87 → 2
Compiler

Compiled 1198 to 741 computations (38.1% saved)

regimes226.0ms (7.6%)

Accuracy

Total 0.0b remaining (90.7%)

Threshold costs 0.0b (90.7%)

Compiler

Compiled 1696 to 1296 computations (23.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01017
11017

end0.0ms (0%)

sample1000.0ms (33.6%)

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

Compiled 327 to 250 computations (23.5% saved)

Profiling

Loading profile data...