Details

Time bar (total: 3.8s)

analyze333.0ms (8.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042340
142340
033
133
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
0%99.9%0.1%5
12.5%87.4%0.1%6
18.7%81.1%0.1%7
37.4%62.4%0.1%8
46.8%46.8%6.4%9
54.6%39%6.4%10
62.8%30.8%6.4%11
66.9%23.6%9.5%12
71.7%18.8%9.5%13
75.3%15.2%9.5%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample22.0ms (0.6%)

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

Compiled 15 to 18 computations (-20% saved)

simplify17.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
020910
120910

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 (*.f64 x 3) y) z)
0.2b
(*.f64 (*.f64 x 3) y)

rewrite41.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256
4×add-log-exp_binary64_21259 add-cube-cbrt_binary64_21255 add-sqr-sqrt_binary64_21242 *-un-lft-identity_binary64_21220
3×pow-prod-down_binary64_21291 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 associate-*r*_binary64_21160 cancel-sign-sub-inv_binary64_21186
1×associate-*l*_binary64_21161 *-commutative_binary64_21151 diff-log_binary64_21312 flip3--_binary64_21224 sub-neg_binary64_21213 flip--_binary64_21195
Counts
2 → 32
Calls

2 calls:

5.0ms
(-.f64 (*.f64 (*.f64 x 3) y) z)
5.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 436 to 279 computations (36% saved)

series172.0ms (4.5%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

105.0ms
(-.f64 (*.f64 (*.f64 x 3) y) z)
54.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 389 to 327 computations (15.9% saved)

simplify77.0ms (2%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04873530
14873530

prune38.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New52456
Fresh000
Picked011
Done000
Total52557
Error
0.0b
Counts
57 → 5
Compiler

Compiled 548 to 301 computations (45.1% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 x (*.f64 3 y)) z)
0.3b
(*.f64 x (*.f64 3 y))

rewrite36.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256
4×add-log-exp_binary64_21259 add-cube-cbrt_binary64_21255 add-sqr-sqrt_binary64_21242 *-un-lft-identity_binary64_21220
3×pow-prod-down_binary64_21291 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 associate-*l*_binary64_21161 cancel-sign-sub-inv_binary64_21186
1×associate-*r*_binary64_21160 *-commutative_binary64_21151 diff-log_binary64_21312 flip3--_binary64_21224 sub-neg_binary64_21213 flip--_binary64_21195
Counts
2 → 32
Calls

2 calls:

5.0ms
(-.f64 (*.f64 x (*.f64 3 y)) z)
5.0ms
(*.f64 x (*.f64 3 y))
Compiler

Compiled 436 to 279 computations (36% saved)

series168.0ms (4.4%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

110.0ms
(-.f64 (*.f64 x (*.f64 3 y)) z)
48.0ms
(*.f64 x (*.f64 3 y))
Compiler

Compiled 389 to 327 computations (15.9% saved)

simplify67.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04977528
14977528

prune33.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh033
Picked011
Done011
Total56561
Error
0.0b
Counts
61 → 5
Compiler

Compiled 543 to 295 computations (45.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) (cbrt.f64 (*.f64 3 (*.f64 x y))))
6.8b
(cbrt.f64 (*.f64 3 (*.f64 x y)))
6.8b
(cbrt.f64 (*.f64 3 (*.f64 x y)))
6.8b
(cbrt.f64 (*.f64 3 (*.f64 x y)))

rewrite94.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
11×pow1_binary64_21281
10×add-sqr-sqrt_binary64_21242
9×pow1/3_binary64_21302
8×add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220
7×cbrt-prod_binary64_21251
6×add-exp-log_binary64_21258
4×add-log-exp_binary64_21259 add-cbrt-cube_binary64_21256 swap-sqr_binary64_21187 associate-*l*_binary64_21161 associate-*r*_binary64_21160
2×pow-prod-down_binary64_21291 pow-prod-up_binary64_21290 pow-sqr_binary64_21193
1×pow2_binary64_21301 pow-plus_binary64_21283 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 unswap-sqr_binary64_21188 *-commutative_binary64_21151
Counts
4 → 58
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) (cbrt.f64 (*.f64 3 (*.f64 x y))))
4.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
4.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
4.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
Compiler

Compiled 1629 to 948 computations (41.8% saved)

series956.0ms (24.8%)

Error
0.0b
Counts
4 → 24
Calls

4 calls:

293.0ms
(*.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) (cbrt.f64 (*.f64 3 (*.f64 x y))))
213.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
212.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
206.0ms
(cbrt.f64 (*.f64 3 (*.f64 x y)))
Compiler

Compiled 2022 to 1595 computations (21.1% saved)

simplify100.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
05003910

prune90.0ms (2.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh022
Picked011
Done022
Total82587
Error
0.0b
Counts
87 → 5
Compiler

Compiled 1904 to 1109 computations (41.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y)) z)
0.3b
(*.f64 (*.f64 3 x) (sqrt.f64 y))
0.3b
(*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y))

rewrite79.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
17×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256
12×associate-*r*_binary64_21160
9×pow-prod-down_binary64_21291 prod-exp_binary64_21269 cbrt-unprod_binary64_21253
8×add-cube-cbrt_binary64_21255 add-sqr-sqrt_binary64_21242 *-un-lft-identity_binary64_21220
6×sqrt-prod_binary64_21236
5×add-log-exp_binary64_21259
3×cancel-sign-sub-inv_binary64_21186
2×associate-*l*_binary64_21161 *-commutative_binary64_21151
1×diff-log_binary64_21312 flip3--_binary64_21224 sub-neg_binary64_21213 flip--_binary64_21195
Counts
3 → 59
Calls

3 calls:

10.0ms
(*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y))
9.0ms
(-.f64 (*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y)) z)
6.0ms
(*.f64 (*.f64 3 x) (sqrt.f64 y))
Compiler

Compiled 1106 to 546 computations (50.6% saved)

series235.0ms (6.1%)

Error
0.0b
Counts
3 → 29
Calls

3 calls:

109.0ms
(-.f64 (*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y)) z)
61.0ms
(*.f64 (*.f64 3 x) (sqrt.f64 y))
53.0ms
(*.f64 (*.f64 (*.f64 3 x) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 638 to 520 computations (18.5% saved)

simplify73.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04890890
14890890

prune54.0ms (1.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New87188
Fresh011
Picked011
Done033
Total87693
Error
0.0b
Counts
93 → 6
Compiler

Compiled 995 to 473 computations (52.5% saved)

regimes186.0ms (4.8%)

Accuracy

Total 0.1b remaining (95.1%)

Threshold costs 0.1b (95.1%)

Compiler

Compiled 1377 to 1201 computations (12.8% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02010
12010
Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

sample942.0ms (24.5%)

Algorithm
1×intervals
Results
209.0ms8000×body128valid
6.0ms289×body128invalid
Compiler

Compiled 218 to 190 computations (12.8% saved)

Profiling

Loading profile data...