Details

Time bar (total: 28.4s)

analyze967.0ms (3.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0498491
1498491
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
17.2%82.7%0.2%9
22.6%77.2%0.2%10
25.7%74.1%0.2%11
28.3%69.9%1.9%12
40.1%55.3%4.6%13
44.4%49.9%5.8%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample701.0ms (2.5%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
4.0ms74×body128invalid
Compiler

Compiled 3319 to 4311 computations (-29.9% saved)

simplify53.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
073413
173413

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite58.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-sqr-sqrt_binary64_18173
13×associate-*r*_binary64_18091
11×*-un-lft-identity_binary64_18151
10×times-frac_binary64_18157
9×add-cube-cbrt_binary64_18186
6×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
5×associate-*l*_binary64_18092
3×pow1_binary64_18212
2×prod-exp_binary64_18200 cbrt-unprod_binary64_18184 flip3--_binary64_18155 frac-times_binary64_18161 flip--_binary64_18126 unswap-sqr_binary64_18119 associate-*l/_binary64_18094
1×pow-prod-down_binary64_18222 div-exp_binary64_18202 add-log-exp_binary64_18190 cbrt-undiv_binary64_18185 associate-*r/_binary64_18093 difference-of-squares_binary64_18120 distribute-lft-out--_binary64_18103 div-inv_binary64_18148 *-commutative_binary64_18082
Counts
1 → 38
Calls

1 calls:

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

Compiled 641 to 195 computations (69.6% saved)

series324.0ms (1.1%)

Error
0.1b
Counts
1 → 18
Calls

1 calls:

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

Compiled 510 to 304 computations (40.4% saved)

simplify57.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05760702

prune53.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New51556
Fresh000
Picked011
Done000
Total51657
Error
0b
Counts
57 → 6
Compiler

Compiled 796 to 223 computations (72% saved)

localize11.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)
4.8b
(*.f64 (*.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))

rewrite114.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×add-exp-log_binary64_18189
22×associate-*r*_binary64_18091
20×add-cube-cbrt_binary64_18186 add-sqr-sqrt_binary64_18173 *-un-lft-identity_binary64_18151
18×add-cbrt-cube_binary64_18187 times-frac_binary64_18157 cbrt-prod_binary64_18182
13×pow1_binary64_18212
12×prod-exp_binary64_18200 cbrt-unprod_binary64_18184
6×pow-prod-down_binary64_18222 associate-*l/_binary64_18094
4×add-log-exp_binary64_18190
3×div-exp_binary64_18202 cbrt-undiv_binary64_18185 pow1/3_binary64_18233
2×flip3--_binary64_18155 frac-times_binary64_18161 flip--_binary64_18126
1×associate-*r/_binary64_18093 associate-*l*_binary64_18092 div-inv_binary64_18148 *-commutative_binary64_18082
Counts
4 → 84
Calls

4 calls:

16.0ms
(*.f64 (*.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
Compiler

Compiled 1987 to 423 computations (78.7% saved)

series719.0ms (2.5%)

Error
0b
Counts
4 → 27
Calls

4 calls:

353.0ms
(*.f64 (*.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))
123.0ms
(cbrt.f64 z)
115.0ms
(cbrt.f64 z)
109.0ms
(cbrt.f64 z)
Compiler

Compiled 1035 to 662 computations (36% saved)

simplify76.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050251244

prune92.0ms (0.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1110111
Fresh044
Picked011
Done011
Total1116117
Error
0b
Counts
117 → 6
Compiler

Compiled 1875 to 512 computations (72.7% saved)

localize7.0ms (0%)

Local error

Found 1 expressions with local error:

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

rewrite45.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
22×add-sqr-sqrt_binary64_18173
19×associate-*r*_binary64_18091
17×*-un-lft-identity_binary64_18151
16×times-frac_binary64_18157
11×add-cube-cbrt_binary64_18186
6×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
3×pow1_binary64_18212 associate-*l*_binary64_18092 difference-of-squares_binary64_18120 distribute-lft-out--_binary64_18103
2×prod-exp_binary64_18200 cbrt-unprod_binary64_18184 unswap-sqr_binary64_18119
1×pow-prod-down_binary64_18222 div-exp_binary64_18202 add-log-exp_binary64_18190 cbrt-undiv_binary64_18185 associate-*r/_binary64_18093 div-inv_binary64_18148 *-commutative_binary64_18082
Counts
1 → 38
Calls

1 calls:

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

Compiled 657 to 190 computations (71.1% saved)

series319.0ms (1.1%)

Error
0b
Counts
1 → 18
Calls

1 calls:

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

Compiled 510 to 304 computations (40.4% saved)

simplify57.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05936663

prune39.0ms (0.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh033
Picked011
Done022
Total56662
Error
0b
Counts
62 → 6
Compiler

Compiled 779 to 174 computations (77.7% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

6.5b
(/.f64 (*.f64 x z) t)

rewrite23.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-exp-log_binary64_18189 add-cbrt-cube_binary64_18187
3×add-cube-cbrt_binary64_18186 add-sqr-sqrt_binary64_18173 times-frac_binary64_18157 *-un-lft-identity_binary64_18151 associate-/r*_binary64_18095
2×div-exp_binary64_18202 cbrt-undiv_binary64_18185
1×pow1_binary64_18212 prod-exp_binary64_18200 add-log-exp_binary64_18190 cbrt-unprod_binary64_18184 frac-2neg_binary64_18162 clear-num_binary64_18150 div-inv_binary64_18148 associate-/l*_binary64_18096
Counts
1 → 21
Calls

1 calls:

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

Compiled 277 to 117 computations (57.8% saved)

series149.0ms (0.5%)

Error
0b
Counts
1 → 9
Calls

1 calls:

144.0ms
(/.f64 (*.f64 x z) t)
Compiler

Compiled 216 to 152 computations (29.6% saved)

simplify104.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
04671261
14671261

prune24.0ms (0.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New30030
Fresh022
Picked011
Done033
Total30636
Error
0b
Counts
36 → 6
Compiler

Compiled 312 to 92 computations (70.5% saved)

regimes665.0ms (2.3%)

Accuracy

Total 2.0b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 4529 to 3083 computations (31.9% saved)

bsearch731.0ms (2.6%)

Steps
ItersRangePoint
7
-4.391511365797352e-229
-7.608484737672857e-231
-4.3160844511337236e-229
9
-2.7693620403632635e-37
-1.3705190951889424e-46
-5.177316268779513e-41
Compiler

Compiled 1 to 4 computations (-300% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03640
13640

end0.0ms (0%)

sample23.0s (80.9%)

Algorithm
1×intervals
Results
247.0ms8000×body128valid
149.0ms2485×body128invalid
Compiler

Compiled 105631 to 136827 computations (-29.5% saved)

Profiling

Loading profile data...