Details

Time bar (total: 12.1s)

analyze1.4s (11.4%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.8%98%0.3%13
2.4%97.3%0.3%14
Compiler

Compiled 16 to 14 computations (12.5% saved)

sample35.0ms (0.3%)

Algorithm
intervals
Results
12.0ms256×body128valid
6.0ms122×body128invalid
Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify98.0ms (0.8%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
08119
18119

prune9.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 41 to 37 computations (9.8% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

5.9b
(*.f64 (*.f64 a z) b)
0.0b
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
0.0b
(+.f64 x (*.f64 y z))
0.0b
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
0.0b
(+.f64 x (*.f64 y z))
0.0b
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
0.0b
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
5.9b
(*.f64 (*.f64 a z) b)

rewrite27.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
20×add-log-exp_binary64_18190
10×sum-log_binary64_18242
pow1_binary64_18212 add-cbrt-cube_binary64_18187 add-exp-log_binary64_18189
*-un-lft-identity_binary64_18151 add-sqr-sqrt_binary64_18173 add-cube-cbrt_binary64_18186
pow-prod-down_binary64_18222 flip-+_binary64_18125 associate-*r*_binary64_18091 +-commutative_binary64_18081 prod-exp_binary64_18200 cbrt-unprod_binary64_18184 flip3-+_binary64_18154
associate-+l+_binary64_18084
*-commutative_binary64_18082 associate-*l*_binary64_18092
Counts
4 → 56
Calls

8 calls:

9.0ms
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
5.0ms
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
5.0ms
(*.f64 (*.f64 a z) b)
3.0ms
(+.f64 x (*.f64 y z))
0.0ms
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))

series749.0ms (6.2%)

Counts
4 → 93
Calls

4 calls:

383.0ms
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
190.0ms
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
98.0ms
(*.f64 (*.f64 a z) b)
77.0ms
(+.f64 x (*.f64 y z))
Compiler

Compiled 1888 to 1736 computations (8.1% saved)

simplify62.0ms (0.5%)

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050011837

prune106.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1481149
Fresh011
Picked011
Done000
Total1483151
Error
0.0b
Counts
151 → 3
Compiler

Compiled 2282 to 243 computations (89.4% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

2.5b
(*.f64 a (+.f64 t (*.f64 z b)))
0.0b
(+.f64 t (*.f64 z b))
0.0b
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
0.0b
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
0.0b
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
0.0b
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
0.0b
(+.f64 t (*.f64 z b))
2.5b
(*.f64 a (+.f64 t (*.f64 z b)))

rewrite25.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
13×add-log-exp_binary64_18190
*-un-lft-identity_binary64_18151 add-sqr-sqrt_binary64_18173
pow1_binary64_18212 add-cbrt-cube_binary64_18187 add-exp-log_binary64_18189 add-cube-cbrt_binary64_18186
sum-log_binary64_18242
flip-+_binary64_18125 flip3-+_binary64_18154
associate-*r*_binary64_18091 +-commutative_binary64_18081 associate-*l*_binary64_18092 associate-+r+_binary64_18083
associate-*r/_binary64_18093 distribute-rgt-in_binary64_18101 distribute-lft-in_binary64_18100
distribute-lft-out_binary64_18102 unswap-sqr_binary64_18119 pow-prod-down_binary64_18222 *-commutative_binary64_18082 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
4 → 60
Calls

8 calls:

6.0ms
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
6.0ms
(*.f64 a (+.f64 t (*.f64 z b)))
4.0ms
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
3.0ms
(+.f64 t (*.f64 z b))
0.0ms
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))

series916.0ms (7.6%)

Counts
4 → 105
Calls

4 calls:

385.0ms
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
297.0ms
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
153.0ms
(*.f64 a (+.f64 t (*.f64 z b)))
81.0ms
(+.f64 t (*.f64 z b))
Compiler

Compiled 1971 to 1860 computations (5.6% saved)

simplify78.0ms (0.6%)

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050162180

prune96.0ms (0.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1641165
Fresh011
Picked011
Done011
Total1644168
Error
0b
Counts
168 → 4
Compiler

Compiled 2346 to 293 computations (87.5% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

3.4b
(*.f64 z (+.f64 y (*.f64 a b)))
0.0b
(+.f64 y (*.f64 a b))
0.0b
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (+.f64 y (*.f64 a b)))))
0.0b
(+.f64 x (*.f64 z (+.f64 y (*.f64 a b))))
0.0b
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (+.f64 y (*.f64 a b)))))
0.0b
(+.f64 x (*.f64 z (+.f64 y (*.f64 a b))))
0.0b
(+.f64 y (*.f64 a b))
3.4b
(*.f64 z (+.f64 y (*.f64 a b)))

rewrite24.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
13×add-log-exp_binary64_18190
add-sqr-sqrt_binary64_18173
pow1_binary64_18212 add-cbrt-cube_binary64_18187 *-un-lft-identity_binary64_18151 add-exp-log_binary64_18189 add-cube-cbrt_binary64_18186
sum-log_binary64_18242
flip-+_binary64_18125 flip3-+_binary64_18154
associate-*r*_binary64_18091 +-commutative_binary64_18081 associate-*l*_binary64_18092 associate-+r+_binary64_18083
associate-*r/_binary64_18093 distribute-rgt-in_binary64_18101 distribute-lft-in_binary64_18100
unswap-sqr_binary64_18119 pow-prod-down_binary64_18222 *-commutative_binary64_18082 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
4 → 59
Calls

8 calls:

6.0ms
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (+.f64 y (*.f64 a b)))))
6.0ms
(*.f64 z (+.f64 y (*.f64 a b)))
4.0ms
(+.f64 x (*.f64 z (+.f64 y (*.f64 a b))))
3.0ms
(+.f64 y (*.f64 a b))
0.0ms
(+.f64 x (*.f64 z (+.f64 y (*.f64 a b))))

series858.0ms (7.1%)

Counts
4 → 105
Calls

4 calls:

385.0ms
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (+.f64 y (*.f64 a b)))))
242.0ms
(+.f64 x (*.f64 z (+.f64 y (*.f64 a b))))
155.0ms
(*.f64 z (+.f64 y (*.f64 a b)))
76.0ms
(+.f64 y (*.f64 a b))
Compiler

Compiled 1989 to 1869 computations (6% saved)

simplify60.0ms (0.5%)

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
051202050

prune93.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1631164
Fresh101
Picked011
Done022
Total1644168
Error
0b
Counts
168 → 4
Compiler

Compiled 2317 to 278 computations (88% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(pow.f64 (+.f64 y (*.f64 a b)) 3)
0.0b
(+.f64 y (*.f64 a b))
0.0b
(+.f64 x (*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3))))
0.0b
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3)))))
0.0b
(+.f64 y (*.f64 a b))
0.1b
(pow.f64 (+.f64 y (*.f64 a b)) 3)
3.4b
(*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3)))
31.3b
(cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3))

rewrite31.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
28×cbrt-prod_binary64_18182
24×add-sqr-sqrt_binary64_18173
15×*-un-lft-identity_binary64_18151 associate-*r*_binary64_18091 add-cube-cbrt_binary64_18186
10×unpow-prod-down_binary64_18230 cube-prod_binary64_18179
pow1_binary64_18212 add-exp-log_binary64_18189
add-cbrt-cube_binary64_18187 cube-div_binary64_18180 add-log-exp_binary64_18190
unswap-sqr_binary64_18119
flip-+_binary64_18125 sqr-pow_binary64_18123 flip3-+_binary64_18154 cbrt-div_binary64_18183
pow-unpow_binary64_18228 unpow3_binary64_18217 cube-mult_binary64_18181 associate-*l*_binary64_18092
associate-*r/_binary64_18093
pow-to-exp_binary64_18220 pow-exp_binary64_18219 pow-prod-down_binary64_18222 *-commutative_binary64_18082 rem-cube-cbrt_binary64_18174 pow1/3_binary64_18233 rem-cbrt-cube_binary64_18175 pow-pow_binary64_18223 +-commutative_binary64_18081 sum-log_binary64_18242 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
4 → 95
Calls

8 calls:

10.0ms
(*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3)))
4.0ms
(cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3))
4.0ms
(pow.f64 (+.f64 y (*.f64 a b)) 3)
3.0ms
(+.f64 y (*.f64 a b))
0.0ms
(+.f64 (*.f64 a t) (+.f64 x (*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3)))))

series471.0ms (3.9%)

Counts
4 → 93
Calls

4 calls:

158.0ms
(pow.f64 (+.f64 y (*.f64 a b)) 3)
155.0ms
(*.f64 z (cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3)))
80.0ms
(cbrt.f64 (pow.f64 (+.f64 y (*.f64 a b)) 3))
78.0ms
(+.f64 y (*.f64 a b))
Compiler

Compiled 2230 to 2032 computations (8.9% saved)

simplify91.0ms (0.8%)

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049712575
149712575

prune149.0ms (1.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1880188
Fresh000
Picked011
Done033
Total1884192
Error
0b
Counts
192 → 4
Compiler

Compiled 3688 to 1130 computations (69.4% saved)

simplify7.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0112348
1112348

regimes360.0ms (3%)

Compiler

Compiled 1458 to 1572 computations (-7.8% saved)

bsearch56.0ms (0.5%)

Steps
ItersRangePoint
9
1.0571863192956286e-76
2.5705072426170423e-69
2.676632411961761e-75
10
-8.755104028342947e-45
-4.054493462570419e-55
-8.47331770737554e-45
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes229.0ms (1.9%)

Compiler

Compiled 654 to 1038 computations (-58.7% saved)

bsearch48.0ms (0.4%)

Steps
ItersRangePoint
7
5.1818429883255683e-188
1.6541599549178573e-186
8.318023686747397e-188
8
-4.845395087777046e-195
-2.2975244072243222e-198
-2.1230643997964132e-197
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes320.0ms (2.7%)

Compiler

Compiled 576 to 966 computations (-67.7% saved)

bsearch154.0ms (1.3%)

Steps
ItersRangePoint
11
3.265836229288353e+48
9.952229264754282e+73
7.238714085294908e+58
9
-2.1919803070149908e-290
-8.146514802195014e-296
-6.299296492312375e-291
8
-1.9304308407307795e-19
-5.751051951007222e-23
-4.373758221644222e-22
6
-2.7791016668789242e+101
-2.995409668406637e+100
-2.6717041202288387e+101
10
-8.559538658480518e+162
-6.272713870748316e+152
-6.8930790922360095e+152
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes271.0ms (2.2%)

Compiler

Compiled 510 to 900 computations (-76.5% saved)

bsearch84.0ms (0.7%)

Steps
ItersRangePoint
11
3.265836229288353e+48
9.952229264754282e+73
7.173571613651311e+64
9
-2.1919803070149908e-290
-8.146514802195014e-296
-3.652234854062094e-293
8
-1.9304308407307795e-19
-5.751051951007222e-23
-7.564774461131198e-23
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes256.0ms (2.1%)

Compiler

Compiled 456 to 840 computations (-84.2% saved)

bsearch67.0ms (0.6%)

Steps
ItersRangePoint
7
2.4158460312131696e+82
4.7602183060011604e+83
4.541560410564862e+82
10
-4.834831204212938e+130
-6.1813187933607345e+118
-8.133286699910391e+119
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes203.0ms (1.7%)

Compiler

Compiled 402 to 780 computations (-94% saved)

bsearch22.0ms (0.2%)

Steps
ItersRangePoint
4
1.70763487348868e-187
3.029761009253787e-187
1.7972959645303482e-187
3
1.2402005327258503e-209
1.693232400183673e-209
1.6082889250353312e-209
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes422.0ms (3.5%)

Compiler

Compiled 348 to 720 computations (-106.9% saved)

bsearch57.0ms (0.5%)

Steps
ItersRangePoint
7
1.194119496676876e+76
1.3086632505861842e+78
9.094974354333698e+77
6
9.113705746689243e-239
7.509264032939656e-238
6.780882240567086e-238
5
-5.751051951007222e-23
-1.744641117303504e-23
-5.312283232766349e-23
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes407.0ms (3.4%)

Compiler

Compiled 306 to 666 computations (-117.6% saved)

bsearch160.0ms (1.3%)

Steps
ItersRangePoint
9
2.6585771371574033e+140
1.4709956318864859e+149
2.7126171027806673e+140
7
1.194119496676876e+76
1.3086632505861842e+78
1.2352505870065415e+78
6
9.113705746689243e-239
7.509264032939656e-238
7.363587674465142e-238
5
-5.751051951007222e-23
-1.744641117303504e-23
-4.4255821400711167e-23
6
-2.7791016668789242e+101
-2.995409668406637e+100
-2.456909026928667e+101
10
-8.559538658480518e+162
-6.272713870748316e+152
-8.189215736993678e+157
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes284.0ms (2.4%)

Compiler

Compiled 222 to 558 computations (-151.4% saved)

bsearch103.0ms (0.9%)

Steps
ItersRangePoint
9
2.6585771371574033e+140
1.4709956318864859e+149
2.9287769652737246e+140
7
1.194119496676876e+76
1.3086632505861842e+78
1.1863088112867798e+78
6
9.113705746689243e-239
7.509264032939656e-238
7.363587674465142e-238
8
-1.9304308407307795e-19
-5.751051951007222e-23
-6.114931831363238e-22
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes256.0ms (2.1%)

Compiler

Compiled 192 to 510 computations (-165.6% saved)

bsearch39.0ms (0.3%)

Steps
ItersRangePoint
6
9.113705746689243e-239
7.509264032939656e-238
7.072234957516114e-238
8
-1.9304308407307795e-19
-5.751051951007222e-23
-4.632893299996056e-21
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes157.0ms (1.3%)

Compiler

Compiled 132 to 414 computations (-213.6% saved)

bsearch44.0ms (0.4%)

Steps
ItersRangePoint
8
4.892567670101947e+150
2.0936933696662727e+154
1.1416021359785604e+151
4
-0.007377094814989948
-0.004718264836573531
-0.007294006378164435
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes330.0ms (2.7%)

Compiler

Compiled 102 to 366 computations (-258.8% saved)

bsearch165.0ms (1.4%)

Steps
ItersRangePoint
9
1.2523863521396216e+39
1.6090658953228126e+46
9.851096892267522e+39
9
1.3615930298841473e-291
4.8103573548418584e-285
5.260880275461012e-290
10
-3.507292542625199e-158
-4.696062973319281e-169
-2.2248165631983694e-168
7
-4.60582892707495e-92
-1.299439304971575e-93
-1.832601650028201e-92
9
-5.730548326797809e-86
-6.960464700789193e-91
-1.1975721068622777e-89
9
-2.3874861482158485e-25
-1.4086579061339368e-34
-7.1841344922596e-30
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes175.0ms (1.5%)

Compiler

Compiled 54 to 276 computations (-411.1% saved)

bsearch51.0ms (0.4%)

Steps
ItersRangePoint
9
1.2523863521396216e+39
1.6090658953228126e+46
1.2680506541622528e+39
7
-4.60582892707495e-92
-1.299439304971575e-93
-4.050763059606233e-92
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes62.0ms (0.5%)

Compiler

Compiled 36 to 234 computations (-550% saved)

bsearch0.0ms (0%)

regimes59.0ms (0.5%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch0.0ms (0%)

regimes54.0ms (0.4%)

Accuracy

Total 0.2b remaining (90.3%)

Threshold costs 0.2b (90.3%)

Compiler

Compiled 24 to 156 computations (-550% saved)

bsearch18.0ms (0.2%)

Compiler

Compiled 517 to 312 computations (39.7% saved)

simplify10.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0195674
1195674

end0.0ms (0%)

sample1.7s (14.4%)

Algorithm
intervals
Results
388.0ms8000×body128valid
173.0ms3781×body128invalid
Compiler

Compiled 767 to 614 computations (19.9% saved)

Pareto

0.2295090806405365

Profiling

Loading profile data...