Jmat.Real.erfi, branch x greater than or equal to 5

Time bar (total: 1.2min)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 107 to 33 computations (69.2% saved)

sample1.2min (99.5%)

Results
5.6s8256×0valid-rival
16.1s7815×0invalid-sollya
1.8s357×0exit-sollya
56.0ms84×0valid-sollya
Bogosity

preprocess193.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
702×times-frac
682×distribute-rgt-in
667×distribute-lft-in
349×distribute-rgt-neg-in
337×*-commutative
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0591432
1216776
2534560
32417505
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))))
(neg.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))))))))
Outputs
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 x x))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))) (*.f64 #s(literal 15/8 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 15/8 binary64) (*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 3/4 binary64) (/.f64 (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 #s(literal 1/2 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 4 binary64)) (*.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 6 binary64))))))))
(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 5 binary64)) (fma.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 7 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) (*.f64 x x))) (fabs.f64 x)))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 x x))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))) (*.f64 #s(literal 15/8 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 15/8 binary64) (*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 3/4 binary64) (/.f64 (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 #s(literal 1/2 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 4 binary64)) (*.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 6 binary64))))))))
(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 5 binary64)) (fma.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 7 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) (*.f64 x x))) (fabs.f64 x)))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 x x))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))) (*.f64 #s(literal 15/8 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 15/8 binary64) (*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 3/4 binary64) (/.f64 (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 #s(literal 1/2 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 4 binary64)) (*.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 6 binary64))))))))
(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 5 binary64)) (fma.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 7 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) (*.f64 x x))) (fabs.f64 x)))))
(neg.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 (neg.f64 x))))))))
(*.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))) (*.f64 #s(literal 15/8 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))
(*.f64 (fma.f64 #s(literal 15/8 binary64) (*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 3/4 binary64) (/.f64 (/.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 #s(literal 1/2 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (/.f64 (pow.f64 (exp.f64 x) x) (neg.f64 (sqrt.f64 (PI.f64)))))
(*.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 4 binary64)) (*.f64 #s(literal 15/8 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 6 binary64))))))) (/.f64 (pow.f64 (exp.f64 x) x) (neg.f64 (sqrt.f64 (PI.f64)))))
(*.f64 (exp.f64 (*.f64 x x)) (/.f64 (fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 7 binary64)) #s(literal -15/8 binary64) (-.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 x)) (fma.f64 #s(literal 3/4 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal 5 binary64)) (/.f64 #s(literal 1/2 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64)))))) (sqrt.f64 (PI.f64))))
Symmetry

(abs x)

Compiler

Compiled 104 to 31 computations (70.2% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune3.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
Compiler

Compiled 208 to 62 computations (70.2% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×*-commutative
3×1-exp
3×+-commutative
1×sqr-abs
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039357
158357
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
Outputs
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 x x))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 #s(literal 1/2 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))) (*.f64 #s(literal 3/4 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))) (*.f64 #s(literal 15/8 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))))))))

soundness22.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 96 to 26 computations (72.9% saved)

preprocess132.0ms (0.2%)

Remove

(abs x)

Compiler

Compiled 784 to 218 computations (72.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...