Details

Time bar (total: 3.1s)

analyze163.0ms (5.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03020
13020
022
122
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
18.7%81.2%0.1%5
65.6%34.3%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample19.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01910
11910

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.1b
Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (*.f64 x 100) (+.f64 x y))

rewrite36.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×*-un-lft-identity_binary64_22243
6×add-exp-log_binary64_22281 add-cbrt-cube_binary64_22279
4×times-frac_binary64_22249 associate-/r*_binary64_22187
3×add-cube-cbrt_binary64_22278 add-sqr-sqrt_binary64_22265
2×div-exp_binary64_22294 cbrt-undiv_binary64_22277 distribute-lft-out_binary64_22194 associate-/r/_binary64_22189
1×pow1_binary64_22304 prod-exp_binary64_22292 add-log-exp_binary64_22282 cbrt-unprod_binary64_22276 frac-2neg_binary64_22254 clear-num_binary64_22242 div-inv_binary64_22240 flip3-+_binary64_22246 flip-+_binary64_22217 associate-/l*_binary64_22188
Counts
1 → 25
Calls

1 calls:

7.0ms
(/.f64 (*.f64 x 100) (+.f64 x y))
Compiler

Compiled 342 to 168 computations (50.9% saved)

series121.0ms (3.9%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

108.0ms
(/.f64 (*.f64 x 100) (+.f64 x y))
Compiler

Compiled 606 to 493 computations (18.6% saved)

simplify77.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05317555

prune41.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New40343
Fresh000
Picked011
Done000
Total40444
Error
0b
Counts
44 → 4
Compiler

Compiled 476 to 245 computations (48.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x y) 100)
0.2b
(/.f64 x (/.f64 (+.f64 x y) 100))

rewrite145.0ms (4.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
108×times-frac_binary64_22249
92×*-un-lft-identity_binary64_22243
60×add-cube-cbrt_binary64_22278 add-sqr-sqrt_binary64_22265
19×associate-/r*_binary64_22187
16×distribute-lft-out_binary64_22194
9×add-exp-log_binary64_22281 add-cbrt-cube_binary64_22279
7×associate-/l*_binary64_22188
6×div-inv_binary64_22240
4×div-exp_binary64_22294 cbrt-undiv_binary64_22277
2×pow1_binary64_22304 add-log-exp_binary64_22282 frac-2neg_binary64_22254 clear-num_binary64_22242 associate-/l/_binary64_22190
1×associate-/r/_binary64_22189 flip3-+_binary64_22246 flip-+_binary64_22217
Counts
2 → 115
Calls

2 calls:

9.0ms
(/.f64 x (/.f64 (+.f64 x y) 100))
6.0ms
(/.f64 (+.f64 x y) 100)
Compiler

Compiled 1934 to 979 computations (49.4% saved)

series217.0ms (7.1%)

Error
0b
Counts
2 → 30
Calls

2 calls:

119.0ms
(/.f64 x (/.f64 (+.f64 x y) 100))
79.0ms
(/.f64 (+.f64 x y) 100)
Compiler

Compiled 828 to 673 computations (18.7% saved)

simplify97.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049352362
149352362

prune115.0ms (3.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1450145
Fresh022
Picked011
Done011
Total1454149
Error
0b
Counts
149 → 4
Compiler

Compiled 1952 to 902 computations (53.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 100 (+.f64 x y))
0.2b
(*.f64 x (/.f64 100 (+.f64 x y)))

rewrite89.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
34×*-un-lft-identity_binary64_22243
25×add-sqr-sqrt_binary64_22265 times-frac_binary64_22249
20×add-cube-cbrt_binary64_22278
18×associate-*r*_binary64_22183
9×add-exp-log_binary64_22281 add-cbrt-cube_binary64_22279
7×distribute-lft-out_binary64_22194
4×pow1_binary64_22304 associate-/r/_binary64_22189 associate-/r*_binary64_22187
3×associate-*l*_binary64_22184 associate-/l*_binary64_22188
2×div-exp_binary64_22294 prod-exp_binary64_22292 add-log-exp_binary64_22282 cbrt-unprod_binary64_22276 cbrt-undiv_binary64_22277 unswap-sqr_binary64_22211 div-inv_binary64_22240 flip3-+_binary64_22246 flip-+_binary64_22217
1×pow-prod-down_binary64_22314 associate-*r/_binary64_22185 *-commutative_binary64_22174 frac-2neg_binary64_22254 clear-num_binary64_22242
Counts
2 → 70
Calls

2 calls:

15.0ms
(*.f64 x (/.f64 100 (+.f64 x y)))
10.0ms
(/.f64 100 (+.f64 x y))
Compiler

Compiled 1031 to 532 computations (48.4% saved)

series216.0ms (7%)

Error
0b
Counts
2 → 33
Calls

2 calls:

111.0ms
(*.f64 x (/.f64 100 (+.f64 x y)))
77.0ms
(/.f64 100 (+.f64 x y))
Compiler

Compiled 1176 to 955 computations (18.8% saved)

simplify82.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049581295
149581295

prune78.0ms (2.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh011
Picked011
Done022
Total1034107
Error
0b
Counts
107 → 4
Compiler

Compiled 1244 to 631 computations (49.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (+.f64 x y) (*.f64 100 x))
0.4b
(/.f64 1 (/.f64 (+.f64 x y) (*.f64 100 x)))

rewrite105.0ms (3.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
44×times-frac_binary64_22249
33×*-un-lft-identity_binary64_22243
28×add-exp-log_binary64_22281
21×add-cube-cbrt_binary64_22278 add-sqr-sqrt_binary64_22265
16×add-cbrt-cube_binary64_22279
14×div-exp_binary64_22294
9×associate-/r*_binary64_22187
7×cbrt-undiv_binary64_22277 associate-/l*_binary64_22188
6×distribute-lft-out_binary64_22194 div-inv_binary64_22240
4×prod-exp_binary64_22292
3×pow1_binary64_22304 1-exp_binary64_22287 rec-exp_binary64_22293
2×add-log-exp_binary64_22282 cbrt-unprod_binary64_22276 frac-2neg_binary64_22254 clear-num_binary64_22242 associate-/l/_binary64_22190
1×inv-pow_binary64_22328 pow-flip_binary64_22317 associate-/r/_binary64_22189 flip3-+_binary64_22246 flip-+_binary64_22217
Counts
2 → 85
Calls

2 calls:

9.0ms
(/.f64 1 (/.f64 (+.f64 x y) (*.f64 100 x)))
7.0ms
(/.f64 (+.f64 x y) (*.f64 100 x))
Compiler

Compiled 1426 to 828 computations (41.9% saved)

series270.0ms (8.8%)

Error
0b
Counts
2 → 30
Calls

2 calls:

127.0ms
(/.f64 (+.f64 x y) (*.f64 100 x))
108.0ms
(/.f64 1 (/.f64 (+.f64 x y) (*.f64 100 x)))
Compiler

Compiled 828 to 694 computations (16.2% saved)

simplify102.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049311628
149311628

prune73.0ms (2.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1150115
Fresh000
Picked011
Done033
Total1154119
Error
0b
Counts
119 → 4
Compiler

Compiled 1409 to 747 computations (47% saved)

regimes123.0ms (4%)

Accuracy

Total 0.3b remaining (99.5%)

Threshold costs 0.3b (99.5%)

Compiler

Compiled 840 to 617 computations (26.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0910
1910

end0.0ms (0%)

sample872.0ms (28.4%)

Algorithm
1×intervals
Results
249.0ms8000×body128valid
Compiler

Compiled 298 to 222 computations (25.5% saved)

Profiling

Loading profile data...