Details

Time bar (total: 3.3s)

analyze512.0ms (15.7%)

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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
34.3%65.5%0.1%9
39%60.8%0.1%10
41.3%58.5%0.1%11
52.7%47.2%0.1%12
54%45.7%0.2%13
55.3%43.8%0.9%14
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample26.0ms (0.8%)

Algorithm
1×intervals
Results
6.0ms191×body128valid
3.0ms18×body2048valid
2.0ms20×body1024valid
2.0ms46×body128invalid
2.0ms17×body512valid
1.0ms10×body256valid
1.0ms6×body512invalid
0.0ms3×body1024invalid
0.0ms4×body256invalid
Compiler

Compiled 31 to 22 computations (29% saved)

simplify348.0ms (10.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (176.0ms)

IterNodesCost
066367

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 25 to 19 computations (24% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64_14252
5×*-un-lft-identity_binary64_14231 associate-*r*_binary64_14173
3×add-cbrt-cube_binary64_14264 add-exp-log_binary64_14266 pow1_binary64_14289 associate-*l*_binary64_14174 add-cube-cbrt_binary64_14263
2×sub-neg_binary64_14224 associate-*r/_binary64_14175
1×flip3--_binary64_14235 prod-exp_binary64_14277 pow-prod-down_binary64_14299 add-log-exp_binary64_14267 distribute-lft-in_binary64_14182 difference-of-squares_binary64_14200 unswap-sqr_binary64_14199 flip--_binary64_14206 distribute-rgt-in_binary64_14183 *-commutative_binary64_14164 distribute-lft-out--_binary64_14185 cbrt-unprod_binary64_14261
Counts
1 → 24
Calls

1 calls:

7.0ms
(*.f64 y (-.f64 x z))

series71.0ms (2.2%)

Counts
1 → 3
Calls

1 calls:

71.0ms
(*.f64 y (-.f64 x z))

simplify54.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05388254

prune20.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New25227
Fresh101
Picked011
Done000
Total26329

Merged error: 0b

Counts
29 → 3
Compiler

Compiled 278 to 86 computations (69.1% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_14267
1×add-cbrt-cube_binary64_14264 +-commutative_binary64_14163 distribute-lft-out_binary64_14184 add-exp-log_binary64_14266 flip3-+_binary64_14234 add-sqr-sqrt_binary64_14252 flip-+_binary64_14205 *-un-lft-identity_binary64_14231 distribute-rgt-neg-out_binary64_14193 pow1_binary64_14289 sum-log_binary64_14319 unsub-neg_binary64_14225 add-cube-cbrt_binary64_14263
Counts
1 → 13
Calls

1 calls:

4.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

series68.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

68.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

simplify70.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04990170
14990170

prune12.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New16016
Fresh011
Picked011
Done011
Total16319

Merged error: 0b

Counts
19 → 3
Compiler

Compiled 177 to 55 computations (68.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
0.6b
(cbrt.f64 (-.f64 x z))
0.6b
(cbrt.f64 (-.f64 x z))
0.6b
(cbrt.f64 (-.f64 x z))

rewrite32.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
43×cbrt-prod_binary64_14259
37×add-sqr-sqrt_binary64_14252
35×*-un-lft-identity_binary64_14231
18×cbrt-div_binary64_14260
15×add-cube-cbrt_binary64_14263
11×pow1_binary64_14289
10×swap-sqr_binary64_14198
9×flip3--_binary64_14235 flip--_binary64_14206 pow1/3_binary64_14310 distribute-lft-out--_binary64_14185
8×associate-*l*_binary64_14174 associate-*r*_binary64_14173
7×difference-of-squares_binary64_14200
6×add-exp-log_binary64_14266
4×add-cbrt-cube_binary64_14264 add-log-exp_binary64_14267 frac-times_binary64_14241 unswap-sqr_binary64_14199
2×pow-prod-down_binary64_14299 associate-*l/_binary64_14176 associate-*r/_binary64_14175 pow-sqr_binary64_14204 pow-prod-up_binary64_14298
1×pow-plus_binary64_14291 prod-exp_binary64_14277 pow2_binary64_14309 *-commutative_binary64_14164 cbrt-unprod_binary64_14261
Counts
4 → 101
Calls

4 calls:

12.0ms
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
4.0ms
(cbrt.f64 (-.f64 x z))
3.0ms
(cbrt.f64 (-.f64 x z))
3.0ms
(cbrt.f64 (-.f64 x z))

series893.0ms (27.3%)

Counts
4 → 12
Calls

4 calls:

241.0ms
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
221.0ms
(cbrt.f64 (-.f64 x z))
221.0ms
(cbrt.f64 (-.f64 x z))
210.0ms
(cbrt.f64 (-.f64 x z))

simplify58.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049521654
149521654

prune92.0ms (2.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1130113
Fresh000
Picked011
Done022
Total1133116

Merged error: 0b

Counts
116 → 3
Compiler

Compiled 2429 to 643 computations (73.5% saved)

regimes58.0ms (1.8%)

Compiler

Compiled 292 to 212 computations (27.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03510
13510

end0.0ms (0%)

sample914.0ms (28%)

Algorithm
1×intervals
Results
199.0ms5777×body128valid
102.0ms833×body1024valid
76.0ms481×body2048valid
54.0ms568×body512valid
52.0ms1543×body128invalid
21.0ms341×body256valid
20.0ms198×body512invalid
16.0ms137×body1024invalid
9.0ms150×body256invalid
Compiler

Compiled 92 to 68 computations (26.1% saved)

Profiling

Loading profile data...