Details

Time bar (total: 2.5s)

analyze35.0ms (1.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
43.7%56.2%0.1%5
46.8%53.1%0.1%6
78%21.9%0.1%7
82.7%17.2%0.1%8
89%10.9%0.1%9
91.3%8.6%0.1%10
94.4%5.5%0.1%11
95.6%4.3%0.1%12
97.2%2.7%0.1%13
97.8%2.1%0.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.5%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify137.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
069010
169010

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))

rewrite14.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
46×*-un-lft-identity_binary64_5193 add-sqr-sqrt_binary64_5215
30×times-frac_binary64_5199
19×difference-of-squares_binary64_5162
14×add-cube-cbrt_binary64_5228
13×distribute-lft-out--_binary64_5145
6×associate-/r*_binary64_5137
5×associate-/l*_binary64_5138
3×add-cbrt-cube_binary64_5229 add-exp-log_binary64_5231
2×flip3--_binary64_5197 flip--_binary64_5168 associate-/l/_binary64_5140 associate-/r/_binary64_5139
1×add-log-exp_binary64_5232 div-sub_binary64_5198 div-inv_binary64_5190 cbrt-undiv_binary64_5227 clear-num_binary64_5192 div-exp_binary64_5244 pow1_binary64_5254 frac-2neg_binary64_5204
Counts
1 → 58
Calls

2 calls:

9.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))

series109.0ms (4.4%)

Counts
1 → 17
Calls

1 calls:

109.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
Compiler

Compiled 263 to 217 computations (17.5% saved)

simplify69.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
057361376

prune63.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New73275
Fresh000
Picked011
Done000
Total73376
Error
0b
Counts
76 → 3
Compiler

Compiled 1079 to 529 computations (51% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b
(/.f64 1 (/.f64 (-.f64 1 y) (-.f64 x y)))
0.0b
(/.f64 (-.f64 1 y) (-.f64 x y))
0.0b
(/.f64 (-.f64 1 y) (-.f64 x y))
0.1b
(/.f64 1 (/.f64 (-.f64 1 y) (-.f64 x y)))

rewrite55.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
258×times-frac_binary64_5199
240×*-un-lft-identity_binary64_5193 add-sqr-sqrt_binary64_5215
100×add-cube-cbrt_binary64_5228
83×difference-of-squares_binary64_5162
57×distribute-lft-out--_binary64_5145
41×associate-/r*_binary64_5137
15×add-exp-log_binary64_5231
11×associate-/r/_binary64_5139
9×add-cbrt-cube_binary64_5229 associate-/l*_binary64_5138
8×div-exp_binary64_5244
6×flip3--_binary64_5197 flip--_binary64_5168 div-inv_binary64_5190
4×cbrt-undiv_binary64_5227
3×pow1_binary64_5254
2×add-log-exp_binary64_5232 clear-num_binary64_5192 associate-/l/_binary64_5140 1-exp_binary64_5237 rec-exp_binary64_5243 frac-2neg_binary64_5204
1×div-sub_binary64_5198 pow-flip_binary64_5267 inv-pow_binary64_5278
Counts
2 → 226
Calls

4 calls:

14.0ms
(/.f64 1 (/.f64 (-.f64 1 y) (-.f64 x y)))
9.0ms
(/.f64 (-.f64 1 y) (-.f64 x y))
0.0ms
(/.f64 (-.f64 1 y) (-.f64 x y))
0.0ms
(/.f64 1 (/.f64 (-.f64 1 y) (-.f64 x y)))

series206.0ms (8.3%)

Counts
2 → 33
Calls

2 calls:

108.0ms
(/.f64 1 (/.f64 (-.f64 1 y) (-.f64 x y)))
98.0ms
(/.f64 (-.f64 1 y) (-.f64 x y))
Compiler

Compiled 767 to 626 computations (18.4% saved)

simplify103.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
259 → 259
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050245634

prune225.0ms (9.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2590259
Fresh011
Picked011
Done011
Total2593262
Error
0b
Counts
262 → 3
Compiler

Compiled 4507 to 2342 computations (48% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (-.f64 x y) (*.f64 x y))
0.0b
(+.f64 (-.f64 x y) (*.f64 x y))

rewrite10.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-log-exp_binary64_5232
4×associate-+l+_binary64_5126
3×cancel-sign-sub-inv_binary64_5159
2×add-cube-cbrt_binary64_5228 sum-log_binary64_5284 *-un-lft-identity_binary64_5193 add-sqr-sqrt_binary64_5215
1×add-cbrt-cube_binary64_5229 sub-neg_binary64_5186 associate-+l-_binary64_5128 flip-+_binary64_5167 add-exp-log_binary64_5231 +-commutative_binary64_5123 flip3-+_binary64_5196 diff-log_binary64_5285 pow1_binary64_5254
Counts
1 → 17
Calls

2 calls:

9.0ms
(+.f64 (-.f64 x y) (*.f64 x y))
0.0ms
(+.f64 (-.f64 x y) (*.f64 x y))

series71.0ms (2.9%)

Counts
1 → 12
Calls

1 calls:

71.0ms
(+.f64 (-.f64 x y) (*.f64 x y))
Compiler

Compiled 110 to 88 computations (20% saved)

simplify59.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05323326

prune13.0ms (0.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New29029
Fresh000
Picked011
Done022
Total29332
Error
0b
Counts
32 → 3
Compiler

Compiled 268 to 44 computations (83.6% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
054175
154175

regimes81.0ms (3.3%)

Compiler

Compiled 428 to 358 computations (16.4% saved)

bsearch0.0ms (0%)

regimes53.0ms (2.1%)

Compiler

Compiled 174 to 185 computations (-6.3% saved)

bsearch0.0ms (0%)

regimes69.0ms (2.8%)

Compiler

Compiled 76 to 90 computations (-18.4% saved)

bsearch26.0ms (1.1%)

Steps
ItersRangePoint
10
3.833230867858486e-07
3027.709770242239
0.00011239463762152483
7
-93.89392686505953
-0.705920449276496
-0.7197002377700772
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes66.0ms (2.7%)

Compiler

Compiled 62 to 80 computations (-29% saved)

bsearch19.0ms (0.8%)

Steps
ItersRangePoint
6
4.363058742683146e-17
4.31388341174523e-16
8.876295488190439e-17
7
-1.2999392588417291e-33
-1.2563730420373654e-35
-3.791459756246493e-35
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes72.0ms (2.9%)

Compiler

Compiled 36 to 54 computations (-50% saved)

bsearch24.0ms (1%)

Steps
ItersRangePoint
9
21265039056011.848
1.2019689314907133e+20
22670298815293596.0
8
-158011570301379.47
-24574529650.81666
-130185927675782.77
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes72.0ms (2.9%)

Compiler

Compiled 26 to 44 computations (-69.2% saved)

bsearch24.0ms (1%)

Steps
ItersRangePoint
10
3.833230867858486e-07
3027.709770242239
1.0025539630758997
7
-93.89392686505953
-0.705920449276496
-0.8023789687315643
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes67.0ms (2.7%)

Compiler

Compiled 16 to 36 computations (-125% saved)

bsearch21.0ms (0.8%)

Steps
ItersRangePoint
10
3.833230867858486e-07
3027.709770242239
1.0025539630758997
7
-93.89392686505953
-0.705920449276496
-9.940976798148478
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes18.0ms (0.7%)

Accuracy

Total 0.0b remaining (72%)

Threshold costs 0.0b (72%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch7.0ms (0.3%)

Compiler

Compiled 111 to 90 computations (18.9% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
080147
180147

end0.0ms (0%)

sample645.0ms (26.1%)

Algorithm
1×intervals
Results
174.0ms7996×body128valid
0.0ms3×body512valid
0.0ms1×body1024valid
Compiler

Compiled 230 to 192 computations (16.5% saved)

Pareto

0.3909398373767796

Profiling

Loading profile data...