Jmat.Real.erfi, branch x less than or equal to 0.5

Time bar (total: 4.0s)

analyze14.0ms (0.3%)

Memory
-11.5MiB live, 4.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%74.9%25.1%0%0%0%0
100%74.9%0%25.1%0%0%0%1
Compiler

Compiled 138 to 59 computations (57.2% saved)

sample3.9s (96.6%)

Memory
9.7MiB live, 1 173.8MiB allocated
Samples
1.1s8 255×0valid-baseline
1.0s8 255×0valid-rival
855.0ms8 255×0valid-sollya
0.0ms1×0valid-baseline+rival
0.0ms1×0valid-rival+baseline
Bogosity

preprocess92.0ms (2.3%)

Memory
5.4MiB live, 21.8MiB allocated
Algorithm
1×egg-herbie
Rules
596×fmm-def
516×distribute-lft-neg-out
465×distribute-lft-in
436×neg-sub0
408×neg-mul-1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054792
1168576
2389388
32082356
46561356
Stop Event
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x)))))))
(neg.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))))))
Outputs
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (*.f64 (fabs.f64 x) (*.f64 x x)))) (*.f64 #s(literal 1/5 binary64) (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1/21 binary64) (*.f64 (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))))
(fabs.f64 (/.f64 (fma.f64 #s(literal 1/21 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 1/5 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 x x)) (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (/.f64 (*.f64 (fabs.f64 x) (+.f64 (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/5 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 (fabs.f64 x) #s(literal 6 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (*.f64 (fabs.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(*.f64 (fabs.f64 x) (fabs.f64 (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (*.f64 (fabs.f64 x) (*.f64 x x)))) (*.f64 #s(literal 1/5 binary64) (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1/21 binary64) (*.f64 (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))))
(fabs.f64 (/.f64 (fma.f64 #s(literal 1/21 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 1/5 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 x x)) (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (/.f64 (*.f64 (fabs.f64 x) (+.f64 (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/5 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 (fabs.f64 x) #s(literal 6 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (*.f64 (fabs.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(*.f64 (fabs.f64 x) (fabs.f64 (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x)))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (*.f64 (fabs.f64 x) (*.f64 x x)))) (*.f64 #s(literal 1/5 binary64) (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1/21 binary64) (*.f64 (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))))
(fabs.f64 (/.f64 (fma.f64 #s(literal 1/21 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 1/5 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 x x)) (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (/.f64 (*.f64 (fabs.f64 x) (+.f64 (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/5 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 (fabs.f64 x) #s(literal 6 binary64)))))) (sqrt.f64 (PI.f64))))
(fabs.f64 (*.f64 (fabs.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(*.f64 (fabs.f64 x) (fabs.f64 (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64)))))
(neg.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (neg.f64 x))) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))) (fabs.f64 (neg.f64 x))))))))
(neg.f64 (fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (*.f64 (fabs.f64 x) (*.f64 x x)))) (*.f64 #s(literal 1/5 binary64) (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1/21 binary64) (*.f64 (*.f64 (*.f64 (fabs.f64 x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))))
(neg.f64 (fabs.f64 (/.f64 (fma.f64 #s(literal 1/21 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.f64 x))) (fma.f64 #s(literal 1/5 binary64) (*.f64 (pow.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 x x)) (fma.f64 #s(literal 2 binary64) (fabs.f64 x) (*.f64 #s(literal 2/3 binary64) (pow.f64 (fabs.f64 x) #s(literal 3 binary64)))))) (sqrt.f64 (PI.f64)))))
(neg.f64 (fabs.f64 (/.f64 (*.f64 (fabs.f64 x) (+.f64 (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/5 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 (fabs.f64 x) #s(literal 6 binary64)))))) (sqrt.f64 (PI.f64)))))
(neg.f64 (fabs.f64 (*.f64 (fabs.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64))))))
(neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 (/.f64 (+.f64 (fma.f64 #s(literal 1/5 binary64) (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1/21 binary64) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal 2 binary64))) (sqrt.f64 (PI.f64))))))
Symmetry

(abs x)

Compiler

Compiled 68 to 28 computations (58.8% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0%)

Memory
-14.8MiB live, 1.1MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
Compiler

Compiled 136 to 56 computations (58.8% saved)

simplify3.0ms (0.1%)

Memory
1.1MiB live, 1.1MiB allocated
Algorithm
1×egg-herbie
Rules
10×*-commutative
3×1-exp
3×+-commutative
2×fabs-mul
1×fabs-div
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
036225
158225
262225
Stop Event
1×saturated
Calls
Call 1
Inputs
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
Outputs
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 #s(literal 2/3 binary64) (*.f64 (fabs.f64 x) (*.f64 x x)))) (*.f64 #s(literal 1/5 binary64) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 x x)))))) (*.f64 #s(literal 1/21 binary64) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) (*.f64 x x))))))))))

soundness0.0ms (0%)

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

Compiled 56 to 25 computations (55.4% saved)

preprocess24.0ms (0.6%)

Memory
11.1MiB live, 26.7MiB allocated
Remove

(abs x)

Compiler

Compiled 472 to 206 computations (56.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...