Details

Time bar (total: 5.2s)

analyze809.0ms (15.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample23.0ms (0.4%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
2.0ms69×body128invalid
Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify270.0ms (5.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (173.0ms)

IterNodesCost
043677
143677

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 5.2b

Counts
2 → 1
Compiler

Compiled 10 to 12 computations (-20% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

5.1b
(*.f64 x (/.f64 y z))

rewrite9.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_16127
13×associate-*r*_binary64_16045
10×times-frac_binary64_16111
9×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140
6×add-exp-log_binary64_16143 add-cbrt-cube_binary64_16141
3×pow1_binary64_16166 associate-*l*_binary64_16046
2×cbrt-unprod_binary64_16138 unswap-sqr_binary64_16073 prod-exp_binary64_16154
1×associate-*r/_binary64_16047 div-exp_binary64_16156 cbrt-undiv_binary64_16139 add-log-exp_binary64_16144 div-inv_binary64_16102 pow-prod-down_binary64_16176 *-commutative_binary64_16036
Counts
1 → 32
Calls

1 calls:

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

series100.0ms (1.9%)

Counts
1 → 9
Calls

1 calls:

100.0ms
(*.f64 x (/.f64 y z))
Compiler

Compiled 102 to 120 computations (-17.6% saved)

simplify102.0ms (2%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
05085396

prune37.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New35641
Fresh000
Picked011
Done000
Total35742

Merged error: 0.0b

Counts
42 → 7
Compiler

Compiled 439 to 148 computations (66.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
1.0b
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

rewrite22.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
22×add-exp-log_binary64_16143
14×add-cbrt-cube_binary64_16141
12×add-sqr-sqrt_binary64_16127
9×*-un-lft-identity_binary64_16105 cbrt-unprod_binary64_16138 add-cube-cbrt_binary64_16140 prod-exp_binary64_16154 cbrt-prod_binary64_16136
6×pow1_binary64_16166
5×associate-*r*_binary64_16045
4×div-exp_binary64_16156 cbrt-undiv_binary64_16139 add-log-exp_binary64_16144
3×pow1/3_binary64_16187 associate-*l*_binary64_16046
2×unswap-sqr_binary64_16073 times-frac_binary64_16111
1×associate-*r/_binary64_16047 div-inv_binary64_16102 pow-prod-down_binary64_16176 *-commutative_binary64_16036
Counts
4 → 63
Calls

4 calls:

13.0ms
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)

series806.0ms (15.4%)

Counts
4 → 18
Calls

4 calls:

522.0ms
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
98.0ms
(cbrt.f64 y)
95.0ms
(cbrt.f64 y)
90.0ms
(cbrt.f64 y)
Compiler

Compiled 788 to 662 computations (16% saved)

simplify67.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05224852

prune76.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New80181
Fresh055
Picked011
Done011
Total80888

Merged error: 0.0b

Counts
88 → 8
Compiler

Compiled 1767 to 563 computations (68.1% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
1.0b
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))) (cbrt.f64 (cbrt.f64 y)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

rewrite33.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
46×add-exp-log_binary64_16143
25×cbrt-unprod_binary64_16138 prod-exp_binary64_16154
24×add-cbrt-cube_binary64_16141
11×add-sqr-sqrt_binary64_16127
9×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140 cbrt-prod_binary64_16136
8×div-exp_binary64_16156 cbrt-undiv_binary64_16139
6×pow1_binary64_16166
5×associate-*r*_binary64_16045
4×add-log-exp_binary64_16144
3×pow1/3_binary64_16187 associate-*l*_binary64_16046
1×associate-*r/_binary64_16047 div-inv_binary64_16102 unswap-sqr_binary64_16073 times-frac_binary64_16111 pow-prod-down_binary64_16176 *-commutative_binary64_16036
Counts
4 → 70
Calls

4 calls:

21.0ms
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))) (cbrt.f64 (cbrt.f64 y)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)

series824.0ms (15.8%)

Counts
4 → 18
Calls

4 calls:

535.0ms
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))) (cbrt.f64 (cbrt.f64 y)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
104.0ms
(cbrt.f64 y)
93.0ms
(cbrt.f64 y)
92.0ms
(cbrt.f64 y)
Compiler

Compiled 950 to 728 computations (23.4% saved)

simplify72.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05130932

prune88.0ms (1.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New87188
Fresh055
Picked011
Done022
Total87996

Merged error: 0.0b

Counts
96 → 9
Compiler

Compiled 2318 to 689 computations (70.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
4.8b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite27.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
38×add-sqr-sqrt_binary64_16127
28×times-frac_binary64_16111
25×add-exp-log_binary64_16143
22×*-un-lft-identity_binary64_16105 add-cube-cbrt_binary64_16140 associate-*r*_binary64_16045
20×cbrt-prod_binary64_16136
18×add-cbrt-cube_binary64_16141
8×cbrt-unprod_binary64_16138 prod-exp_binary64_16154
7×div-exp_binary64_16156 cbrt-undiv_binary64_16139 associate-*l*_binary64_16046
6×unswap-sqr_binary64_16073 pow1_binary64_16166
4×add-log-exp_binary64_16144
3×pow1/3_binary64_16187
2×div-inv_binary64_16102
1×associate-*r/_binary64_16047 frac-times_binary64_16115 pow-prod-down_binary64_16176 associate-*l/_binary64_16048 *-commutative_binary64_16036
Counts
4 → 92
Calls

4 calls:

15.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)

series418.0ms (8%)

Counts
4 → 18
Calls

4 calls:

131.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
102.0ms
(cbrt.f64 z)
99.0ms
(cbrt.f64 z)
87.0ms
(cbrt.f64 z)
Compiler

Compiled 384 to 366 computations (4.7% saved)

simplify62.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049581270
149581270

prune71.0ms (1.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1082110
Fresh235
Picked011
Done123
Total1118119

Merged error: 0b

Counts
119 → 8
Compiler

Compiled 1556 to 466 computations (70.1% saved)

regimes280.0ms (5.4%)

Compiler

Compiled 2296 to 1710 computations (25.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01431
11431

end0.0ms (0%)

sample973.0ms (18.6%)

Algorithm
1×intervals
Results
295.0ms8000×body128valid
59.0ms1510×body128invalid
Compiler

Compiled 400 to 271 computations (32.3% saved)

Profiling

Loading profile data...