expfmod (used to be hard to sample)

Time bar (total: 1.5min)

analyze676.0ms (0.8%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
50%50%50%0%0%0%0%3
50%50%50%0%0%0%0%4
50%50%50%0%0%0%0%5
50%50%50%0%0%0%0%6
50%50%50%0%0%0%0%7
50%50%50%0%0%0%0%8
50%50%50%0%0%0%0%9
50%50%50%0%0%0%0%10
50%50%50%0%0%0%0%11
50%50%50%0%0%0%0%12
Compiler

Compiled 12 to 9 computations (25% saved)

sample1.5min (99%)

Results
1.5s4914×1valid-sollya
3.4s4914×1valid-rival
1.4s1388×2valid-rival
674.0ms1388×2valid-sollya
64.0ms405×0valid-sollya
136.0ms405×0valid-rival
Bogosity

preprocess53.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
74×fma-define
18×fma-neg
16×sub-neg
15×times-frac
14×div-sub
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020172
140172
286164
3146164
4212164
5250164
6275164
7296164
8347164
9361164
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 (neg.f64 x)))) (exp.f64 (neg.f64 (neg.f64 x))))
(neg.f64 (*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 (neg.f64 x)))) (exp.f64 (neg.f64 (neg.f64 x)))))
Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
(*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 (neg.f64 x)))) (exp.f64 (neg.f64 (neg.f64 x))))
(*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
(neg.f64 (*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 (neg.f64 x)))) (exp.f64 (neg.f64 (neg.f64 x)))))
(*.f64 (fmod.f64 (exp.f64 (neg.f64 x)) (sqrt.f64 (cos.f64 x))) (neg.f64 (exp.f64 x)))
Compiler

Compiled 11 to 8 computations (27.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
5.9%
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
2×*-commutative
1×sub-neg
1×neg-sub0
1×neg-mul-1
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01342
11842
22042
32142
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 11 to 8 computations (27.3% saved)

preprocess155.0ms (0.2%)

Compiler

Compiled 44 to 32 computations (27.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...