Rosa's Benchmark

Time bar (total: 8.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample7.9s (98%)

Results
1.5s8256×0valid
995.0ms8255×0valid-sollya
0.0ms1×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-5.310715304481206e-38)-5.071359552371784e-38(-5.071359552371784e-38 -5.071359552371784e-38)+nan.0validexit00.109185#f
Sollya timings
Total time spent in Sollya 995.0ms
Bogosity

preprocess118.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
238×fma-define
109×fma-neg
64×associate-*r*
58×associate-*l*
54×distribute-lft-neg-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020180
157112
2183108
3528108
4827108
51039108
61087108
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) (neg.f64 x)) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))))
(neg.f64 (-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) (neg.f64 x)) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))))
Outputs
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
(+.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal -6450306886639899/50000000000000000 binary64) (*.f64 x (*.f64 x x))))
(fma.f64 #s(literal 238732414637843/250000000000000 binary64) x (*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -6450306886639899/50000000000000000 binary64)))
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
(+.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal -6450306886639899/50000000000000000 binary64) (*.f64 x (*.f64 x x))))
(fma.f64 #s(literal 238732414637843/250000000000000 binary64) x (*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -6450306886639899/50000000000000000 binary64)))
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) (neg.f64 x)) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))))
(+.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) (neg.f64 x)) (*.f64 #s(literal -6450306886639899/50000000000000000 binary64) (neg.f64 (*.f64 x (*.f64 x x)))))
(-.f64 (*.f64 x #s(literal -238732414637843/250000000000000 binary64)) (*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -6450306886639899/50000000000000000 binary64)))
(fma.f64 #s(literal 6450306886639899/50000000000000000 binary64) (pow.f64 x #s(literal 3 binary64)) (*.f64 x #s(literal -238732414637843/250000000000000 binary64)))
(neg.f64 (-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) (neg.f64 x)) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))))
(+.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal -6450306886639899/50000000000000000 binary64) (*.f64 x (*.f64 x x))))
(fma.f64 #s(literal 238732414637843/250000000000000 binary64) x (*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -6450306886639899/50000000000000000 binary64)))
Symmetry

(negabs x)

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×*-commutative
6×sub-neg
6×+-commutative
5×distribute-lft-neg-in
5×distribute-rgt-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01243
12143
23343
34543
45543
56043
66243
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
Outputs
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))
(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 x (*.f64 x x))))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess35.0ms (0.4%)

Remove

(negabs x)

Compiler

Compiled 96 to 64 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...