Details

Time bar (total: 1.8s)

analyze69.0ms (3.8%)

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
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample13.0ms (0.7%)

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

Compiled 15 to 15 computations (0% saved)

simplify110.0ms (6.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
026810
126810

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 (*.f64 x y) (-.f64 1 y))

rewrite15.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
6×associate-*r*_binary64_359 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 cancel-sign-sub-inv_binary64_385 pow1_binary64_480
4×distribute-rgt-in_binary64_369 add-cube-cbrt_binary64_454 distribute-lft-in_binary64_368
3×pow-prod-down_binary64_490 prod-exp_binary64_468 cbrt-unprod_binary64_452
2×sub-neg_binary64_412 difference-of-squares_binary64_388 associate-*r/_binary64_361
1×add-log-exp_binary64_458 flip3--_binary64_423 distribute-lft-out--_binary64_371 *-commutative_binary64_350 associate-*l*_binary64_360 flip--_binary64_394
Counts
1 → 31
Calls

1 calls:

13.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))

series66.0ms (3.7%)

Counts
1 → 7
Calls

1 calls:

66.0ms
(*.f64 (*.f64 x y) (-.f64 1 y))
Compiler

Compiled 100 to 86 computations (14% saved)

simplify54.0ms (3%)

Algorithm
1×egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04963422
14963422

prune35.0ms (1.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New32638
Fresh000
Picked101
Done000
Total33639

Merged error: 0.0b

Counts
39 → 6
Compiler

Compiled 460 to 224 computations (51.3% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
10×associate-*r*_binary64_359
7×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
5×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
4×add-log-exp_binary64_458
3×pow-prod-down_binary64_490 distribute-lft-neg-in_binary64_376 prod-exp_binary64_468 distribute-rgt-neg-in_binary64_377 cbrt-unprod_binary64_452
2×distribute-rgt-neg-out_binary64_379
1×flip3-+_binary64_422 neg-mul-1_binary64_415 unsub-neg_binary64_413 sum-log_binary64_510 *-commutative_binary64_350 associate-*l*_binary64_360 flip-+_binary64_393 +-commutative_binary64_349
Counts
2 → 38
Calls

2 calls:

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

series146.0ms (8.1%)

Counts
2 → 13
Calls

2 calls:

74.0ms
(*.f64 (*.f64 x y) (neg.f64 y))
71.0ms
(+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))
Compiler

Compiled 224 to 186 computations (17% saved)

simplify103.0ms (5.7%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
04848552
14848552

prune33.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New51051
Fresh055
Picked011
Done000
Total51657

Merged error: 0.0b

Counts
57 → 6
Compiler

Compiled 684 to 197 computations (71.2% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite12.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_441
6×*-un-lft-identity_binary64_419
5×associate-*r*_binary64_359
4×add-log-exp_binary64_458 add-cube-cbrt_binary64_454 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×sub-neg_binary64_412 associate-*l*_binary64_360 cancel-sign-sub-inv_binary64_385
2×distribute-rgt-out--_binary64_373 difference-of-squares_binary64_388 distribute-rgt-in_binary64_369 flip3--_binary64_423 associate-*r/_binary64_361 distribute-lft-in_binary64_368 flip--_binary64_394
1×pow-prod-down_binary64_490 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 *-commutative_binary64_350 diff-log_binary64_511
Counts
2 → 40
Calls

2 calls:

6.0ms
(*.f64 x (-.f64 y (*.f64 y y)))
3.0ms
(-.f64 y (*.f64 y y))

series74.0ms (4.1%)

Counts
2 → 11
Calls

2 calls:

60.0ms
(*.f64 x (-.f64 y (*.f64 y y)))
13.0ms
(-.f64 y (*.f64 y y))
Compiler

Compiled 154 to 136 computations (11.7% saved)

simplify75.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04897562
14897562

prune30.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New50151
Fresh044
Picked101
Done011
Total51657

Merged error: 0.0b

Counts
57 → 6
Compiler

Compiled 622 to 185 computations (70.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
0.1b
(*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))

rewrite30.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
18×associate-*r*_binary64_359
16×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
14×sqrt-div_binary64_436
12×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441 sqrt-prod_binary64_435
10×associate-*r/_binary64_361
9×pow-prod-down_binary64_490 prod-exp_binary64_468 cbrt-unprod_binary64_452
7×flip3--_binary64_423 flip--_binary64_394
6×add-cube-cbrt_binary64_454
4×difference-of-squares_binary64_388 frac-times_binary64_429
2×associate-*l/_binary64_362 add-log-exp_binary64_458 distribute-lft-out--_binary64_371 *-commutative_binary64_350 associate-*l*_binary64_360
Counts
2 → 61
Calls

2 calls:

15.0ms
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
9.0ms
(*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))

series153.0ms (8.5%)

Counts
2 → 16
Calls

2 calls:

88.0ms
(*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
66.0ms
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
Compiler

Compiled 324 to 268 computations (17.3% saved)

simplify66.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050651136

prune62.0ms (3.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh044
Picked011
Done011
Total77683

Merged error: 0.0b

Counts
83 → 6
Compiler

Compiled 1194 to 747 computations (37.4% saved)

regimes77.0ms (4.3%)

Compiler

Compiled 583 to 448 computations (23.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04413
14413

end0.0ms (0%)

sample538.0ms (29.9%)

Algorithm
1×intervals
Results
195.0ms8000×body128valid
7.0ms172×body128invalid
Compiler

Compiled 184 to 141 computations (23.4% saved)

Profiling

Loading profile data...