Details

Time bar (total: 1.5s)

analyze70.0ms (4.6%)

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%50%12.6%6
43.7%40.6%15.7%7
56.2%23.4%20.4%8
57.8%21.1%21.2%9
64%12.5%23.5%10
64.8%10.7%24.5%11
67.9%6.4%25.7%12
68.3%5.4%26.3%13
69.9%3.3%26.9%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample12.0ms (0.8%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms5×body128invalid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify115.0ms (7.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
036410
136410

prune3.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 23 to 19 computations (17.4% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

rewrite14.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_12376
4×add-log-exp_binary64_12393 pow1_binary64_12415 associate-*r*_binary64_12294 *-un-lft-identity_binary64_12354 add-cube-cbrt_binary64_12389 add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
3×associate-*l*_binary64_12295 cancel-sign-sub-inv_binary64_12320 sub-neg_binary64_12347
2×flip--_binary64_12329 distribute-lft-out--_binary64_12306 distribute-lft-in_binary64_12303 associate-*r/_binary64_12296 flip3--_binary64_12358 distribute-rgt-in_binary64_12304
1×pow-prod-down_binary64_12425 cbrt-unprod_binary64_12387 diff-log_binary64_12446 prod-exp_binary64_12403 unswap-sqr_binary64_12322 *-commutative_binary64_12285
Counts
2 → 38
Calls

2 calls:

8.0ms
(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))
4.0ms
(-.f64 (*.f64 x x) (*.f64 x y))

series60.0ms (3.9%)

Counts
2 → 6
Calls

2 calls:

34.0ms
(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))
25.0ms
(-.f64 (*.f64 x x) (*.f64 x y))

simplify58.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05053533

prune34.0ms (2.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New41344
Fresh101
Picked101
Done000
Total43346
Error
0b
Counts
46 → 3
Compiler

Compiled 577 to 244 computations (57.7% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite11.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
6×pow1_binary64_12415 cancel-sign-sub-inv_binary64_12320 *-un-lft-identity_binary64_12354 add-sqr-sqrt_binary64_12376 add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
5×associate-*r*_binary64_12294
4×distribute-lft-in_binary64_12303 distribute-rgt-in_binary64_12304 add-cube-cbrt_binary64_12389
3×pow-prod-down_binary64_12425 cbrt-unprod_binary64_12387 prod-exp_binary64_12403
2×associate-*r/_binary64_12296 sub-neg_binary64_12347
1×flip--_binary64_12329 add-log-exp_binary64_12393 associate-*l*_binary64_12295 distribute-lft-out--_binary64_12306 difference-of-squares_binary64_12323 flip3--_binary64_12358 *-commutative_binary64_12285
Counts
1 → 30
Calls

1 calls:

9.0ms
(*.f64 (*.f64 2 x) (-.f64 x y))

series29.0ms (1.9%)

Counts
1 → 3
Calls

1 calls:

29.0ms
(*.f64 (*.f64 2 x) (-.f64 x y))

simplify62.0ms (4%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04937404
14937404

prune21.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New33033
Fresh022
Picked011
Done000
Total33336
Error
0b
Counts
36 → 3
Compiler

Compiled 387 to 144 computations (62.8% saved)

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite14.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
7×pow1_binary64_12415 add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
4×add-log-exp_binary64_12393 add-sqr-sqrt_binary64_12376
3×pow-prod-down_binary64_12425 cbrt-unprod_binary64_12387 associate-*l*_binary64_12295 prod-exp_binary64_12403 *-un-lft-identity_binary64_12354 add-cube-cbrt_binary64_12389
1×associate-*r*_binary64_12294 sum-log_binary64_12445 flip-+_binary64_12328 unswap-sqr_binary64_12322 +-commutative_binary64_12284 flip3-+_binary64_12357 *-commutative_binary64_12285
Counts
2 → 30
Calls

2 calls:

6.0ms
(+.f64 (*.f64 2 (*.f64 x x)) (*.f64 x (*.f64 y -2)))
6.0ms
(*.f64 2 (*.f64 x x))

series51.0ms (3.3%)

Counts
2 → 6
Calls

2 calls:

33.0ms
(+.f64 (*.f64 2 (*.f64 x x)) (*.f64 x (*.f64 y -2)))
17.0ms
(*.f64 2 (*.f64 x x))

simplify64.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04987396
14987396

prune27.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New36036
Fresh011
Picked011
Done011
Total36339
Error
0b
Counts
39 → 3
Compiler

Compiled 502 to 311 computations (38% saved)

localize7.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 2 (*.f64 x (-.f64 x y)))
0.0b
(*.f64 x (-.f64 x y))
0.2b
(pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3)
32.3b
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3))

rewrite35.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Rules
20×distribute-lft-in_binary64_12303 distribute-rgt-in_binary64_12304
19×add-sqr-sqrt_binary64_12376
18×cancel-sign-sub-inv_binary64_12320
17×pow1_binary64_12415 *-un-lft-identity_binary64_12354 add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
15×add-cube-cbrt_binary64_12389
14×associate-*r/_binary64_12296
8×cbrt-prod_binary64_12385
7×pow-prod-down_binary64_12425 cbrt-unprod_binary64_12387 prod-exp_binary64_12403
6×associate-*l*_binary64_12295 associate-*r*_binary64_12294 sub-neg_binary64_12347
4×flip--_binary64_12329 add-log-exp_binary64_12393 cube-div_binary64_12383 flip3--_binary64_12358
3×pow-unpow_binary64_12431 rem-cube-cbrt_binary64_12377 pow-exp_binary64_12422 pow-pow_binary64_12426
2×unpow-prod-down_binary64_12433 cbrt-div_binary64_12386 unpow3_binary64_12420 sqr-pow_binary64_12326 cube-mult_binary64_12384 cube-prod_binary64_12382 *-commutative_binary64_12285
1×pow1/3_binary64_12436 rem-cbrt-cube_binary64_12378 distribute-lft-out--_binary64_12306 difference-of-squares_binary64_12323 unswap-sqr_binary64_12322 pow-to-exp_binary64_12423
Counts
4 → 112
Calls

4 calls:

9.0ms
(*.f64 2 (*.f64 x (-.f64 x y)))
8.0ms
(pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3)
7.0ms
(*.f64 x (-.f64 x y))
3.0ms
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3))

series139.0ms (9.1%)

Counts
4 → 12
Calls

4 calls:

41.0ms
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3))
39.0ms
(pow.f64 (*.f64 2 (*.f64 x (-.f64 x y))) 3)
34.0ms
(*.f64 2 (*.f64 x (-.f64 x y)))
26.0ms
(*.f64 x (-.f64 x y))

simplify67.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
052441603

prune91.0ms (6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1240124
Fresh000
Picked011
Done022
Total1243127
Error
0b
Counts
127 → 3
Compiler

Compiled 1792 to 954 computations (46.8% saved)

regimes50.0ms (3.3%)

Accuracy

Total 0.0b remaining (97.5%)

Threshold costs 0.0b (97.5%)

Compiler

Compiled 256 to 220 computations (14.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01416
11416

end0.0ms (0%)

sample470.0ms (30.8%)

Algorithm
1×intervals
Results
212.0ms8000×body128valid
4.0ms159×body128invalid
Compiler

Compiled 83 to 72 computations (13.3% saved)

Profiling

Loading profile data...