Rosa's Benchmark

Time bar (total: 5.3s)

analyze1.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)

sample5.0s (92.9%)

Results
1.6s8256×0valid-rival
1.1s8255×0valid-sollya
5.0ms1×0exit-sollya
Bogosity

preprocess329.0ms (6.2%)

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)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.7%
(-.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)

simplify6.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))))

soundness1.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess42.0ms (0.8%)

Remove

(negabs x)

Compiler

Compiled 96 to 64 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...