Details

Time bar (total: 13.6s)

analyze1.5s (11%)

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
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
3.7%96.1%0.2%13
4.2%94.5%1.3%14
Compiler

Compiled 18 to 16 computations (11.1% saved)

sample36.0ms (0.3%)

Algorithm
1×intervals
Results
19.0ms256×body128valid
4.0ms71×body128invalid
Compiler

Compiled 35 to 35 computations (0% saved)

simplify187.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
0488919
1488919

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 43 to 41 computations (4.7% saved)

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.1b
(/.f64 (+.f64 2 (/.f64 2 z)) t)
0.0b
(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
0.0b
(+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t))
0.0b
(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
0.0b
(+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t))
0.1b
(/.f64 (+.f64 2 (/.f64 2 z)) t)

rewrite48.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_21220
12×add-cube-cbrt_binary64_21255 times-frac_binary64_21226 add-sqr-sqrt_binary64_21242
10×add-log-exp_binary64_21259
8×distribute-lft-out_binary64_21171
5×add-cbrt-cube_binary64_21256 add-exp-log_binary64_21258
4×flip3-+_binary64_21223 associate-/l*_binary64_21165 sum-log_binary64_21311 flip-+_binary64_21194
3×pow1_binary64_21281 associate-/r*_binary64_21164
2×associate-/l/_binary64_21167 frac-add_binary64_21228 +-commutative_binary64_21150
1×div-exp_binary64_21271 associate-+r+_binary64_21152 div-inv_binary64_21217 cbrt-undiv_binary64_21254 clear-num_binary64_21219 frac-2neg_binary64_21231
Counts
3 → 62
Calls

6 calls:

19.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
13.0ms
(/.f64 (+.f64 2 (/.f64 2 z)) t)
11.0ms
(+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t))
0.0ms
(+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t))
0.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))

series610.0ms (4.5%)

Counts
3 → 45
Calls

3 calls:

378.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t)))
129.0ms
(+.f64 -2 (/.f64 (+.f64 2 (/.f64 2 z)) t))
102.0ms
(/.f64 (+.f64 2 (/.f64 2 z)) t)
Compiler

Compiled 1071 to 1056 computations (1.4% saved)

simplify76.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
056881915

prune132.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1052107
Fresh101
Picked011
Done000
Total1063109
Error
0b
Counts
109 → 3
Compiler

Compiled 1911 to 1224 computations (35.9% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 2 (*.f64 z t))
0.0b
(+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))
0.0b
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))))
0.0b
(+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t)))
0.0b
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))))
0.0b
(+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t)))
0.0b
(+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))
0.3b
(/.f64 2 (*.f64 z t))

rewrite63.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
30×*-un-lft-identity_binary64_21220
20×add-log-exp_binary64_21259
11×distribute-lft-out_binary64_21171 times-frac_binary64_21226
10×sum-log_binary64_21311
9×add-cbrt-cube_binary64_21256 add-exp-log_binary64_21258
8×add-cube-cbrt_binary64_21255 add-sqr-sqrt_binary64_21242
4×pow1_binary64_21281 flip3-+_binary64_21223 distribute-rgt-out_binary64_21173 flip-+_binary64_21194
3×div-inv_binary64_21217 associate-/l*_binary64_21165 frac-add_binary64_21228 +-commutative_binary64_21150
2×div-exp_binary64_21271 associate-+r+_binary64_21152 cbrt-undiv_binary64_21254
1×distribute-lft1-in_binary64_21175 prod-exp_binary64_21269 associate-/r*_binary64_21164 clear-num_binary64_21219 cbrt-unprod_binary64_21253 frac-2neg_binary64_21231
Counts
4 → 74
Calls

8 calls:

21.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))))
14.0ms
(+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t)))
11.0ms
(+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))
5.0ms
(/.f64 2 (*.f64 z t))
0.0ms
(+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t)))

series682.0ms (5%)

Counts
4 → 51
Calls

4 calls:

383.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))))
129.0ms
(+.f64 -2 (+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t)))
109.0ms
(+.f64 (/.f64 2 (*.f64 z t)) (/.f64 2 t))
60.0ms
(/.f64 2 (*.f64 z t))
Compiler

Compiled 1251 to 1224 computations (2.2% saved)

simplify88.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049892135
149892135

prune114.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1250125
Fresh011
Picked011
Done011
Total1253128
Error
0b
Counts
128 → 3
Compiler

Compiled 2283 to 1346 computations (41% saved)

localize16.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2)
0.0b
(+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))
0.0b
(+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))
0.0b
(+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))
0.4b
(*.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))))
0.6b
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
0.6b
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
0.6b
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))

rewrite127.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
74×*-un-lft-identity_binary64_21220
52×cbrt-div_binary64_21252
51×cbrt-prod_binary64_21251
33×distribute-lft-out_binary64_21171
26×flip3-+_binary64_21223 frac-add_binary64_21228 flip-+_binary64_21194
23×add-sqr-sqrt_binary64_21242
16×frac-times_binary64_21230
15×add-cube-cbrt_binary64_21255
14×swap-sqr_binary64_21187
11×pow1_binary64_21281
9×pow1/3_binary64_21302
8×associate-*r*_binary64_21160 associate-*l*_binary64_21161
6×add-exp-log_binary64_21258
4×add-log-exp_binary64_21259 add-cbrt-cube_binary64_21256 associate-*l/_binary64_21163 associate-*r/_binary64_21162 unswap-sqr_binary64_21188
2×pow-sqr_binary64_21193 pow-prod-down_binary64_21291 pow-prod-up_binary64_21290
1×*-commutative_binary64_21151 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 pow2_binary64_21301 pow-plus_binary64_21283
Counts
4 → 127
Calls

8 calls:

47.0ms
(*.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))))
18.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
18.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
18.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
0.0ms
(+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))

series5.7s (41.9%)

Counts
4 → 96
Calls

4 calls:

3.2s
(*.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y))))
826.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
825.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
823.0ms
(cbrt.f64 (+.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) -2) (/.f64 x y)))
Compiler

Compiled 16628 to 13124 computations (21.1% saved)

simplify177.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
223 → 223
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
0495210692
1495210692

prune839.0ms (6.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2230223
Fresh000
Picked011
Done022
Total2233226
Error
0b
Counts
226 → 3
Compiler

Compiled 13083 to 8776 computations (32.9% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0121394
1121394

regimes170.0ms (1.3%)

Compiler

Compiled 1359 to 1377 computations (-1.3% saved)

bsearch0.0ms (0%)

regimes219.0ms (1.6%)

Compiler

Compiled 384 to 522 computations (-35.9% saved)

bsearch44.0ms (0.3%)

Steps
ItersRangePoint
9
0.008960067734934822
91956.26103508867
1.982247185123842
9
-1799472788.1463735
-27438.120133036322
-27694.13932792402
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes203.0ms (1.5%)

Compiler

Compiled 274 to 412 computations (-50.4% saved)

bsearch44.0ms (0.3%)

Steps
ItersRangePoint
8
1.763339188091851e+32
6.539212657397282e+36
1.8113297382242166e+32
9
-2.3814046965274717e+17
-1799472788.1463735
-213270412459.23285
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes141.0ms (1%)

Compiler

Compiled 219 to 352 computations (-60.7% saved)

bsearch51.0ms (0.4%)

Steps
ItersRangePoint
8
1.6723151904220677e-10
9.893987508761335e-07
3.9837182419270496e-08
10
-0.0037547368801661685
-4.037911347566706e-19
-1.916564809743049e-10
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes247.0ms (1.8%)

Compiler

Compiled 174 to 302 computations (-73.6% saved)

bsearch38.0ms (0.3%)

Steps
ItersRangePoint
8
4.2786428411759145e-17
1.8224408037465305e-13
1.79565891073365e-13
7
-27835553167.352806
-130639427.0517865
-866746623.8901827
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes110.0ms (0.8%)

Compiler

Compiled 94 to 212 computations (-125.5% saved)

bsearch85.0ms (0.6%)

Steps
ItersRangePoint
8
4.2786428411759145e-17
1.8224408037465305e-13
1.5814037666306062e-13
8
-1.7611106063453726e-175
-1.1494263960248207e-178
-1.735123305415935e-175
5
-5.07915889854561e-60
-2.0307343523407424e-60
-2.0577384380194943e-60
7
-27835553167.352806
-130639427.0517865
-508697225.00452185
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes134.0ms (1%)

Compiler

Compiled 69 to 177 computations (-156.5% saved)

bsearch42.0ms (0.3%)

Steps
ItersRangePoint
9
6.539212657397282e+36
2.939555883384907e+42
6.636955697355784e+36
9
-2.3814046965274717e+17
-1799472788.1463735
-5057382145.258428
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes75.0ms (0.6%)

Compiler

Compiled 44 to 142 computations (-222.7% saved)

bsearch43.0ms (0.3%)

Steps
ItersRangePoint
8
6.599420019962704e+16
2.8042207468481237e+19
6.660559650711322e+16
10
-27438.120133036322
-9.830207973363983e-12
-1.0143738727907385
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes37.0ms (0.3%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch0.0ms (0%)

regimes34.0ms (0.3%)

Accuracy

Total 0.1b remaining (80.5%)

Threshold costs 0.1b (80.5%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch10.0ms (0.1%)

Compiler

Compiled 244 to 180 computations (26.2% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0120302
1120302

end0.0ms (0%)

sample1.4s (10.5%)

Algorithm
1×intervals
Results
422.0ms8000×body128valid
127.0ms2320×body128invalid
Compiler

Compiled 505 to 468 computations (7.3% saved)

Pareto

0.2890391194466013

Profiling

Loading profile data...