Details

Time bar (total: 24.1s)

analyze1.1s (4.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514149
044
144
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
Symmetry

(sort x y)

Compiler

Compiled 10 to 9 computations (10% saved)

sample535.0ms (2.2%)

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

Compiled 3049 to 3960 computations (-29.9% saved)

simplify178.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (170.0ms)

IterNodesCost
043677
143677

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 10 to 12 computations (-20% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite40.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×add-sqr-sqrt_binary64_13399
13×associate-*r*_binary64_13317
10×times-frac_binary64_13383
9×add-cube-cbrt_binary64_13412 *-un-lft-identity_binary64_13377
6×add-exp-log_binary64_13415 add-cbrt-cube_binary64_13413
3×pow1_binary64_13438 associate-*l*_binary64_13318
2×prod-exp_binary64_13426 cbrt-unprod_binary64_13410 unswap-sqr_binary64_13345
1×pow-prod-down_binary64_13448 div-exp_binary64_13428 add-log-exp_binary64_13416 cbrt-undiv_binary64_13411 associate-*r/_binary64_13319 div-inv_binary64_13374 *-commutative_binary64_13308
Counts
1 → 32
Calls

1 calls:

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

Compiled 373 to 121 computations (67.6% saved)

series159.0ms (0.7%)

Error
0.1b
Counts
1 → 9
Calls

1 calls:

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

Compiled 135 to 114 computations (15.6% saved)

simplify89.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04985390
14985390

prune41.0ms (0.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New311041
Fresh000
Picked011
Done000
Total311142
Error
0.0b
Counts
42 → 11
Compiler

Compiled 484 to 176 computations (63.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite91.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×add-exp-log_binary64_13415
14×add-cbrt-cube_binary64_13413
12×add-sqr-sqrt_binary64_13399
9×prod-exp_binary64_13426 add-cube-cbrt_binary64_13412 cbrt-unprod_binary64_13410 *-un-lft-identity_binary64_13377 cbrt-prod_binary64_13408
6×pow1_binary64_13438
5×associate-*r*_binary64_13317
4×div-exp_binary64_13428 add-log-exp_binary64_13416 cbrt-undiv_binary64_13411
3×associate-*l*_binary64_13318 pow1/3_binary64_13459
2×unswap-sqr_binary64_13345 times-frac_binary64_13383
1×pow-prod-down_binary64_13448 associate-*r/_binary64_13319 div-inv_binary64_13374 *-commutative_binary64_13308
Counts
4 → 63
Calls

4 calls:

12.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)
Compiler

Compiled 1613 to 288 computations (82.1% saved)

series1.1s (4.6%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

744.0ms
(*.f64 x (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
116.0ms
(cbrt.f64 y)
116.0ms
(cbrt.f64 y)
113.0ms
(cbrt.f64 y)
Compiler

Compiled 1170 to 851 computations (27.3% saved)

simplify52.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04966892
14966892

prune88.0ms (0.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New81081
Fresh099
Picked011
Done011
Total811192
Error
0.0b
Counts
92 → 11
Compiler

Compiled 1805 to 392 computations (78.3% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite113.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
38×add-sqr-sqrt_binary64_13399
28×times-frac_binary64_13383
25×add-exp-log_binary64_13415
22×add-cube-cbrt_binary64_13412 *-un-lft-identity_binary64_13377 associate-*r*_binary64_13317
20×cbrt-prod_binary64_13408
18×add-cbrt-cube_binary64_13413
8×prod-exp_binary64_13426 cbrt-unprod_binary64_13410
7×div-exp_binary64_13428 cbrt-undiv_binary64_13411 associate-*l*_binary64_13318
6×pow1_binary64_13438 unswap-sqr_binary64_13345
4×add-log-exp_binary64_13416
3×pow1/3_binary64_13459
2×div-inv_binary64_13374
1×pow-prod-down_binary64_13448 frac-times_binary64_13387 associate-*l/_binary64_13320 associate-*r/_binary64_13319 *-commutative_binary64_13308
Counts
4 → 92
Calls

4 calls:

16.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)
Compiler

Compiled 1799 to 346 computations (80.8% saved)

series540.0ms (2.2%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

193.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
116.0ms
(cbrt.f64 z)
108.0ms
(cbrt.f64 z)
108.0ms
(cbrt.f64 z)
Compiler

Compiled 552 to 425 computations (23% saved)

simplify69.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049761251
149761251

prune94.0ms (0.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

PrunedKeptTotal
New1091110
Fresh088
Picked011
Done022
Total10912121
Error
0.0b
Counts
121 → 12
Compiler

Compiled 1644 to 508 computations (69.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite124.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
73×add-exp-log_binary64_13415
35×add-cbrt-cube_binary64_13413
32×prod-exp_binary64_13426 cbrt-unprod_binary64_13410
22×div-exp_binary64_13428 cbrt-undiv_binary64_13411
12×cbrt-prod_binary64_13408
10×add-cube-cbrt_binary64_13412 add-sqr-sqrt_binary64_13399 *-un-lft-identity_binary64_13377 associate-*l*_binary64_13318
9×pow1_binary64_13438
6×times-frac_binary64_13383
5×frac-times_binary64_13387 associate-*r/_binary64_13319
4×add-log-exp_binary64_13416
3×pow-prod-down_binary64_13448 associate-*l/_binary64_13320 pow1/3_binary64_13459
1×div-inv_binary64_13374 associate-*r*_binary64_13317 *-commutative_binary64_13308
Counts
4 → 91
Calls

4 calls:

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

Compiled 2486 to 315 computations (87.3% saved)

series592.0ms (2.5%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

222.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 z)) (*.f64 (/.f64 y (cbrt.f64 z)) (/.f64 (cbrt.f64 x) (cbrt.f64 z))))
125.0ms
(cbrt.f64 z)
117.0ms
(cbrt.f64 z)
114.0ms
(cbrt.f64 z)
Compiler

Compiled 762 to 505 computations (33.7% saved)

simplify72.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05067977

prune82.0ms (0.3%)

Pruning

13 alts after pruning (9 fresh and 4 done)

PrunedKeptTotal
New1081109
Fresh088
Picked011
Done033
Total10813121
Error
0.0b
Counts
121 → 13
Compiler

Compiled 1622 to 324 computations (80% saved)

regimes514.0ms (2.1%)

Accuracy

Total 2.1b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 4769 to 3182 computations (33.3% saved)

bsearch0.0ms (0%)

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01431
11431
Compiler

Compiled 38 to 24 computations (36.8% saved)

end0.0ms (0%)

sample18.3s (76.1%)

Algorithm
1×intervals
Results
280.0ms8000×body128valid
85.0ms1599×body128invalid
Compiler

Compiled 96734 to 125263 computations (-29.5% saved)

Profiling

Loading profile data...