fabs fraction 1

Time bar (total: 11.0s)

analyze156.0ms (1.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
87.5%87.4%12.5%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
93.8%93.6%6.2%0.1%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample10.6s (96.2%)

Results
1.4s8256×0valid
689.0ms8231×0valid-sollya
4.0ms25×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-3.465047297733714e+82 3432060749361033700.0 -7.12840157359944e-200)1.0096112950153407e+64(1.0096112950153407e+64 1.0096112950153407e+64)+nan.0validexit00.120822#f
(-1353959933352.4744 1.2152915444537236e+203 4.062300808723304e+52)4.5258214437006195e-139(4.5258214437006195e-139 4.5258214437006195e-139)+nan.0validexit00.128048#f
(-4.059644396820532e+163 -7.1345301813591685e-298 -3.642875210121411e+215)+inf.0(+inf.0 +inf.0)+nan.0validexit00.14599099999999998#f
(1.9267868395067954e+261 1.4814425702603537e+89 -9.097271422078955e+213)+inf.0(+inf.0 +inf.0)+nan.0validexit00.13781500000000002#f
(-6.782884853274285e+289 -4.334314684524124e-252 -5.608026493372827e+235)+inf.0(+inf.0 +inf.0)+nan.0validexit00.17137899999999998#f
(3.3057237397881773e-202 1.4673902961598062e+183 -7.467686560801583e-307)2.725927798805874e-183(2.725927798805874e-183 2.725927798805874e-183)+nan.0validexit00.125089#f
(-6.941252485834704e-29 -6.067126225992714e-74 -6.322983450851904e-151)6.592907170553408e+73(6.592907170553408e+73 6.592907170553408e+73)+nan.0validexit00.11210200000000001#f
(4.237171606020346e-49 -2.7365887880871685e+154 -2.9867665958270034e-161)1.4616737514283012e-154(1.4616737514283012e-154 1.4616737514283012e-154)+nan.0validexit00.128744#f
(-3.9172425755352583e+71 4.1677693001166406e-209 8.37887699771938e+258)+inf.0(+inf.0 +inf.0)+nan.0validexit00.142352#f
(1942182455169168000.0 4.350708196132029e+227 3.6421492715937343e+230)1.6258774653481383e+21(1.6258774653481383e+21 1.6258774653481383e+21)+nan.0validexit00.088512#f
(-5.0983415890933944e+116 5.065967817949285e-11 1.2287479662118307e-160)1.0063904415321008e+127(1.0063904415321008e+127 1.0063904415321008e+127)+nan.0validexit00.123094#f
(1.1242195071284627e+139 3.7464297478920415e-147 -3.753745259704177e-297)3.0007756258101827e+285(3.0007756258101827e+285 3.0007756258101827e+285)+nan.0validexit00.127508#f
(-8.221953682500304e+261 -2.7343140085690945e-194 -2.7400144592574497e+108)+inf.0(+inf.0 +inf.0)+nan.0validexit00.139244#f
(1.4175835748540872e+203 -1.154222392982098e-94 1.9173446687161924e+131)+inf.0(+inf.0 +inf.0)+nan.0validexit00.13963699999999998#f
(-8.781112303848452e-93 4.315591565655984e-250 9.881329311954222e+123)2.0105948646785435e+281(2.0105948646785435e+281 2.0105948646785435e+281)+nan.0validexit00.129002#f
(3.2401568098161397e+62 -3.365395660038761e-8 -3.469709559749561e-153)9.627862923490015e+69(9.627862923490015e+69 9.627862923490015e+69)+nan.0validexit00.12472699999999999#f
(4.797456926707205e+163 -3.446570720505848e+296 -1.3536847704499147e+223)1.884262620794227e+90(1.884262620794227e+90 1.884262620794227e+90)+nan.0validexit00.143985#f
(-6.666493551320773e-155 -1.6018266058409774e-37 6.60559964268178e-96)2.497149182947897e+37(2.497149182947897e+37 2.497149182947897e+37)+nan.0validexit00.170575#f
(-2.866901739247344e-286 -1.1808394286465388e+117 1.480404901790117e+169)3.387420764383471e-117(3.387420764383471e-117 3.387420764383471e-117)+nan.0validexit00.294582#f
(3.766317394666214e+141 -9.302617632847891e+39 7.459145322344397e+36)3.0199573803495474e+138(3.0199573803495474e+138 3.0199573803495474e+138)+nan.0validexit00.283322#f
(-2.253161631271649e-258 -2.204493699193568e-60 1.4913432669050998e-35)1.814475587507123e+60(1.814475587507123e+60 1.814475587507123e+60)+nan.0validexit00.20289000000000001#f
(2.1839507974158975e-174 -5.150727027171924e-36 2.949333936578156e+159)7.76589397748816e+35(7.76589397748816e+35 7.76589397748816e+35)+nan.0validexit00.161853#f
(6.1498758640773204e-207 7.515487097413292e-44 7.860673871757999e+43)5.322342980771978e+43(5.322342980771978e+43 5.322342980771978e+43)+nan.0validexit00.197267#f
(-4.1920658076550676e+240 -1.1109478982700752e+53 -1.566422773356533e-149)3.773413509474917e+187(3.773413509474917e+187 3.773413509474917e+187)+nan.0validexit00.267305#f
(2.659712442260299e-190 -6.174807047339618e+113 5.250941086622112e-156)6.477935212118698e-114(6.477935212118698e-114 6.477935212118698e-114)+nan.0validexit00.136741#f
Sollya timings
Total time spent in Sollya 693.0ms
Bogosity

preprocess207.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
1005×fma-neg
538×fma-define
427×times-frac
297×sub-neg
296×associate-+l+
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
054594
1147562
2307546
3763526
42438518
54139491
65763491
77943491
Stop Event
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 4 binary64)) y) (*.f64 (/.f64 (neg.f64 x) y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) (neg.f64 z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 4 binary64)) y) (*.f64 (/.f64 (neg.f64 x) y) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) (neg.f64 z)))))
(fabs.f64 (-.f64 (/.f64 (+.f64 y #s(literal 4 binary64)) x) (*.f64 (/.f64 y x) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 z #s(literal 4 binary64)) y) (*.f64 (/.f64 z y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) z) (*.f64 (/.f64 x z) y)))
Outputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal -4 binary64) x) y)))
(fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) y) (fma.f64 x z (-.f64 #s(literal -4 binary64) x))))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal -4 binary64) x) y)))
(fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) y) (fma.f64 x z (-.f64 #s(literal -4 binary64) x))))
(fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 4 binary64)) y) (*.f64 (/.f64 (neg.f64 x) y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) (neg.f64 x)) y) (*.f64 z (/.f64 x (neg.f64 y)))))
(fabs.f64 (+.f64 (*.f64 (/.f64 x y) z) (/.f64 (-.f64 #s(literal 4 binary64) x) y)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal 4 binary64) x) y)))
(fabs.f64 (fma.f64 (/.f64 x y) (-.f64 #s(literal 1 binary64) z) (/.f64 #s(literal -4 binary64) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal -4 binary64) x) y)))
(fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) y) (fma.f64 x z (-.f64 #s(literal -4 binary64) x))))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) (neg.f64 z))))
(fabs.f64 (+.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (+.f64 x #s(literal 4 binary64)) y)))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 x z (+.f64 x #s(literal 4 binary64)))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 4 binary64)) y) (*.f64 (/.f64 (neg.f64 x) y) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) (neg.f64 x)) y) (*.f64 z (/.f64 x (neg.f64 y))))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (/.f64 x y) z) (/.f64 (-.f64 #s(literal 4 binary64) x) y))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal 4 binary64) x) y))))
(neg.f64 (fabs.f64 (fma.f64 (/.f64 x y) (-.f64 #s(literal 1 binary64) z) (/.f64 #s(literal -4 binary64) y))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) (neg.f64 y)) (*.f64 z (/.f64 x (neg.f64 y))))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal -4 binary64) x) y))))
(neg.f64 (fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) y) (fma.f64 x z (-.f64 #s(literal -4 binary64) x)))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) (neg.f64 z)))))
(neg.f64 (fabs.f64 (+.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (+.f64 x #s(literal 4 binary64)) y))))
(neg.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 x z (+.f64 x #s(literal 4 binary64))))))
(fabs.f64 (-.f64 (/.f64 (+.f64 y #s(literal 4 binary64)) x) (*.f64 (/.f64 y x) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) y) x) (*.f64 z (/.f64 y x))))
(fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) y) x) (*.f64 y (/.f64 z x))))
(fabs.f64 (fma.f64 y (/.f64 z x) (/.f64 (neg.f64 (+.f64 #s(literal 4 binary64) y)) x)))
(fabs.f64 (fma.f64 y (/.f64 z x) (/.f64 (-.f64 #s(literal -4 binary64) y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 z #s(literal 4 binary64)) y) (*.f64 (/.f64 z y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) z) y) (*.f64 x (/.f64 z y))))
(fabs.f64 (-.f64 (/.f64 (+.f64 #s(literal 4 binary64) z) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 #s(literal -4 binary64) z) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) z) (*.f64 (/.f64 x z) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) z) (*.f64 y (/.f64 x z))))
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) z) (*.f64 x (/.f64 y z))))
(fabs.f64 (-.f64 (*.f64 x (/.f64 y z)) (/.f64 (+.f64 x #s(literal 4 binary64)) z)))
(fabs.f64 (fma.f64 x (/.f64 y z) (/.f64 (-.f64 #s(literal -4 binary64) x) z)))
(fabs.f64 (*.f64 (/.f64 #s(literal -1 binary64) z) (fma.f64 x y (-.f64 #s(literal -4 binary64) x))))
Symmetry

(abs y)

Compiler

Compiled 15 to 10 computations (33.3% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
91.0%
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
11×+-commutative
10×sub-neg
9×*-commutative
8×neg-sub0
8×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01750
12650
24450
36050
47550
58550
68850
78950
Stop Event
1×saturated
Calls
Call 1
Inputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Outputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 15 to 10 computations (33.3% saved)

preprocess48.0ms (0.4%)

Remove

(abs y)

Compiler

Compiled 120 to 80 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...