Details

Time bar (total: 3.0s)

analyze64.0ms (2.1%)

Algorithm
1×search
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
25%74.9%0.1%5
37.5%62.4%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample13.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify103.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02010
12010

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

9.4b
(/.f64 (*.f64 x y) (+.f64 y 1))
9.4b
(/.f64 (*.f64 x y) (+.f64 y 1))

rewrite8.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64_19174
6×add-cbrt-cube_binary64_19210 add-exp-log_binary64_19212
4×associate-/r*_binary64_19118 times-frac_binary64_19180
3×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196
2×distribute-lft-out_binary64_19125 associate-/r/_binary64_19120 div-exp_binary64_19225 cbrt-undiv_binary64_19208
1×prod-exp_binary64_19223 frac-2neg_binary64_19185 div-inv_binary64_19171 associate-/l*_binary64_19119 add-log-exp_binary64_19213 cbrt-unprod_binary64_19207 flip3-+_binary64_19177 pow1_binary64_19235 clear-num_binary64_19173 flip-+_binary64_19148
Counts
1 → 25
Calls

2 calls:

7.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))
0.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))

series81.0ms (2.7%)

Counts
1 → 15
Calls

1 calls:

81.0ms
(/.f64 (*.f64 x y) (+.f64 y 1))
Compiler

Compiled 158 to 124 computations (21.5% saved)

simplify62.0ms (2%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05165483

prune45.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New37340
Fresh000
Picked101
Done000
Total38341
Error
0b
Counts
41 → 3
Compiler

Compiled 444 to 238 computations (46.4% saved)

localize5.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (/.f64 y (+.f64 y 1)))
0.0b
(/.f64 y (+.f64 y 1))
0.0b
(/.f64 y (+.f64 y 1))
0.0b
(*.f64 x (/.f64 y (+.f64 y 1)))

rewrite20.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
34×*-un-lft-identity_binary64_19174
25×times-frac_binary64_19180 add-sqr-sqrt_binary64_19196
20×add-cube-cbrt_binary64_19209
18×associate-*r*_binary64_19114
9×add-cbrt-cube_binary64_19210 add-exp-log_binary64_19212
7×distribute-lft-out_binary64_19125
4×associate-/r/_binary64_19120 associate-/r*_binary64_19118 pow1_binary64_19235
3×associate-/l*_binary64_19119 associate-*l*_binary64_19115
2×prod-exp_binary64_19223 div-inv_binary64_19171 add-log-exp_binary64_19213 cbrt-unprod_binary64_19207 flip3-+_binary64_19177 div-exp_binary64_19225 flip-+_binary64_19148 unswap-sqr_binary64_19142 cbrt-undiv_binary64_19208
1×frac-2neg_binary64_19185 associate-*r/_binary64_19116 *-commutative_binary64_19105 pow-prod-down_binary64_19245 clear-num_binary64_19173
Counts
2 → 70
Calls

4 calls:

10.0ms
(*.f64 x (/.f64 y (+.f64 y 1)))
5.0ms
(/.f64 y (+.f64 y 1))
0.0ms
(/.f64 y (+.f64 y 1))
0.0ms
(*.f64 x (/.f64 y (+.f64 y 1)))

series110.0ms (3.6%)

Counts
2 → 27
Calls

2 calls:

78.0ms
(*.f64 x (/.f64 y (+.f64 y 1)))
32.0ms
(/.f64 y (+.f64 y 1))
Compiler

Compiled 278 to 234 computations (15.8% saved)

simplify87.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049491193
149491193

prune63.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New97097
Fresh022
Picked011
Done000
Total973100
Error
0b
Counts
100 → 3
Compiler

Compiled 1187 to 691 computations (41.8% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.6b
(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))
0.1b
(/.f64 x (+.f64 y (/.f64 -1 y)))
0.1b
(/.f64 x (+.f64 y (/.f64 -1 y)))
7.6b
(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))

rewrite36.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
39×*-un-lft-identity_binary64_19174
31×add-sqr-sqrt_binary64_19196
25×times-frac_binary64_19180
22×add-cube-cbrt_binary64_19209
18×associate-*l*_binary64_19115
9×add-cbrt-cube_binary64_19210 add-exp-log_binary64_19212
7×distribute-lft-out_binary64_19125 associate-*r*_binary64_19114
6×cancel-sign-sub-inv_binary64_19140
4×distribute-lft-in_binary64_19123 associate-/r/_binary64_19120 associate-/r*_binary64_19118 pow1_binary64_19235 distribute-rgt-in_binary64_19124
3×associate-/l*_binary64_19119
2×prod-exp_binary64_19223 div-inv_binary64_19171 associate-*r/_binary64_19116 add-log-exp_binary64_19213 flip--_binary64_19149 flip3--_binary64_19178 cbrt-unprod_binary64_19207 frac-times_binary64_19184 flip3-+_binary64_19177 difference-of-squares_binary64_19143 div-exp_binary64_19225 flip-+_binary64_19148 unswap-sqr_binary64_19142 sub-neg_binary64_19167 cbrt-undiv_binary64_19208
1×frac-2neg_binary64_19185 *-commutative_binary64_19105 associate-*l/_binary64_19117 pow-prod-down_binary64_19245 distribute-lft-out--_binary64_19126 clear-num_binary64_19173 difference-of-sqr-1_binary64_19144
Counts
2 → 86
Calls

4 calls:

17.0ms
(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))
11.0ms
(/.f64 x (+.f64 y (/.f64 -1 y)))
0.0ms
(/.f64 x (+.f64 y (/.f64 -1 y)))
0.0ms
(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))

series230.0ms (7.5%)

Counts
2 → 29
Calls

2 calls:

115.0ms
(*.f64 (/.f64 x (+.f64 y (/.f64 -1 y))) (-.f64 y 1))
114.0ms
(/.f64 x (+.f64 y (/.f64 -1 y)))
Compiler

Compiled 445 to 345 computations (22.5% saved)

simplify67.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049891993
149891993

prune94.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh011
Picked011
Done011
Total1153118
Error
0b
Counts
118 → 3
Compiler

Compiled 1948 to 1204 computations (38.2% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

20.1b
(*.f64 (/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 y y) (-.f64 (*.f64 1 1) (*.f64 y 1))))
12.2b
(/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3)))
12.2b
(/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3)))
20.1b
(*.f64 (/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 y y) (-.f64 (*.f64 1 1) (*.f64 y 1))))

rewrite36.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
16×add-cbrt-cube_binary64_19210 add-exp-log_binary64_19212
13×*-un-lft-identity_binary64_19174
10×associate-*l*_binary64_19115
9×add-sqr-sqrt_binary64_19196
8×times-frac_binary64_19180
7×add-cube-cbrt_binary64_19209
5×prod-exp_binary64_19223 cbrt-unprod_binary64_19207
4×associate-/r/_binary64_19120 flip3-+_binary64_19177 associate-/r*_binary64_19118 pow1_binary64_19235 div-exp_binary64_19225 flip-+_binary64_19148 cbrt-undiv_binary64_19208
3×distribute-lft-out_binary64_19125 associate-*r*_binary64_19114
2×div-inv_binary64_19171 associate-*r/_binary64_19116 add-log-exp_binary64_19213 frac-times_binary64_19184
1×distribute-lft-in_binary64_19123 frac-2neg_binary64_19185 associate-/l*_binary64_19119 *-commutative_binary64_19105 associate-*l/_binary64_19117 pow-prod-down_binary64_19245 clear-num_binary64_19173 unswap-sqr_binary64_19142 distribute-rgt-in_binary64_19124
Counts
2 → 61
Calls

4 calls:

21.0ms
(*.f64 (/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 y y) (-.f64 (*.f64 1 1) (*.f64 y 1))))
9.0ms
(/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3)))
0.0ms
(/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3)))
0.0ms
(*.f64 (/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 y y) (-.f64 (*.f64 1 1) (*.f64 y 1))))

series353.0ms (11.6%)

Counts
2 → 26
Calls

2 calls:

188.0ms
(/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3)))
164.0ms
(*.f64 (/.f64 (*.f64 x y) (+.f64 1 (pow.f64 y 3))) (+.f64 (*.f64 y y) (-.f64 (*.f64 1 1) (*.f64 y 1))))
Compiler

Compiled 615 to 482 computations (21.6% saved)

simplify66.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
053131773

prune93.0ms (3.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New87087
Fresh000
Picked011
Done022
Total87390
Error
0b
Counts
90 → 3
Compiler

Compiled 2006 to 1229 computations (38.7% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0131308
1131308

regimes56.0ms (1.8%)

Compiler

Compiled 344 to 294 computations (14.5% saved)

bsearch0.0ms (0%)

regimes73.0ms (2.4%)

Compiler

Compiled 56 to 68 computations (-21.4% saved)

bsearch20.0ms (0.7%)

Steps
ItersRangePoint
10
3575721.5253420603
1.7026283327236902e+18
377651835409134.2
5
-3.075259985789199e+29
-1.5050579791125335e+29
-1.5694996696535266e+29
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes109.0ms (3.6%)

Compiler

Compiled 42 to 56 computations (-33.3% saved)

bsearch26.0ms (0.8%)

Steps
ItersRangePoint
9
1.4157918330888714e-05
61.15473945038281
0.9940051049383496
8
-93.89392686505953
-0.001733572146805805
-1.0003074357708648
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes101.0ms (3.3%)

Compiler

Compiled 28 to 44 computations (-57.1% saved)

bsearch24.0ms (0.8%)

Steps
ItersRangePoint
9
1.4157918330888714e-05
61.15473945038281
1.3326255057572964
8
-93.89392686505953
-0.001733572146805805
-1.0003074357708648
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes97.0ms (3.2%)

Compiler

Compiled 18 to 36 computations (-100% saved)

bsearch23.0ms (0.8%)

Steps
ItersRangePoint
9
1.4157918330888714e-05
61.15473945038281
0.9940051049383496
8
-93.89392686505953
-0.001733572146805805
-1.0003074357708648
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes63.0ms (2.1%)

Compiler

Compiled 12 to 30 computations (-150% saved)

bsearch18.0ms (0.6%)

Steps
ItersRangePoint
6
1.576783285967196e-17
1.1939249135599882e-16
1.6086501547041264e-17
8
-93.89392686505953
-0.001733572146805805
-1.0003074357708648
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.6%)

Accuracy

Total 0.0b remaining (97.2%)

Threshold costs 0.0b (97.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch6.0ms (0.2%)

Compiler

Compiled 96 to 67 computations (30.2% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
078125
178125

end0.0ms (0%)

sample738.0ms (24.2%)

Algorithm
1×intervals
Results
190.0ms8000×body128valid
Compiler

Compiled 303 to 238 computations (21.5% saved)

Pareto

0.5635885573447937

Profiling

Loading profile data...