Details

Time bar (total: 4.4s)

analyze258.0ms (5.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
6.2%93.6%0.1%6
15.6%84.3%0.1%7
31.2%68.6%0.1%8
39%56.2%4.8%9
50.7%43.7%5.6%10
60.3%33.7%6%11
64.6%26.5%8.9%12
70.5%20.3%9.2%13
74.6%16.1%9.4%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0.4%)

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

Compiled 19 to 20 computations (-5.3% saved)

simplify100.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02013
12013

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-log-exp_binary64_7278
3×*-un-lft-identity_binary64_7239 sum-log_binary64_7330
1×flip-+_binary64_7213 flip3-+_binary64_7242 add-exp-log_binary64_7277 associate-+l+_binary64_7172 distribute-lft-out_binary64_7190 +-commutative_binary64_7169 pow1_binary64_7300 add-cbrt-cube_binary64_7275 add-sqr-sqrt_binary64_7261 add-cube-cbrt_binary64_7274
Counts
1 → 14
Calls

2 calls:

9.0ms
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
0.0ms
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

series122.0ms (2.8%)

Counts
1 → 18
Calls

1 calls:

122.0ms
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
Compiler

Compiled 193 to 186 computations (3.6% saved)

simplify75.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
05140393

prune24.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New31132
Fresh000
Picked011
Done000
Total31233
Error
0.0b
Counts
33 → 2
Compiler

Compiled 328 to 181 computations (44.8% saved)

localize12.0ms (0.3%)

Local error

Found 6 expressions with local error:

39.6b
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3))
0.1b
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3)
0.0b
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.1b
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3)
39.6b
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3))

rewrite32.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_7239
14×cbrt-prod_binary64_7270
9×add-sqr-sqrt_binary64_7261 add-cube-cbrt_binary64_7274
8×add-log-exp_binary64_7278 cube-prod_binary64_7267 unpow-prod-down_binary64_7318
5×distribute-lft-out_binary64_7190
4×add-exp-log_binary64_7277 cube-div_binary64_7268 pow1_binary64_7300 add-cbrt-cube_binary64_7275
3×flip-+_binary64_7213 flip3-+_binary64_7242 pow-unpow_binary64_7316 sum-log_binary64_7330
2×sqr-pow_binary64_7211 cube-mult_binary64_7269 cbrt-div_binary64_7271 unpow3_binary64_7305
1×rem-cbrt-cube_binary64_7263 pow-to-exp_binary64_7308 pow1/3_binary64_7321 pow-exp_binary64_7307 pow-pow_binary64_7311 +-commutative_binary64_7169 rem-cube-cbrt_binary64_7262 associate-+r+_binary64_7171
Counts
3 → 66
Calls

6 calls:

9.0ms
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3))
9.0ms
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3)
8.0ms
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0ms
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0ms
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3)

series558.0ms (12.6%)

Counts
3 → 72
Calls

3 calls:

303.0ms
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3)
129.0ms
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
125.0ms
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 3))
Compiler

Compiled 2243 to 1890 computations (15.7% saved)

simplify60.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
052893868

prune136.0ms (3.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1371138
Fresh000
Picked101
Done011
Total1382140
Error
0b
Counts
140 → 2
Compiler

Compiled 3027 to 1645 computations (45.7% saved)

localize15.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)) (cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
0.1b
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)
0.0b
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.1b
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)
0.3b
(*.f64 (cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)) (cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
0.6b
(cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
28.9b
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2))

rewrite60.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
41×cbrt-prod_binary64_7270
30×add-sqr-sqrt_binary64_7261
24×*-un-lft-identity_binary64_7239
14×unpow-prod-down_binary64_7318 add-cube-cbrt_binary64_7274
12×associate-*l*_binary64_7180
10×unswap-sqr_binary64_7207
7×add-exp-log_binary64_7277 pow1_binary64_7300 unpow2_binary64_7304 associate-*r*_binary64_7179
5×sqr-pow_binary64_7211 distribute-lft-out_binary64_7190
4×add-log-exp_binary64_7278 pow1/3_binary64_7321 cbrt-div_binary64_7271 add-cbrt-cube_binary64_7275
3×pow-unpow_binary64_7316
2×flip-+_binary64_7213 associate-*r/_binary64_7181 flip3-+_binary64_7242 pow-prod-down_binary64_7310
1×cbrt-unprod_binary64_7272 pow-to-exp_binary64_7308 pow3_binary64_7322 pow-exp_binary64_7307 pow-pow_binary64_7311 *-commutative_binary64_7170 prod-exp_binary64_7288 rem-3cbrt-lft_binary64_7264
Counts
4 → 95
Calls

8 calls:

24.0ms
(*.f64 (cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)) (cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
9.0ms
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)
9.0ms
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2))
7.0ms
(cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
0.0ms
(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))

series1.2s (28%)

Counts
4 → 80
Calls

4 calls:

536.0ms
(cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2))
298.0ms
(pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)
271.0ms
(cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
136.0ms
(*.f64 (cbrt.f64 (pow.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))) 2)) (cbrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
Compiler

Compiled 4901 to 3934 computations (19.7% saved)

simplify75.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050484635

prune226.0ms (5.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1750175
Fresh000
Picked011
Done011
Total1752177
Error
0b
Counts
177 → 2
Compiler

Compiled 4955 to 2869 computations (42.1% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
038187
138187

regimes66.0ms (1.5%)

Compiler

Compiled 393 to 357 computations (9.2% saved)

bsearch0.0ms (0%)

regimes112.0ms (2.5%)

Compiler

Compiled 57 to 111 computations (-94.7% saved)

bsearch71.0ms (1.6%)

Steps
ItersRangePoint
10
1.9165486276438393e+247
2.5550443720247506e+257
2.3076460644555176e+247
10
3.2744964131700286e+191
2.4606577204007365e+204
3.967091293867695e+203
7
2010627.0788228896
122249519.29068768
3423479.55969982
10
-88591017432.01973
-0.00010219244386167524
-1134533.0004973644
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes134.0ms (3%)

Compiler

Compiled 42 to 93 computations (-121.4% saved)

bsearch23.0ms (0.5%)

Steps
ItersRangePoint
7
2.463394735221874e+92
1.1055039331319414e+94
3.2605158133931097e+92
7
-1.329884784241661e+77
-2.689562155444405e+75
-6.002232716397476e+75
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes100.0ms (2.3%)

Compiler

Compiled 27 to 75 computations (-177.8% saved)

bsearch62.0ms (1.4%)

Steps
ItersRangePoint
10
1.9165486276438393e+247
2.5550443720247506e+257
4.027074399529589e+247
10
3.2744964131700286e+191
2.4606577204007365e+204
9.175209039785383e+197
7
2010627.0788228896
122249519.29068768
117606286.04561709
8
-1.5119998761032196e+26
-2.4474147678546465e+21
-5.130097724137686e+22
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.7%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.6%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.6%)

Accuracy

Total 0.0b remaining (70.8%)

Threshold costs 0.0b (70.8%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch5.0ms (0.1%)

Compiler

Compiled 91 to 74 computations (18.7% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
073123
173123

end0.0ms (0%)

sample735.0ms (16.6%)

Algorithm
1×intervals
Results
225.0ms7999×body128valid
8.0ms305×body128invalid
0.0ms1×body1024valid
Compiler

Compiled 225 to 201 computations (10.7% saved)

Pareto

0.3827103129156291

Profiling

Loading profile data...