Details

Time bar (total: 2.0s)

analyze153.0ms (7.7%)

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)

sample15.0ms (0.7%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify59.0ms (3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050379

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

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite21.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×exp-prod_binary64_130
4×add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78 exp-sum_binary64_124 add-log-exp_binary64_117
3×add-cube-cbrt_binary64_113 cancel-sign-sub-inv_binary64_44
2×difference-of-squares_binary64_47 rem-exp-log_binary64_118
1×pow1_binary64_139 difference-of-sqr-1_binary64_48 exp-diff_binary64_126 sub-neg_binary64_71 diff-log_binary64_170 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
Counts
1 → 20
Calls

1 calls:

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

Compiled 225 to 141 computations (37.3% saved)

series32.0ms (1.6%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 148 to 139 computations (6.1% saved)

simplify73.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04906266
14906266

prune20.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New24226
Fresh000
Picked101
Done000
Total25227
Error
0.0b
Counts
27 → 2
Compiler

Compiled 259 to 158 computations (39% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (exp.f64 (*.f64 x x)) E.f64)
0.0b
(exp.f64 (*.f64 x x))

rewrite29.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
9×times-frac_binary64_84
4×add-log-exp_binary64_117 add-cbrt-cube_binary64_114
3×add-exp-log_binary64_116 associate-/l*_binary64_23 associate-/r*_binary64_22
2×pow1_binary64_139 div-exp_binary64_129
1×exp-to-pow_binary64_140 exp-prod_binary64_130 rem-exp-log_binary64_118 e-exp-1_binary64_123 cbrt-undiv_binary64_112 frac-2neg_binary64_89 clear-num_binary64_77 div-inv_binary64_75
Counts
2 → 38
Calls

2 calls:

4.0ms
(/.f64 (exp.f64 (*.f64 x x)) E.f64)
2.0ms
(exp.f64 (*.f64 x x))
Compiler

Compiled 478 to 112 computations (76.6% saved)

series55.0ms (2.8%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

32.0ms
(/.f64 (exp.f64 (*.f64 x x)) E.f64)
15.0ms
(exp.f64 (*.f64 x x))
Compiler

Compiled 264 to 222 computations (15.9% saved)

simplify52.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04994680
14994680

prune32.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New49150
Fresh011
Picked011
Done000
Total49352
Error
0.0b
Counts
52 → 3
Compiler

Compiled 564 to 211 computations (62.6% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite66.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
15×times-frac_binary64_84
14×add-cube-cbrt_binary64_113
10×exp-prod_binary64_130 exp-sum_binary64_124
6×pow-flip_binary64_152
5×sub-neg_binary64_71 cancel-sign-sub-inv_binary64_44 add-log-exp_binary64_117 associate-/r*_binary64_22
4×difference-of-squares_binary64_47 add-cbrt-cube_binary64_114
3×pow1_binary64_139 add-exp-log_binary64_116 associate-/l*_binary64_23
2×exp-diff_binary64_126 rem-exp-log_binary64_118 div-exp_binary64_129
1×diff-log_binary64_170 inv-pow_binary64_163 1-exp_binary64_122 rec-exp_binary64_128 cbrt-undiv_binary64_112 frac-2neg_binary64_89 clear-num_binary64_77 div-inv_binary64_75 associate-/r/_binary64_24
Counts
2 → 62
Calls

2 calls:

7.0ms
(/.f64 1 (exp.f64 (-.f64 1 (*.f64 x x))))
4.0ms
(exp.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 900 to 613 computations (31.9% saved)

series76.0ms (3.8%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

45.0ms
(/.f64 1 (exp.f64 (-.f64 1 (*.f64 x x))))
20.0ms
(exp.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 312 to 262 computations (16% saved)

simplify80.0ms (4%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04898961
14898961

prune54.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New74074
Fresh011
Picked011
Done011
Total74377
Error
0.0b
Counts
77 → 3
Compiler

Compiled 890 to 572 computations (35.7% saved)

localize6.0ms (0.3%)

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

rewrite57.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×*-un-lft-identity_binary64_78
11×add-sqr-sqrt_binary64_100
8×exp-prod_binary64_130
7×add-cube-cbrt_binary64_113 pow-unpow_binary64_155
5×pow-pow_binary64_150 add-log-exp_binary64_117
4×unpow-prod-down_binary64_157 unpow-prod-up_binary64_156
3×cancel-sign-sub-inv_binary64_44 pow1_binary64_139
2×exp-sum_binary64_124 difference-of-squares_binary64_47 distribute-lft-out_binary64_29 add-exp-log_binary64_116 add-cbrt-cube_binary64_114 rem-exp-log_binary64_118
1×sub-neg_binary64_71 difference-of-sqr-1_binary64_48 distribute-lft-out--_binary64_30 pow-sub_binary64_154 pow-to-exp_binary64_147 pow-exp_binary64_146 sqr-pow_binary64_50 sum-log_binary64_169
Counts
2 → 45
Calls

2 calls:

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

series82.0ms (4.1%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

44.0ms
(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))
22.0ms
(exp.f64 (+.f64 x 1))
Compiler

Compiled 332 to 276 computations (16.9% saved)

simplify74.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
05448714

prune181.0ms (9.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New56157
Fresh000
Picked101
Done022
Total57360
Error
0.0b
Counts
60 → 3
Compiler

Compiled 690 to 521 computations (24.5% saved)

regimes160.0ms (8.1%)

Accuracy

Total 0.0b remaining (77.3%)

Threshold costs 0.0b (77.3%)

Compiler

Compiled 622 to 514 computations (17.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02117
12117

end0.0ms (0%)

sample590.0ms (29.6%)

Algorithm
1×intervals
Results
233.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 108 to 90 computations (16.7% saved)

Profiling

Loading profile data...