| Inputs |
|---|
#s(approx (/ (+ x 16) 116) #s(hole binary64 (+ (* 1/116 x) 4/29))) |
(+ (* 1/116 x) 4/29) |
1/116 |
x |
4/29 |
#s(approx (/ (+ x 16) 116) #s(hole binary64 4/29)) |
#s(approx (/ (+ x 16) 116) #s(hole binary64 (* 1/116 x))) |
(* 1/116 x) |
(/ #s(approx (+ x 16) #s(hole binary64 x)) 116) |
#s(approx (+ x 16) #s(hole binary64 x)) |
116 |
#s(approx (/ (+ x 16) 116) #s(hole binary64 (* (+ (/ 4/29 x) 1/116) x))) |
(* (+ (/ 4/29 x) 1/116) x) |
(+ (/ 4/29 x) 1/116) |
(/ 4/29 x) |
#s(approx (/ (+ x 16) 116) #s(hole binary64 4/29)) |
#s(approx (/ (+ x 16) 116) #s(hole binary64 (+ 4/29 (* 1/116 x)))) |
#s(approx (+ (* 1/116 x) 4/29) #s(hole binary64 4/29)) |
#s(approx (+ (* 1/116 x) 4/29) #s(hole binary64 (+ 4/29 (* 1/116 x)))) |
#s(approx x #s(hole binary64 x)) |
#s(approx (* 1/116 x) #s(hole binary64 (* 1/116 x))) |
#s(approx (+ x 16) #s(hole binary64 16)) |
#s(approx (+ x 16) #s(hole binary64 (+ 16 x))) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) #s(hole binary64 4/29)) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) #s(hole binary64 (+ 4/29 (* 1/116 x)))) |
#s(approx (+ (/ 4/29 x) 1/116) #s(hole binary64 (/ 4/29 x))) |
#s(approx (+ (/ 4/29 x) 1/116) #s(hole binary64 (/ (+ 4/29 (* 1/116 x)) x))) |
#s(approx (/ 4/29 x) #s(hole binary64 (/ 4/29 x))) |
#s(approx (/ (+ x 16) 116) #s(hole binary64 (* 1/116 x))) |
#s(approx (/ (+ x 16) 116) #s(hole binary64 (* x (+ 1/116 (* 4/29 (/ 1 x)))))) |
#s(approx (+ (* 1/116 x) 4/29) #s(hole binary64 (* 1/116 x))) |
#s(approx (+ (* 1/116 x) 4/29) #s(hole binary64 (* x (+ 1/116 (* 4/29 (/ 1 x)))))) |
#s(approx (+ x 16) #s(hole binary64 x)) |
#s(approx (+ x 16) #s(hole binary64 (* x (+ 1 (* 16 (/ 1 x)))))) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) #s(hole binary64 (* 1/116 x))) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) #s(hole binary64 (* x (+ 1/116 (* 4/29 (/ 1 x)))))) |
#s(approx (+ (/ 4/29 x) 1/116) #s(hole binary64 1/116)) |
#s(approx (+ (/ 4/29 x) 1/116) #s(hole binary64 (+ 1/116 (* 4/29 (/ 1 x))))) |
| Outputs |
|---|
#s(approx (/ (+ x 16) 116) (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))) |
(/.f64 (-.f64 #s(literal 64/24389 binary64) (pow.f64 (*.f64 #s(literal -1/116 binary64) x) #s(literal 3 binary64))) (+.f64 #s(literal 16/841 binary64) (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (*.f64 #s(literal 4/29 binary64) (*.f64 #s(literal -1/116 binary64) x))))) |
(/.f64 (neg.f64 (-.f64 #s(literal 16/841 binary64) (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)))) |
(/.f64 (neg.f64 (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) #s(literal -16/841 binary64))) (neg.f64 (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)))) |
(/.f64 (neg.f64 (fma.f64 #s(literal 1/1560896 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 64/24389 binary64))) (neg.f64 (fma.f64 (*.f64 #s(literal 1/116 binary64) x) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)) #s(literal 16/841 binary64)))) |
(/.f64 (neg.f64 (fma.f64 #s(literal 1/1560896 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 64/24389 binary64))) (neg.f64 (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (-.f64 #s(literal 16/841 binary64) (*.f64 #s(literal 1/841 binary64) x))))) |
(/.f64 (-.f64 #s(literal 16/841 binary64) (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 2 binary64))) (-.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x))) |
(/.f64 (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) #s(literal -16/841 binary64)) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64))) |
(/.f64 (fma.f64 #s(literal 1/1560896 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 64/24389 binary64)) (fma.f64 (*.f64 #s(literal 1/116 binary64) x) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)) #s(literal 16/841 binary64))) |
(/.f64 (fma.f64 #s(literal 1/1560896 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 64/24389 binary64)) (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (-.f64 #s(literal 16/841 binary64) (*.f64 #s(literal 1/841 binary64) x)))) |
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64)) |
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64)) |
(-.f64 (/.f64 #s(literal 16/841 binary64) (-.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x))) (/.f64 (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 2 binary64)) (-.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)))) |
(-.f64 (/.f64 (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64))) (/.f64 #s(literal 16/841 binary64) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)))) |
(-.f64 #s(literal 4/29 binary64) (*.f64 (neg.f64 x) #s(literal 1/116 binary64))) |
(-.f64 #s(literal 4/29 binary64) (*.f64 #s(literal -1/116 binary64) x)) |
(-.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal -4/29 binary64)) |
(+.f64 (/.f64 #s(literal 64/24389 binary64) (fma.f64 (*.f64 #s(literal 1/116 binary64) x) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)) #s(literal 16/841 binary64))) (/.f64 (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 3 binary64)) (fma.f64 (*.f64 #s(literal 1/116 binary64) x) (fma.f64 #s(literal 1/116 binary64) x #s(literal -4/29 binary64)) #s(literal 16/841 binary64)))) |
(+.f64 (/.f64 (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 3 binary64)) (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (-.f64 #s(literal 16/841 binary64) (*.f64 #s(literal 1/841 binary64) x)))) (/.f64 #s(literal 64/24389 binary64) (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (-.f64 #s(literal 16/841 binary64) (*.f64 #s(literal 1/841 binary64) x))))) |
(+.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)) |
(+.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 4/29 binary64)) |
#s(literal 1/116 binary64) |
x |
#s(literal 4/29 binary64) |
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) |
#s(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x)) |
(*.f64 #s(literal 1/116 binary64) x) |
(*.f64 x #s(literal 1/116 binary64)) |
(/.f64 (neg.f64 (neg.f64 #s(approx (+ x 16) x))) #s(literal 116 binary64)) |
(/.f64 (neg.f64 #s(approx (+ x 16) x)) #s(literal -116 binary64)) |
(/.f64 #s(approx (+ x 16) x) #s(literal 116 binary64)) |
(neg.f64 (/.f64 (neg.f64 #s(approx (+ x 16) x)) #s(literal 116 binary64))) |
(neg.f64 (/.f64 #s(approx (+ x 16) x) #s(literal -116 binary64))) |
#s(approx (+ x 16) x) |
#s(literal 116 binary64) |
#s(approx (/ (+ x 16) 116) (*.f64 (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) x)) |
(*.f64 (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) x) |
(*.f64 x (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) |
(/.f64 (*.f64 (-.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) |
(/.f64 (*.f64 (-.f64 #s(literal 1/13456 binary64) (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64))) x) (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x))) |
(/.f64 (*.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64)) x) (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x))) |
(/.f64 (*.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64)) x) (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64))) |
(/.f64 (*.f64 x (-.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64))) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) |
(/.f64 (*.f64 x (-.f64 #s(literal 1/13456 binary64) (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)))) (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x))) |
(/.f64 (*.f64 x (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64))) (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x))) |
(/.f64 (*.f64 x (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64))) (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 1/116 binary64) x) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 4/29 binary64) x) x) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x))) (-.f64 (*.f64 #s(literal 1/116 binary64) x) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x))) |
(/.f64 (fma.f64 #s(literal 1/1560896 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (*.f64 (/.f64 #s(literal 4/29 binary64) x) x) #s(literal 3 binary64))) (fma.f64 #s(literal 1/13456 binary64) (*.f64 x x) (-.f64 (*.f64 (*.f64 (/.f64 #s(literal 4/29 binary64) x) x) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x)) (*.f64 (*.f64 #s(literal 1/116 binary64) x) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x))))) |
(fma.f64 (*.f64 x #s(literal 4/29 binary64)) (pow.f64 x #s(literal -1 binary64)) (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 (*.f64 x (pow.f64 x #s(literal -1 binary64))) #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 (pow.f64 x #s(literal -1 binary64)) (*.f64 #s(literal 4/29 binary64) x) (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 (/.f64 #s(literal 4/29 binary64) x) x (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 #s(literal 4/29 binary64) (*.f64 (pow.f64 x #s(literal -1 binary64)) x) (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 #s(literal 1/116 binary64) x (*.f64 (/.f64 #s(literal 4/29 binary64) x) x)) |
(fma.f64 x (/.f64 #s(literal 4/29 binary64) x) (*.f64 #s(literal 1/116 binary64) x)) |
(fma.f64 x #s(literal 1/116 binary64) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x)) |
(-.f64 (*.f64 #s(literal 1/116 binary64) x) (*.f64 (/.f64 #s(literal -4/29 binary64) x) x)) |
(-.f64 (*.f64 #s(literal 1/116 binary64) x) (*.f64 (neg.f64 x) (/.f64 #s(literal 4/29 binary64) x))) |
(+.f64 (*.f64 (/.f64 #s(literal 4/29 binary64) x) x) (*.f64 #s(literal 1/116 binary64) x)) |
(+.f64 (*.f64 #s(literal 1/116 binary64) x) (*.f64 (/.f64 #s(literal 4/29 binary64) x) x)) |
(/.f64 (-.f64 #s(literal 1/1560896 binary64) (pow.f64 (/.f64 #s(literal -4/29 binary64) x) #s(literal 3 binary64))) (+.f64 #s(literal 1/13456 binary64) (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) (*.f64 #s(literal 1/116 binary64) (/.f64 #s(literal -4/29 binary64) x))))) |
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64))) (neg.f64 (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)))) |
(/.f64 (neg.f64 (-.f64 #s(literal 1/13456 binary64) (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64))) (neg.f64 (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64))) (neg.f64 (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64)))) |
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) |
(/.f64 (-.f64 #s(literal 1/13456 binary64) (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64))) (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x))) |
(/.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64)) (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x))) |
(/.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) #s(literal 1/1560896 binary64)) (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64))) |
(fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 4/29 binary64) #s(literal 1/116 binary64)) |
(fma.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1 binary64) #s(literal 1/116 binary64)) |
(fma.f64 #s(literal 4/29 binary64) (pow.f64 x #s(literal -1 binary64)) #s(literal 1/116 binary64)) |
(-.f64 (/.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) (/.f64 #s(literal 1/13456 binary64) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)))) |
(-.f64 (/.f64 #s(literal 1/13456 binary64) (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x))) (/.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) (-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x)))) |
(-.f64 #s(literal 1/116 binary64) (*.f64 (neg.f64 (pow.f64 x #s(literal -1 binary64))) #s(literal 4/29 binary64))) |
(-.f64 #s(literal 1/116 binary64) (/.f64 #s(literal -4/29 binary64) x)) |
(+.f64 (/.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x))) (/.f64 #s(literal 1/1560896 binary64) (-.f64 (+.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 2 binary64)) #s(literal 1/13456 binary64)) (/.f64 #s(literal 1/841 binary64) x)))) |
(+.f64 (/.f64 #s(literal 1/1560896 binary64) (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64))) (/.f64 (pow.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 3 binary64)) (fma.f64 (/.f64 #s(literal 4/29 binary64) x) (-.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) #s(literal 1/13456 binary64)))) |
(+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) |
(+.f64 #s(literal 1/116 binary64) (/.f64 #s(literal 4/29 binary64) x)) |
(*.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 4/29 binary64)) |
(*.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1 binary64)) |
(*.f64 #s(literal 4/29 binary64) (pow.f64 x #s(literal -1 binary64))) |
(/.f64 #s(literal -16 binary64) (*.f64 (neg.f64 x) #s(literal 116 binary64))) |
(/.f64 #s(literal -16 binary64) (*.f64 #s(literal 116 binary64) (neg.f64 x))) |
(/.f64 #s(literal -4/29 binary64) (neg.f64 x)) |
(/.f64 (/.f64 #s(literal 16 binary64) x) #s(literal 116 binary64)) |
(/.f64 #s(literal 4/29 binary64) (neg.f64 (neg.f64 x))) |
(/.f64 #s(literal 4/29 binary64) x) |
(/.f64 #s(literal 16 binary64) (*.f64 #s(literal 116 binary64) x)) |
(/.f64 #s(literal 16 binary64) (*.f64 x #s(literal 116 binary64))) |
(neg.f64 (/.f64 #s(literal -4/29 binary64) x)) |
#s(approx (/ (+ x 16) 116) #s(literal 4/29 binary64)) |
#s(approx (/ (+ x 16) 116) (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))) |
#s(approx (+ (* 1/116 x) 4/29) #s(literal 4/29 binary64)) |
#s(approx (+ (* 1/116 x) 4/29) (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))) |
#s(approx x x) |
#s(approx (* 1/116 x) (*.f64 #s(literal 1/116 binary64) x)) |
#s(approx (+ x 16) #s(literal 16 binary64)) |
#s(approx (+ x 16) (-.f64 x #s(literal -16 binary64))) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) #s(literal 4/29 binary64)) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))) |
#s(approx (+ (/ 4/29 x) 1/116) (/.f64 #s(literal 4/29 binary64) x)) |
#s(approx (+ (/ 4/29 x) 1/116) (/.f64 (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64)) x)) |
#s(approx (/ 4/29 x) (/.f64 #s(literal 4/29 binary64) x)) |
#s(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x)) |
#s(approx (/ (+ x 16) 116) (*.f64 (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) x)) |
#s(approx (+ (* 1/116 x) 4/29) (*.f64 #s(literal 1/116 binary64) x)) |
#s(approx (+ (* 1/116 x) 4/29) (*.f64 (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) x)) |
#s(approx (+ x 16) x) |
#s(approx (+ x 16) (fma.f64 (/.f64 #s(literal 16 binary64) x) x x)) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) (*.f64 #s(literal 1/116 binary64) x)) |
#s(approx (* (+ (/ 4/29 x) 1/116) x) (*.f64 (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64)) x)) |
#s(approx (+ (/ 4/29 x) 1/116) #s(literal 1/116 binary64)) |
#s(approx (+ (/ 4/29 x) 1/116) (+.f64 (/.f64 #s(literal 4/29 binary64) x) #s(literal 1/116 binary64))) |