Details

Time bar (total: 6.5s)

analyze421.0ms (6.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
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample21.0ms (0.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
3.0ms13×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify102.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
012610
112610

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

3.2b
(/.f64 x (-.f64 y (*.f64 z t)))

rewrite39.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
9×add-cube-cbrt_binary64_12389 add-sqr-sqrt_binary64_12376 times-frac_binary64_12360 *-un-lft-identity_binary64_12354
3×add-exp-log_binary64_12392 add-cbrt-cube_binary64_12390 associate-/l*_binary64_12299 associate-/r*_binary64_12298
2×associate-/r/_binary64_12300
1×pow1_binary64_12415 div-exp_binary64_12405 add-log-exp_binary64_12393 cbrt-undiv_binary64_12388 frac-2neg_binary64_12365 clear-num_binary64_12353 div-inv_binary64_12351 flip3--_binary64_12358 flip--_binary64_12329
Counts
1 → 29
Calls

1 calls:

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

Compiled 469 to 107 computations (77.2% saved)

series145.0ms (2.2%)

Error
3.2b
Counts
1 → 16
Calls

1 calls:

137.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
Compiler

Compiled 459 to 342 computations (25.5% saved)

simplify68.0ms (1%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05554663

prune40.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New39645
Fresh000
Picked011
Done000
Total39746
Error
3.1b
Counts
46 → 7
Compiler

Compiled 652 to 184 computations (71.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.7b
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
2.9b
(/.f64 (-.f64 y (*.f64 t z)) x)

rewrite119.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
84×times-frac_binary64_12360
52×add-cube-cbrt_binary64_12389 add-sqr-sqrt_binary64_12376 *-un-lft-identity_binary64_12354
16×associate-/r*_binary64_12298
15×add-exp-log_binary64_12392
9×add-cbrt-cube_binary64_12390
8×div-exp_binary64_12405
6×div-inv_binary64_12351 associate-/l*_binary64_12299
4×cbrt-undiv_binary64_12388
3×pow1_binary64_12415
2×add-log-exp_binary64_12393 frac-2neg_binary64_12365 clear-num_binary64_12353 associate-/l/_binary64_12301 1-exp_binary64_12398 rec-exp_binary64_12404
1×div-sub_binary64_12359 flip3--_binary64_12358 flip--_binary64_12329 inv-pow_binary64_12439 pow-flip_binary64_12428 associate-/r/_binary64_12300
Counts
2 → 106
Calls

2 calls:

8.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
5.0ms
(/.f64 (-.f64 y (*.f64 t z)) x)
Compiler

Compiled 2120 to 665 computations (68.6% saved)

series334.0ms (5.1%)

Error
3.1b
Counts
2 → 37
Calls

2 calls:

188.0ms
(/.f64 (-.f64 y (*.f64 t z)) x)
128.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
Compiler

Compiled 973 to 718 computations (26.2% saved)

simplify85.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050012525

prune106.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1412143
Fresh325
Picked011
Done011
Total1446150
Error
3.1b
Counts
150 → 6
Compiler

Compiled 2199 to 533 computations (75.8% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b
(/.f64 x (-.f64 y (*.f64 t z)))
15.3b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
15.3b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
15.3b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))

rewrite129.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
45×cbrt-prod_binary64_12385
36×times-frac_binary64_12360
33×add-cube-cbrt_binary64_12389 add-sqr-sqrt_binary64_12376 *-un-lft-identity_binary64_12354
8×associate-/r/_binary64_12300
6×add-exp-log_binary64_12392 add-cbrt-cube_binary64_12390
4×pow1_binary64_12415 add-log-exp_binary64_12393 div-inv_binary64_12351 flip3--_binary64_12358 flip--_binary64_12329
3×pow1/3_binary64_12436 cbrt-div_binary64_12386 associate-/l*_binary64_12299 associate-/r*_binary64_12298
1×div-exp_binary64_12405 cbrt-undiv_binary64_12388 frac-2neg_binary64_12365 clear-num_binary64_12353
Counts
4 → 101
Calls

4 calls:

7.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
5.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
4.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
4.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
Compiler

Compiled 3663 to 442 computations (87.9% saved)

series1.2s (18.3%)

Error
3.1b
Counts
4 → 61
Calls

4 calls:

332.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
326.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
321.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
145.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
Compiler

Compiled 5960 to 3043 computations (48.9% saved)

simplify113.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049112882
149112882

prune134.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1602162
Fresh033
Picked011
Done022
Total1608168
Error
3.1b
Counts
168 → 8
Compiler

Compiled 5231 to 618 computations (88.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b
(/.f64 x (-.f64 y (*.f64 t z)))
9.6b
(cbrt.f64 (-.f64 y (*.f64 t z)))
15.3b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
15.3b
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))

rewrite113.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
33×cbrt-prod_binary64_12385
27×add-cube-cbrt_binary64_12389 add-sqr-sqrt_binary64_12376 times-frac_binary64_12360 *-un-lft-identity_binary64_12354
6×add-exp-log_binary64_12392 add-cbrt-cube_binary64_12390 associate-/r/_binary64_12300
4×pow1_binary64_12415 add-log-exp_binary64_12393 cbrt-div_binary64_12386 flip3--_binary64_12358 flip--_binary64_12329
3×pow1/3_binary64_12436 div-inv_binary64_12351 associate-/l*_binary64_12299 associate-/r*_binary64_12298
1×div-exp_binary64_12405 cbrt-undiv_binary64_12388 frac-2neg_binary64_12365 clear-num_binary64_12353
Counts
4 → 90
Calls

4 calls:

5.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
5.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
4.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
2.0ms
(cbrt.f64 (-.f64 y (*.f64 t z)))
Compiler

Compiled 3324 to 463 computations (86.1% saved)

series1.1s (16.3%)

Error
3.1b
Counts
4 → 64
Calls

4 calls:

334.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
320.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
196.0ms
(cbrt.f64 (-.f64 y (*.f64 t z)))
145.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
Compiler

Compiled 6462 to 3553 computations (45% saved)

simplify77.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050012901

prune142.0ms (2.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New1540154
Fresh044
Picked011
Done033
Total1548162
Error
3.1b
Counts
162 → 8
Compiler

Compiled 5143 to 771 computations (85% saved)

regimes639.0ms (9.8%)

Accuracy

Total 0.1b remaining (3%)

Threshold costs 0.1b (3%)

Compiler

Compiled 7738 to 4667 computations (39.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03510
13510

end0.0ms (0%)

sample1.4s (21.3%)

Algorithm
1×intervals
Results
238.0ms8000×body128valid
9.0ms348×body128invalid
Compiler

Compiled 1152 to 697 computations (39.5% saved)

Profiling

Loading profile data...