Rosa's Benchmark

Time bar (total: 2.6s)

analyze12.0ms (0.4%)

Memory
3.7MiB live, 3.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample2.6s (96.6%)

Memory
-11.9MiB live, 678.1MiB allocated
Samples
617.0ms8 256×0valid-baseline
600.0ms8 256×0valid-rival
520.0ms8 256×0valid-sollya
Bogosity

preprocess58.0ms (2.2%)

Memory
3.4MiB live, 19.3MiB allocated
Algorithm
1×egg-herbie
Rules
238×fma-define
109×fmm-def
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%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
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)

simplify3.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
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%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess17.0ms (0.6%)

Memory
7.2MiB live, 22.8MiB allocated
Remove

(negabs x)

Compiler

Compiled 96 to 64 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...