Details

Time bar (total: 6.9s)

analyze843.0ms (12.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0270070
1270070
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
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)

sample25.0ms (0.4%)

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

Compiled 15 to 19 computations (-26.7% saved)

simplify12.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
012610
112610

prune2.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)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite38.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
9×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 times-frac_binary64_19180 *-un-lft-identity_binary64_19174
3×add-exp-log_binary64_19212 add-cbrt-cube_binary64_19210 associate-/l*_binary64_19119 associate-/r*_binary64_19118
2×associate-/r/_binary64_19120
1×pow1_binary64_19235 div-exp_binary64_19225 add-log-exp_binary64_19213 cbrt-undiv_binary64_19208 frac-2neg_binary64_19185 clear-num_binary64_19173 div-inv_binary64_19171 flip3--_binary64_19178 flip--_binary64_19149
Counts
1 → 29
Calls

1 calls:

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

Compiled 469 to 107 computations (77.2% saved)

series140.0ms (2%)

Error
3.2b
Counts
1 → 16
Calls

1 calls:

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

Compiled 459 to 342 computations (25.5% saved)

simplify66.0ms (1%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (54.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)

rewrite114.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
84×times-frac_binary64_19180
52×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 *-un-lft-identity_binary64_19174
16×associate-/r*_binary64_19118
15×add-exp-log_binary64_19212
9×add-cbrt-cube_binary64_19210
8×div-exp_binary64_19225
6×div-inv_binary64_19171 associate-/l*_binary64_19119
4×cbrt-undiv_binary64_19208
3×pow1_binary64_19235
2×add-log-exp_binary64_19213 frac-2neg_binary64_19185 clear-num_binary64_19173 associate-/l/_binary64_19121 1-exp_binary64_19218 rec-exp_binary64_19224
1×div-sub_binary64_19179 flip3--_binary64_19178 flip--_binary64_19149 inv-pow_binary64_19259 pow-flip_binary64_19248 associate-/r/_binary64_19120
Counts
2 → 106
Calls

2 calls:

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

series327.0ms (4.7%)

Error
3.1b
Counts
2 → 37
Calls

2 calls:

185.0ms
(/.f64 (-.f64 y (*.f64 t z)) x)
124.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
Compiler

Compiled 973 to 718 computations (26.2% saved)

simplify82.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050012525

prune99.0ms (1.4%)

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)

localize12.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))))

rewrite124.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
45×cbrt-prod_binary64_19205
36×times-frac_binary64_19180
33×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 *-un-lft-identity_binary64_19174
8×associate-/r/_binary64_19120
6×add-exp-log_binary64_19212 add-cbrt-cube_binary64_19210
4×pow1_binary64_19235 add-log-exp_binary64_19213 div-inv_binary64_19171 flip3--_binary64_19178 flip--_binary64_19149
3×pow1/3_binary64_19256 cbrt-div_binary64_19206 associate-/l*_binary64_19119 associate-/r*_binary64_19118
1×div-exp_binary64_19225 cbrt-undiv_binary64_19208 frac-2neg_binary64_19185 clear-num_binary64_19173
Counts
4 → 101
Calls

4 calls:

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))))
4.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
Compiler

Compiled 3663 to 442 computations (87.9% saved)

series1.1s (16.4%)

Error
3.1b
Counts
4 → 61
Calls

4 calls:

320.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
317.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
310.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
132.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
Compiler

Compiled 5960 to 3043 computations (48.9% saved)

simplify110.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049112882
149112882

prune142.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))))

rewrite107.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
3.1b
Rules
33×cbrt-prod_binary64_19205
27×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 times-frac_binary64_19180 *-un-lft-identity_binary64_19174
6×add-exp-log_binary64_19212 add-cbrt-cube_binary64_19210 associate-/r/_binary64_19120
4×pow1_binary64_19235 add-log-exp_binary64_19213 cbrt-div_binary64_19206 flip3--_binary64_19178 flip--_binary64_19149
3×pow1/3_binary64_19256 div-inv_binary64_19171 associate-/l*_binary64_19119 associate-/r*_binary64_19118
1×div-exp_binary64_19225 cbrt-undiv_binary64_19208 frac-2neg_binary64_19185 clear-num_binary64_19173
Counts
4 → 90
Calls

4 calls:

6.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
4.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.0s (15%)

Error
3.1b
Counts
4 → 62
Calls

4 calls:

326.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
325.0ms
(cbrt.f64 (/.f64 x (-.f64 y (*.f64 t z))))
180.0ms
(cbrt.f64 (-.f64 y (*.f64 t z)))
138.0ms
(/.f64 x (-.f64 y (*.f64 t z)))
Compiler

Compiled 6207 to 3408 computations (45.1% saved)

simplify97.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049672843
149672843

prune143.0ms (2.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New1520152
Fresh044
Picked011
Done033
Total1528160
Error
3.1b
Counts
160 → 8
Compiler

Compiled 5057 to 740 computations (85.4% saved)

regimes620.0ms (9%)

Accuracy

Total 0.1b remaining (3%)

Threshold costs 0.1b (3%)

Compiler

Compiled 7738 to 4667 computations (39.7% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03510
13510
Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

sample1.6s (22.7%)

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

Compiled 1152 to 697 computations (39.5% saved)

Profiling

Loading profile data...