Rosa's Benchmark

Time bar (total: 891.0ms)

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)

sample727.0ms (81.5%)

Results
500.0ms5542×body256valid
217.0ms2714×body256infinite
Bogosity

preprocess164.0ms (18.5%)

Algorithm
1×egg-herbie
Rules
976×fma-def
680×distribute-lft-neg-in
544×distribute-lft-in
472×distribute-rgt-neg-in
441×associate-+r+
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020180
159112
2167108
3541108
41011108
51594108
61952108
72180108
82868108
94342108
106162108
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
(-.f64 (*.f64 238732414637843/250000000000000 (neg.f64 x)) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))))
(neg.f64 (-.f64 (*.f64 238732414637843/250000000000000 (neg.f64 x)) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))))
Outputs
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
(+.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 -6450306886639899/50000000000000000 (*.f64 x (*.f64 x x))))
(fma.f64 238732414637843/250000000000000 x (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 238732414637843/250000000000000 x))
(-.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 x x) x)))
(+.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 -6450306886639899/50000000000000000 (*.f64 x (*.f64 x x))))
(fma.f64 238732414637843/250000000000000 x (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 238732414637843/250000000000000 x))
(-.f64 (*.f64 238732414637843/250000000000000 (neg.f64 x)) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))))
(+.f64 (*.f64 238732414637843/250000000000000 (neg.f64 x)) (*.f64 -6450306886639899/50000000000000000 (neg.f64 (*.f64 x (*.f64 x x)))))
(+.f64 (*.f64 x -238732414637843/250000000000000) (*.f64 6450306886639899/50000000000000000 (pow.f64 x 3)))
(fma.f64 6450306886639899/50000000000000000 (pow.f64 x 3) (*.f64 x -238732414637843/250000000000000))
(neg.f64 (-.f64 (*.f64 238732414637843/250000000000000 (neg.f64 x)) (*.f64 6450306886639899/50000000000000000 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))))
(+.f64 (*.f64 238732414637843/250000000000000 x) (*.f64 -6450306886639899/50000000000000000 (*.f64 x (*.f64 x x))))
(fma.f64 238732414637843/250000000000000 x (*.f64 (pow.f64 x 3) -6450306886639899/50000000000000000))
(fma.f64 (pow.f64 x 3) -6450306886639899/50000000000000000 (*.f64 238732414637843/250000000000000 x))
Symmetry

(negabs x)

Compiler

Compiled 34 to 15 computations (55.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...