Details

Time bar (total: 3.6s)

analyze135.0ms (3.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
25%74.9%0.1%5
40.6%59.3%0.1%6
53.1%45.3%1.7%7
62.4%32.8%4.8%8
69.5%22.6%7.9%9
74.5%16.4%9.1%10
78.2%11.1%10.6%11
80.9%8.2%10.9%12
82.8%5.5%11.7%13
84.1%4.1%11.8%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample21.0ms (0.6%)

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

Compiled 15 to 13 computations (13.3% saved)

simplify191.0ms (5.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
025610
125610

prune9.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite14.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-log-exp_binary64_7619
2×diff-log_binary64_7672
1×add-cbrt-cube_binary64_7616 add-sqr-sqrt_binary64_7602 *-un-lft-identity_binary64_7580 pow1_binary64_7641 associate--l+_binary64_7517 flip--_binary64_7555 sub-neg_binary64_7573 add-cube-cbrt_binary64_7615 sum-log_binary64_7671 flip3--_binary64_7584 cancel-sign-sub-inv_binary64_7546 add-exp-log_binary64_7618
Counts
1 → 14
Calls

1 calls:

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

series31.0ms (0.8%)

Counts
1 → 3
Calls

1 calls:

31.0ms
(-.f64 (+.f64 x y) (*.f64 x y))

simplify105.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
05205248

prune20.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New16117
Fresh000
Picked011
Done000
Total16218

Merged error: 0.0b

Counts
18 → 2
Compiler

Compiled 231 to 47 computations (79.7% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))) (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))))
0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))

rewrite74.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_7611
23×add-sqr-sqrt_binary64_7602
18×cbrt-div_binary64_7612
15×*-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615
11×pow1_binary64_7641
9×flip--_binary64_7555 pow1/3_binary64_7662 flip3--_binary64_7584
6×associate-*r*_binary64_7520 swap-sqr_binary64_7547 associate-*l*_binary64_7521 add-exp-log_binary64_7618
4×add-log-exp_binary64_7619 add-cbrt-cube_binary64_7616 unswap-sqr_binary64_7548 frac-times_binary64_7590
2×pow-prod-down_binary64_7651 pow-prod-up_binary64_7650 associate-*r/_binary64_7522 pow-sqr_binary64_7553 associate-*l/_binary64_7523
1×pow-plus_binary64_7643 pow2_binary64_7661 cbrt-unprod_binary64_7613 prod-exp_binary64_7629 *-commutative_binary64_7511
Counts
4 → 87
Calls

4 calls:

26.0ms
(*.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))) (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))))
9.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
9.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
9.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))

series651.0ms (17.8%)

Counts
4 → 12
Calls

4 calls:

226.0ms
(*.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))) (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y))))
145.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
140.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
139.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))

simplify136.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
056792686

prune179.0ms (4.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New98199
Fresh000
Picked011
Done011
Total983101

Merged error: 0b

Counts
101 → 3
Compiler

Compiled 3549 to 597 computations (83.2% saved)

localize29.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
0.6b
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))) 4)

rewrite66.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
18×cbrt-prod_binary64_7611
11×add-sqr-sqrt_binary64_7602 *-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615
9×unpow-prod-down_binary64_7659
6×cbrt-div_binary64_7612
5×pow1_binary64_7641 add-exp-log_binary64_7618
4×add-log-exp_binary64_7619 add-cbrt-cube_binary64_7616 pow1/3_binary64_7662
3×pow-unpow_binary64_7657 flip--_binary64_7555 flip3--_binary64_7584
2×pow-pow_binary64_7652
1×pow-to-exp_binary64_7649 pow-exp_binary64_7648 sqr-pow_binary64_7552
Counts
4 → 63
Calls

4 calls:

15.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))) 4)
11.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
11.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
10.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))

series840.0ms (23%)

Counts
4 → 12
Calls

4 calls:

434.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))) 4)
138.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
135.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))
132.0ms
(cbrt.f64 (-.f64 (+.f64 x y) (*.f64 x y)))

simplify112.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
053751890

prune179.0ms (4.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New75075
Fresh000
Picked011
Done022
Total75378

Merged error: 0b

Counts
78 → 3
Compiler

Compiled 3658 to 741 computations (79.7% saved)

regimes72.0ms (2%)

Compiler

Compiled 291 to 123 computations (57.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03410
13410

end0.0ms (0%)

sample753.0ms (20.6%)

Algorithm
1×intervals
Results
329.0ms7997×body128valid
3.0ms79×body128invalid
0.0ms2×body1024valid
0.0ms1×body256valid
Compiler

Compiled 106 to 48 computations (54.7% saved)

Profiling

Loading profile data...