Details

Time bar (total: 5.8s)

analyze18.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
74.9%25%0.1%4
74.9%25%0.1%5
87.4%12.5%0.1%6
87.4%12.5%0.1%7
93.7%6.2%0.1%8
93.7%6.2%0.1%9
96.8%3.1%0.1%10
96.8%3.1%0.1%11
98.3%1.6%0.1%12
98.3%1.6%0.1%13
99.1%0.8%0.1%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample33.0ms (0.6%)

Algorithm
1×intervals
Results
10.0ms238×body128valid
1.0ms7×body2048valid
1.0ms5×body1024valid
0.0ms3×body512valid
0.0ms3×body256valid
Compiler

Compiled 15 to 17 computations (-13.3% saved)

simplify124.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
0987
1987

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 3/8 y))

rewrite30.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
3×add-log-exp_binary64_6255
1×diff-log_binary64_6308 pow1_binary64_6277 add-exp-log_binary64_6254 add-cbrt-cube_binary64_6252 add-cube-cbrt_binary64_6251 add-sqr-sqrt_binary64_6238 flip3--_binary64_6220 *-un-lft-identity_binary64_6216 sub-neg_binary64_6209 flip--_binary64_6191 cancel-sign-sub-inv_binary64_6182
Counts
1 → 12
Calls

1 calls:

7.0ms
(-.f64 x (*.f64 3/8 y))
Compiler

Compiled 143 to 100 computations (30.1% saved)

series72.0ms (1.2%)

Error
0.1b
Counts
1 → 12
Calls

1 calls:

61.0ms
(-.f64 x (*.f64 3/8 y))
Compiler

Compiled 114 to 104 computations (8.8% saved)

simplify118.0ms (2%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
05770201

prune23.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New20424
Fresh000
Picked011
Done000
Total20525
Error
0.0b
Counts
25 → 5
Compiler

Compiled 222 to 156 computations (29.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite176.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
25×cbrt-prod_binary64_6247
23×add-sqr-sqrt_binary64_6238
18×cbrt-div_binary64_6248
15×add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
11×pow1_binary64_6277
9×pow1/3_binary64_6298 flip3-+_binary64_6219 flip-+_binary64_6190
6×add-exp-log_binary64_6254 swap-sqr_binary64_6183 associate-*l*_binary64_6157 associate-*r*_binary64_6156
4×add-log-exp_binary64_6255 add-cbrt-cube_binary64_6252 frac-times_binary64_6226 unswap-sqr_binary64_6184
2×pow-prod-down_binary64_6287 pow-prod-up_binary64_6286 pow-sqr_binary64_6189 associate-*l/_binary64_6159 associate-*r/_binary64_6158
1×pow2_binary64_6297 pow-plus_binary64_6279 prod-exp_binary64_6265 cbrt-unprod_binary64_6249 *-commutative_binary64_6147
Counts
4 → 87
Calls

4 calls:

12.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)) (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)))
4.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
4.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
4.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
Compiler

Compiled 2660 to 1913 computations (28.1% saved)

series726.0ms (12.6%)

Error
0.0b
Counts
4 → 48
Calls

4 calls:

216.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)) (cbrt.f64 (+.f64 (*.f64 -3/8 y) x)))
157.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
148.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
134.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
Compiler

Compiled 3817 to 3184 computations (16.6% saved)

simplify130.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
049082424
149082424

prune220.0ms (3.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1323135
Fresh213
Picked011
Done011
Total1346140
Error
0.0b
Counts
140 → 6
Compiler

Compiled 3497 to 2459 computations (29.7% saved)

localize28.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
0.6b
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
0.6b
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
0.6b
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))

rewrite150.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×cbrt-prod_binary64_6247
8×add-cube-cbrt_binary64_6251 cbrt-div_binary64_6248 add-sqr-sqrt_binary64_6238 *-un-lft-identity_binary64_6216
4×pow1/3_binary64_6298 pow1_binary64_6277 add-log-exp_binary64_6255 add-exp-log_binary64_6254 add-cbrt-cube_binary64_6252 flip3-+_binary64_6219 flip-+_binary64_6190
Counts
4 → 52
Calls

4 calls:

7.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
7.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
3.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
3.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
Compiler

Compiled 2068 to 1543 computations (25.4% saved)

series659.0ms (11.4%)

Error
0.0b
Counts
4 → 43
Calls

4 calls:

152.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
130.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
127.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
124.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
Compiler

Compiled 4711 to 3866 computations (17.9% saved)

simplify94.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
048651498
148651498

prune241.0ms (4.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New93295
Fresh033
Picked101
Done022
Total947101
Error
0.0b
Counts
101 → 7
Compiler

Compiled 3643 to 2683 computations (26.4% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
0.6b
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
0.6b
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
0.6b
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))

rewrite163.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×cbrt-prod_binary64_6247
8×add-cube-cbrt_binary64_6251 cbrt-div_binary64_6248 add-sqr-sqrt_binary64_6238 *-un-lft-identity_binary64_6216
4×pow1/3_binary64_6298 pow1_binary64_6277 add-log-exp_binary64_6255 add-exp-log_binary64_6254 add-cbrt-cube_binary64_6252 flip3-+_binary64_6219 flip-+_binary64_6190
Counts
4 → 52
Calls

4 calls:

7.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
7.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
5.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
4.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
Compiler

Compiled 2068 to 1543 computations (25.4% saved)

series688.0ms (11.9%)

Error
0.0b
Counts
4 → 43
Calls

4 calls:

164.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
156.0ms
(cbrt.f64 (+.f64 (*.f64 -3/8 y) x))
153.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
125.0ms
(cbrt.f64 (+.f64 x (*.f64 y -3/8)))
Compiler

Compiled 4711 to 3866 computations (17.9% saved)

simplify92.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
048651498
148651498

prune207.0ms (3.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New95095
Fresh044
Picked011
Done022
Total957102
Error
0.0b
Counts
102 → 7
Compiler

Compiled 3479 to 2553 computations (26.6% saved)

regimes357.0ms (6.2%)

Accuracy

Total 0.1b remaining (70.7%)

Threshold costs 0.1b (70.7%)

Compiler

Compiled 2992 to 2438 computations (18.5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0357
1357

end0.0ms (0%)

sample1.4s (24%)

Algorithm
1×intervals
Results
208.0ms7417×body128valid
21.0ms180×body2048valid
19.0ms194×body1024valid
10.0ms127×body512valid
4.0ms82×body256valid
Compiler

Compiled 754 to 616 computations (18.3% saved)

Profiling

Loading profile data...