Octave 3.8, oct_fill_randg

Time bar (total: 2.7s)

analyze27.0ms (1%)

Memory
-6.7MiB live, 9.1MiB allocated
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%50%0.1%0%50%0%2
0%0%50%0.1%0%50%0%3
50%25%25%0.1%0%50%0%4
50%25%25%0.1%0%50%0%5
66.7%25%12.5%0.1%0%62.4%0%6
66.7%25%12.5%0.1%0%62.4%0%7
80%25%6.2%0.1%0%68.7%0%8
80%25%6.2%0.1%0%68.7%0%9
88.9%25%3.1%0.1%0%71.8%0%10
88.9%25%3.1%0.1%0%71.8%0%11
94.1%25%1.6%0.1%0%73.4%0%12
Compiler

Compiled 45 to 29 computations (35.6% saved)

sample2.5s (93.9%)

Memory
6.6MiB live, 742.8MiB allocated
Samples
557.0ms8 256×0valid-baseline
535.0ms8 256×0valid-rival
499.0ms8 256×0valid-sollya
Bogosity

preprocess116.0ms (4.3%)

Memory
-11.0MiB live, 20.9MiB allocated
Algorithm
1×egg-herbie
Rules
718×fma-define
528×unsub-neg
398×sub-neg
341×distribute-rgt-in
329×distribute-lft-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
041424
1113366
2399330
31432322
44607322
56954322
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand))))
(neg.f64 (*.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand))))
(neg.f64 (*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand)))))
(*.f64 (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) a)))
Outputs
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) rand)))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (*.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) rand)))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (*.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(*.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (+.f64 (neg.f64 a) #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 rand (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 (neg.f64 a) #s(literal -1/3 binary64))))))))
(*.f64 (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (*.f64 #s(literal 9 binary64) (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 #s(literal -3 binary64) (*.f64 a #s(literal -9 binary64)))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal -9 binary64) #s(literal -3 binary64))))))
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) (neg.f64 rand))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (*.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(*.f64 (-.f64 #s(literal 1/3 binary64) a) (+.f64 (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64)))) #s(literal -1 binary64)))
(neg.f64 (*.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand))))
(*.f64 (+.f64 (neg.f64 a) #s(literal -1/3 binary64)) (neg.f64 (+.f64 #s(literal 1 binary64) (*.f64 rand (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 (neg.f64 a) #s(literal -1/3 binary64)))))))))
(*.f64 (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)) (+.f64 #s(literal -1 binary64) (neg.f64 (/.f64 rand (sqrt.f64 (*.f64 #s(literal 9 binary64) (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64))))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (-.f64 #s(literal -1 binary64) (/.f64 rand (sqrt.f64 (+.f64 #s(literal -3 binary64) (*.f64 a #s(literal -9 binary64)))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (-.f64 #s(literal -1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal -9 binary64) #s(literal -3 binary64))))))
(neg.f64 (*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand)))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (neg.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) (neg.f64 rand)))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (*.f64 #s(literal 9 binary64) a) #s(literal -3 binary64)))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64)))) #s(literal -1 binary64)))
(*.f64 (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) a)))
(*.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 a (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 rand #s(literal -1/3 binary64))))))))
(*.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 a (sqrt.f64 (+.f64 (*.f64 rand #s(literal 9 binary64)) #s(literal -3 binary64))))))
(*.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 a (sqrt.f64 (fma.f64 #s(literal 9 binary64) rand #s(literal -3 binary64))))))
Compiler

Compiled 22 to 13 computations (40.9% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 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 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
Compiler

Compiled 44 to 26 computations (40.9% saved)

simplify2.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×egg-herbie
Rules
4×*-commutative
3×1-exp
3×+-commutative
2×sub-neg
1×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02056
13156
23556
33756
43856
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
Outputs
(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(*.f64 (-.f64 a #s(literal 1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (-.f64 a #s(literal 1/3 binary64)) #s(literal 9 binary64)))) rand)))

soundness0.0ms (0%)

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

Compiled 18 to 12 computations (33.3% saved)

preprocess18.0ms (0.7%)

Memory
6.7MiB live, 22.3MiB allocated
Compiler

Compiled 80 to 50 computations (37.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...