Rust f32::acosh
Time bar (total: 2.7s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 25% | 75% | 0% | 0% | 0% | 0 |
| 100% | 25% | 0% | 75% | 0% | 0% | 0% | 1 |
Compiled 6 to 5 computations (16.7% saved)
| 382.0ms | 8 255× | 0 | valid |
| 0.0ms | 1× | 1 | valid |
ival-acosh: 123.0ms (98.4% of total)adjust: 2.0ms (1.6% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 9 |
| 1 | 16 | 9 |
| 2 | 59 | 9 |
| 3 | 138 | 9 |
| 4 | 370 | 9 |
| 5 | 2316 | 9 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 55.4% | (log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))) |
Compiled 18 to 14 computations (22.2% saved)
| Inputs |
|---|
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))) |
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))) |
x |
(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))) |
(-.f32 (*.f32 x x) #s(literal 1 binary32)) |
(*.f32 x x) |
#s(literal 1 binary32) |
| Outputs |
|---|
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (log.f32 (sqrt.f32 #s(literal -1 binary32)))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (sqrt.f32 #s(literal -1 binary32))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 x (sqrt.f32 #s(literal -1 binary32)))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))) |
#s(approx x x) |
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 #s(literal -1 binary32)))))) |
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (sqrt (- (* x x) 1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 1/16 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (- (* x x) 1) #s(literal -1 binary32)) |
#s(approx (- (* x x) 1) (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1 binary32))) |
#s(approx (* x x) (pow.f32 x #s(literal 2 binary32))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (*.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (- (* x x) 1) (*.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x)))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (log (+ x (sqrt (- (* x x) 1)))) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (*.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 #s(literal 1/2 binary32) x)) |
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) x)) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1/2 binary32)) x))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/16 binary32) (*.f32 #s(literal 5/128 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) x))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) x)) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (sqrt (- (* x x) 1)) (*.f32 #s(literal -1 binary32) (*.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | x | 0 |
| 2.0ms | x | inf |
| 2.0ms | x | -inf |
| Inputs |
|---|
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))) |
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))) |
x |
(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))) |
(-.f32 (*.f32 x x) #s(literal 1 binary32)) |
(*.f32 x x) |
#s(literal 1 binary32) |
| Outputs |
|---|
(acosh.f32 x) |
(log.f32 (+.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(+.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x) |
(-.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (neg.f32 x)) |
(-.f32 x (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(neg.f32 (-.f32 (neg.f32 x) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
x |
(+.f32 x #s(literal 0 binary32)) |
(+.f32 #s(literal 0 binary32) x) |
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) x)) |
(-.f32 #s(literal 0 binary32) (neg.f32 x)) |
(fma.f32 #s(literal 0 binary32) #s(literal 3 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal -1 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal 1/2 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal -2 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal 1 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal 2 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal 4 binary32) x) |
(fma.f32 #s(literal 3 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal -2 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal 0 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal -1 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal 1 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal 2 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 0 binary32) x) |
(fma.f32 #s(literal 4 binary32) #s(literal 0 binary32) x) |
(neg.f32 (neg.f32 x)) |
(fabs.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(fabs.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(hypot.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 0 binary32)) |
(hypot.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) #s(literal 0 binary32)) |
(neg.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(pow.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1/2 binary32)) |
(pow.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) (fma.f32 x x #s(literal -1 binary32))) #s(literal 1/4 binary32)) |
(sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) |
(*.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32))) |
(*.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32))) |
(*.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x)) |
(*.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x)) |
(*.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(*.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32)) |
(*.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x))) |
(*.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32)))) |
(*.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x))) |
(*.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32)))) |
(*.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x))) |
(*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32))) |
(*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32))) |
(*.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x))) |
(*.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(*.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(*.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)))) |
(*.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)))) |
(*.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32)) |
(*.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32)) |
(fabs.f32 (fma.f32 x x #s(literal -1 binary32))) |
(fabs.f32 (-.f32 #s(literal 1 binary32) (*.f32 x x))) |
(+.f32 (*.f32 x x) #s(literal -1 binary32)) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 0 binary32)) |
(+.f32 #s(literal -1 binary32) (*.f32 x x)) |
(+.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) (-.f32 x #s(literal 1 binary32))) |
(+.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) x) (-.f32 #s(literal -1 binary32) x)) |
(+.f32 (*.f32 (neg.f32 x) (-.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) x))) |
(+.f32 (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x)) (-.f32 #s(literal -1 binary32) x)) |
(+.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (neg.f32 x)) (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal -1 binary32))) |
(+.f32 (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x)) (-.f32 #s(literal -1 binary32) x)) |
(+.f32 (-.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32)) |
(+.f32 #s(literal -1 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(+.f32 #s(literal -1 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(+.f32 (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(+.f32 (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(+.f32 (-.f32 #s(literal -1 binary32) x) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(+.f32 (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(+.f32 (*.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 #s(literal -1 binary32) (-.f32 (fabs.f32 x) #s(literal -1 binary32)))) |
(+.f32 (*.f32 #s(literal 1 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(+.f32 (*.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 #s(literal 1 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(+.f32 (*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (fabs.f32 x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) #s(literal -1 binary32))) |
(+.f32 (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (fabs.f32 x))) |
(+.f32 (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (fabs.f32 x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 1 binary32))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(+.f32 (fma.f32 x x #s(literal -1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(+.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(+.f32 #s(literal -1 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(-.f32 (*.f32 x x) #s(literal 1 binary32)) |
(-.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 0 binary32)) |
(-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) (-.f32 #s(literal 1 binary32) x)) |
(-.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) x) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal -1 binary32)))) |
(-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) (*.f32 #s(literal -1 binary32) (-.f32 x #s(literal 1 binary32)))) |
(-.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) x) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal -1 binary32))) |
(-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal 1 binary32))) |
(-.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) x) (-.f32 x #s(literal -1 binary32))) |
(-.f32 (-.f32 (*.f32 x x) #s(literal 0 binary32)) #s(literal 1 binary32)) |
(-.f32 (-.f32 (*.f32 x x) #s(literal 1/2 binary32)) #s(literal 1/2 binary32)) |
(-.f32 #s(literal -1 binary32) (neg.f32 (*.f32 x x))) |
(-.f32 (-.f32 x #s(literal 1 binary32)) (*.f32 (neg.f32 x) (-.f32 x #s(literal 1 binary32)))) |
(-.f32 (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 #s(literal 1 binary32) x) x)) |
(-.f32 (/.f32 (*.f32 (*.f32 x x) #s(literal 2 binary32)) #s(literal 2 binary32)) #s(literal 1 binary32)) |
(-.f32 (-.f32 x #s(literal 1 binary32)) (neg.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x))) |
(/.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1 binary32)) |
(/.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) (fma.f32 x #s(literal 2 binary32) #s(literal 2 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) (fma.f32 x #s(literal 2 binary32) #s(literal 2 binary32))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) (-.f32 x #s(literal -1 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (fma.f32 x #s(literal 2 binary32) #s(literal 2 binary32)) (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (fma.f32 x #s(literal 2 binary32) #s(literal 2 binary32)) (-.f32 x #s(literal 1 binary32))) #s(literal 2 binary32)) |
(/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 2 binary32)) |
(/.f32 (fma.f32 (*.f32 x x) #s(literal -2 binary32) #s(literal 2 binary32)) #s(literal -2 binary32)) |
(/.f32 (*.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal 2 binary32))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) (-.f32 #s(literal 1 binary32) x)) #s(literal 2 binary32)) |
(/.f32 (*.f32 (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal -2 binary32)) (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal 2 binary32))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal -2 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal 2 binary32)) (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal 2 binary32)) (-.f32 #s(literal -1 binary32) x)) #s(literal 2 binary32)) |
(/.f32 (*.f32 (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal 2 binary32)) (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal 4 binary32)) |
(/.f32 (*.f32 (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal 2 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal 2 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (fma.f32 (fabs.f32 x) #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal 2 binary32))) #s(literal 2 binary32)) |
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x))) #s(literal 2 binary32)) |
(/.f32 (fabs.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal 2 binary32)) |
(/.f32 (-.f32 (*.f32 (*.f32 x x) #s(literal -2 binary32)) #s(literal -2 binary32)) #s(literal -2 binary32)) |
(/.f32 (-.f32 (*.f32 (*.f32 x x) #s(literal 4 binary32)) #s(literal 4 binary32)) #s(literal 4 binary32)) |
(/.f32 (-.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 2 binary32)) #s(literal 0 binary32)) #s(literal 2 binary32)) |
(/.f32 (-.f32 (*.f32 (*.f32 x x) #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32)) |
(/.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1 binary32)) #s(literal 2 binary32)) |
(/.f32 (neg.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32))) #s(literal -2 binary32)) |
(/.f32 (-.f32 (*.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 2 binary32)) #s(literal 0 binary32)) #s(literal 4 binary32)) |
(fma.f32 x x #s(literal -1 binary32)) |
(fma.f32 (fabs.f32 x) (fabs.f32 x) #s(literal -1 binary32)) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) #s(literal 0 binary32)) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) x (-.f32 x #s(literal 1 binary32))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32)) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) x (-.f32 #s(literal -1 binary32) x)) |
(fma.f32 (neg.f32 x) (neg.f32 x) #s(literal -1 binary32)) |
(fma.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal -1 binary32) x)) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) #s(literal 0 binary32)) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x) (-.f32 #s(literal -1 binary32) x)) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32)) |
(fma.f32 (/.f32 #s(literal -2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 x x)) |
(fma.f32 x (-.f32 x #s(literal -1 binary32)) (-.f32 #s(literal -1 binary32) x)) |
(fma.f32 x (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal 1 binary32))) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) (*.f32 x x)) |
(fma.f32 #s(literal -2 binary32) #s(literal 1/2 binary32) (*.f32 x x)) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) (*.f32 x x)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) (*.f32 x x)) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) (*.f32 x x)) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 0 binary32)) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 1/2 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 1/2 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 1/2 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) #s(literal 0 binary32)) |
(fma.f32 (neg.f32 (fabs.f32 x)) (neg.f32 (fabs.f32 x)) #s(literal -1 binary32)) |
(fma.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) #s(literal 1 binary32)) #s(literal -1 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) #s(literal 1 binary32)) #s(literal -1 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) #s(literal 1 binary32)) #s(literal -1 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) #s(literal 0 binary32)) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32)) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 0 binary32)) |
(fma.f32 (/.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (/.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 #s(literal -1 binary32) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal -1 binary32))) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 #s(literal -1 binary32) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal -1 binary32))) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 #s(literal -1 binary32) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal -1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 #s(literal -1 binary32) (*.f32 #s(literal -1 binary32) (-.f32 x #s(literal 1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (-.f32 x #s(literal 1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 #s(literal -2 binary32) #s(literal 1/2 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 #s(literal -2 binary32) #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 1 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 1 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 1 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal -2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) (-.f32 (*.f32 x x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) (+.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1 binary32) (-.f32 x #s(literal -1 binary32)) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 #s(literal -1 binary32) (-.f32 x #s(literal -1 binary32)) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 #s(literal -1 binary32) (-.f32 x #s(literal -1 binary32)) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (neg.f32 x) (*.f32 (-.f32 #s(literal 1 binary32) x) #s(literal -1 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) x) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (neg.f32 x) (-.f32 #s(literal 1 binary32) x) (*.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) x))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x))) (fabs.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x))) #s(literal 0 binary32)) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32))) (fabs.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32))) #s(literal 0 binary32)) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) #s(literal 0 binary32)) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 4 binary32)) #s(literal 2 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 #s(literal 0 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) #s(literal 0 binary32)) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 x #s(literal -1 binary32)) x)) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (neg.f32 x) (-.f32 #s(literal -1 binary32) x))) |
(fma.f32 (/.f32 (*.f32 #s(literal 2 binary32) (-.f32 #s(literal -1 binary32) x)) #s(literal 8 binary32)) #s(literal 4 binary32) (*.f32 (-.f32 #s(literal -1 binary32) x) (neg.f32 x))) |
(fma.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 #s(literal -1 binary32) (-.f32 (fabs.f32 x) #s(literal -1 binary32)))) |
(fma.f32 #s(literal 1 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 #s(literal 0 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (fabs.f32 x) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 #s(literal 1 binary32) (-.f32 (fabs.f32 x) #s(literal 1 binary32)))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (fabs.f32 x) (*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) #s(literal -1 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 1 binary32) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (fabs.f32 x))) |
(fma.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal -1 binary32))) (fabs.f32 (-.f32 x #s(literal 1 binary32))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 x #s(literal 1 binary32))) (fabs.f32 (-.f32 x #s(literal -1 binary32))) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fabs.f32 (-.f32 #s(literal -1 binary32) x)) (fabs.f32 (-.f32 #s(literal 1 binary32) x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal -1 binary32) x) (-.f32 #s(literal 1 binary32) x) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) x) (-.f32 #s(literal -1 binary32) x) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 #s(literal 1 binary32) (fabs.f32 x)) (-.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (fma.f32 (*.f32 x x) #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 0 binary32))) |
(fma.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (fabs.f32 x) (*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) #s(literal 1 binary32))) |
(fma.f32 #s(literal -1 binary32) (*.f32 #s(literal -1 binary32) (-.f32 x #s(literal 1 binary32))) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32)) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (-.f32 x #s(literal 1 binary32))) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal -1 binary32)) #s(literal -1 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 4 binary32)) #s(literal 2 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 (/.f32 (fma.f32 x #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 8 binary32)) #s(literal 4 binary32) (-.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 #s(literal -2 binary32) #s(literal 1/2 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) (-.f32 #s(literal 0 binary32) (neg.f32 (*.f32 x x)))) |
(neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 x x))) |
(pow.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1 binary32)) |
(pow.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) (fma.f32 x x #s(literal -1 binary32))) #s(literal 1/2 binary32)) |
(pow.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 2 binary32)) |
(pow.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) #s(literal 2 binary32)) |
(sqrt.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) (fma.f32 x x #s(literal -1 binary32)))) |
(*.f32 x x) |
(*.f32 (fabs.f32 x) (fabs.f32 x)) |
(*.f32 (neg.f32 x) (neg.f32 x)) |
(*.f32 (neg.f32 (fabs.f32 x)) (neg.f32 (fabs.f32 x))) |
(fabs.f32 (*.f32 x x)) |
(fabs.f32 (neg.f32 (*.f32 x x))) |
(fabs.f32 (*.f32 x (fabs.f32 x))) |
(fabs.f32 (*.f32 (fabs.f32 x) x)) |
(fabs.f32 (*.f32 (fabs.f32 x) (neg.f32 x))) |
(fabs.f32 (*.f32 (neg.f32 x) (fabs.f32 x))) |
(fabs.f32 (*.f32 x (neg.f32 (fabs.f32 x)))) |
(fabs.f32 (*.f32 (neg.f32 (fabs.f32 x)) x)) |
(fabs.f32 (*.f32 (neg.f32 (fabs.f32 x)) (neg.f32 x))) |
(fabs.f32 (*.f32 (neg.f32 x) (neg.f32 (fabs.f32 x)))) |
(neg.f32 (neg.f32 (*.f32 x x))) |
(pow.f32 x #s(literal 2 binary32)) |
(pow.f32 (*.f32 (*.f32 x x) (*.f32 x x)) #s(literal 1/2 binary32)) |
(pow.f32 (*.f32 x x) #s(literal 1 binary32)) |
(pow.f32 (fabs.f32 x) #s(literal 2 binary32)) |
(pow.f32 (neg.f32 x) #s(literal 2 binary32)) |
(pow.f32 (neg.f32 (fabs.f32 x)) #s(literal 2 binary32)) |
(sqrt.f32 (*.f32 (*.f32 x x) (*.f32 x x))) |
#s(literal 1 binary32) |
(*.f32 #s(literal -1 binary32) #s(literal -1 binary32)) |
(*.f32 #s(literal 2 binary32) #s(literal 1/2 binary32)) |
(*.f32 #s(literal -1/2 binary32) #s(literal -2 binary32)) |
(*.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(*.f32 #s(literal 1/2 binary32) #s(literal 2 binary32)) |
(*.f32 #s(literal 1/4 binary32) #s(literal 4 binary32)) |
(*.f32 #s(literal -2 binary32) #s(literal -1/2 binary32)) |
(*.f32 #s(literal 4 binary32) #s(literal 1/4 binary32)) |
(*.f32 #s(literal 8 binary32) #s(literal 1/8 binary32)) |
(*.f32 (/.f32 #s(literal 2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32)) |
(fabs.f32 #s(literal -1 binary32)) |
(fabs.f32 #s(literal 1 binary32)) |
(+.f32 #s(literal 1/2 binary32) #s(literal 1/2 binary32)) |
(+.f32 #s(literal 0 binary32) #s(literal 1 binary32)) |
(+.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(+.f32 (+.f32 #s(literal 1/4 binary32) #s(literal 1/2 binary32)) #s(literal 1/4 binary32)) |
(-.f32 #s(literal 0 binary32) #s(literal -1 binary32)) |
(-.f32 #s(literal 2 binary32) #s(literal 1 binary32)) |
(-.f32 #s(literal 3 binary32) #s(literal 2 binary32)) |
(-.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(-.f32 #s(literal 1/2 binary32) #s(literal -1/2 binary32)) |
(-.f32 (*.f32 (cosh.f32 #s(literal 1 binary32)) (cosh.f32 #s(literal 1 binary32))) (*.f32 (sinh.f32 #s(literal 1 binary32)) (sinh.f32 #s(literal 1 binary32)))) |
(/.f32 #s(literal 2 binary32) #s(literal 2 binary32)) |
(/.f32 #s(literal -2 binary32) #s(literal -2 binary32)) |
(/.f32 #s(literal 8 binary32) #s(literal 8 binary32)) |
(/.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(/.f32 #s(literal -4 binary32) #s(literal -4 binary32)) |
(/.f32 #s(literal 4 binary32) #s(literal 4 binary32)) |
(/.f32 #s(literal -1 binary32) #s(literal -1 binary32)) |
(/.f32 #s(literal 1/2 binary32) #s(literal 1/2 binary32)) |
(/.f32 #s(literal -8 binary32) #s(literal -8 binary32)) |
(/.f32 #s(literal 16 binary32) #s(literal 16 binary32)) |
(/.f32 #s(literal 64 binary32) #s(literal 64 binary32)) |
(/.f32 (*.f32 #s(literal 8 binary32) #s(literal 1/2 binary32)) #s(literal 4 binary32)) |
(/.f32 (*.f32 #s(literal 8 binary32) #s(literal 1 binary32)) #s(literal 8 binary32)) |
(/.f32 (+.f32 #s(literal -4 binary32) #s(literal 0 binary32)) #s(literal -4 binary32)) |
(/.f32 (+.f32 #s(literal 8 binary32) #s(literal 0 binary32)) #s(literal 8 binary32)) |
(/.f32 (+.f32 #s(literal 0 binary32) #s(literal -4 binary32)) #s(literal -4 binary32)) |
(/.f32 (+.f32 #s(literal 0 binary32) #s(literal 8 binary32)) #s(literal 8 binary32)) |
(/.f32 (-.f32 #s(literal -4 binary32) #s(literal 0 binary32)) #s(literal -4 binary32)) |
(/.f32 (-.f32 #s(literal 8 binary32) #s(literal 0 binary32)) #s(literal 8 binary32)) |
(/.f32 (exp.f32 #s(literal 1 binary32)) (exp.f32 #s(literal 1 binary32))) |
(copysign.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(copysign.f32 #s(literal 1 binary32) #s(literal 2 binary32)) |
(cosh.f32 #s(literal 0 binary32)) |
(exp.f32 #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 3 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal -1 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal -1 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 1/2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1/2 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal -2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal -2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 1 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 1 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/4 binary32) #s(literal 2 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 4 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/4 binary32) #s(literal 4 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 3 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 4 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -2 binary32) #s(literal -1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1/2 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/4 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 4 binary32) #s(literal 1/4 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 8 binary32) #s(literal 1/8 binary32) #s(literal 0 binary32)) |
(fma.f32 (/.f32 #s(literal 1 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) #s(literal 1/2 binary32)) |
(fma.f32 (/.f32 #s(literal 2 binary32) #s(literal 8 binary32)) #s(literal 4 binary32) #s(literal 0 binary32)) |
(hypot.f32 #s(literal 0 binary32) #s(literal -1 binary32)) |
(hypot.f32 #s(literal 0 binary32) #s(literal 1 binary32)) |
(hypot.f32 #s(literal -1 binary32) #s(literal 0 binary32)) |
(hypot.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(neg.f32 #s(literal -1 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 1/2 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 3 binary32)) |
(pow.f32 #s(literal -1 binary32) #s(literal 2 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 2 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal -1 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal -3 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal -2 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 4 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 6 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 5 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 3/2 binary32)) |
(pow.f32 (exp.f32 #s(literal 1 binary32)) #s(literal 0 binary32)) |
(sqrt.f32 #s(literal 1 binary32)) |
Compiled 8 040 to 2 443 computations (69.6% saved)
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 517 | 4 | 521 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 518 | 4 | 522 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 55.4% | (log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
| ▶ | 98.0% | (log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
| ▶ | 96.5% | (log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))) |
| ▶ | 99.5% | (acosh.f32 x) |
Compiled 44 to 34 computations (22.7% saved)
| Inputs |
|---|
(acosh.f32 x) |
x |
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)) |
(*.f32 #s(literal 2 binary32) x) |
#s(literal 2 binary32) |
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
(*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
(-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) |
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) |
#s(literal 1/2 binary32) |
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))) |
#s(literal 1 binary32) |
(pow.f32 x #s(literal 2 binary32)) |
(log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
(+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x) |
(sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) |
(fma.f32 x x #s(literal -1 binary32)) |
#s(literal -1 binary32) |
| Outputs |
|---|
#s(approx (acosh x) (log.f32 (sqrt.f32 #s(literal -1 binary32)))) |
#s(approx (acosh x) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (/.f32 x (sqrt.f32 #s(literal -1 binary32))))) |
#s(approx (acosh x) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 #s(literal -1/6 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))) |
#s(approx (acosh x) (+.f32 (log.f32 (sqrt.f32 #s(literal -1 binary32))) (*.f32 x (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 3/40 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/6 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32))))))) |
#s(approx x x) |
#s(approx (+ x (sqrt (- (* x x) 1))) (sqrt.f32 #s(literal -1 binary32))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 x (sqrt.f32 #s(literal -1 binary32)))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 x (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 x (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))))) |
#s(approx (* 2 x) (*.f32 #s(literal 2 binary32) x)) |
#s(approx (* x (- 2 (* 1/2 (/ 1 (pow x 2))))) (/.f32 #s(literal -1/2 binary32) x)) |
#s(approx (* x (- 2 (* 1/2 (/ 1 (pow x 2))))) (/.f32 (-.f32 (*.f32 #s(literal 2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/2 binary32)) x)) |
#s(approx (- 2 (* 1/2 (/ 1 (pow x 2)))) (/.f32 #s(literal -1/2 binary32) (pow.f32 x #s(literal 2 binary32)))) |
#s(approx (- 2 (* 1/2 (/ 1 (pow x 2)))) (/.f32 (-.f32 (*.f32 #s(literal 2 binary32) (pow.f32 x #s(literal 2 binary32))) #s(literal 1/2 binary32)) (pow.f32 x #s(literal 2 binary32)))) |
#s(approx (* 1/2 (/ 1 (pow x 2))) (/.f32 #s(literal 1/2 binary32) (pow.f32 x #s(literal 2 binary32)))) |
#s(approx (/ 1 (pow x 2)) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) |
#s(approx (pow x 2) (pow.f32 x #s(literal 2 binary32))) |
#s(approx (sqrt (+ (* x x) -1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 #s(literal 1/2 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (sqrt.f32 #s(literal -1 binary32)))))) |
#s(approx (sqrt (+ (* x x) -1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 #s(literal -1/8 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (sqrt (+ (* x x) -1)) (+.f32 (sqrt.f32 #s(literal -1 binary32)) (*.f32 (pow.f32 x #s(literal 2 binary32)) (fma.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 (*.f32 #s(literal 1/16 binary32) (/.f32 (pow.f32 x #s(literal 2 binary32)) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 5 binary32)))) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (sqrt.f32 #s(literal -1 binary32)) #s(literal 3 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (sqrt.f32 #s(literal -1 binary32)))))))) |
#s(approx (+ (* x x) -1) #s(literal -1 binary32)) |
#s(approx (+ (* x x) -1) (-.f32 (pow.f32 x #s(literal 2 binary32)) #s(literal 1 binary32))) |
#s(approx (acosh x) (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x))))) |
#s(approx (acosh x) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (*.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (acosh x) (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal 3/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (acosh x) (-.f32 (+.f32 (log.f32 #s(literal 2 binary32)) (fma.f32 #s(literal -1 binary32) (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 3/32 binary32) (*.f32 #s(literal 5/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (- 2 (* 1/2 (/ 1 (pow x 2)))) #s(literal 2 binary32)) |
#s(approx (- 2 (* 1/2 (/ 1 (pow x 2)))) (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (+ (* x x) -1) (*.f32 (pow.f32 x #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (acosh x) (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x)))) |
#s(approx (acosh x) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) x))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (acosh x) (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/4 binary32) (*.f32 #s(literal 5/32 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32))))))) |
#s(approx (acosh x) (-.f32 (+.f32 (log.f32 #s(literal 1/2 binary32)) (+.f32 (log.f32 (/.f32 #s(literal 1 binary32) x)) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 5/32 binary32) (*.f32 #s(literal 11/96 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))))) (*.f32 #s(literal 1/4 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 #s(literal 1/2 binary32) x)) |
#s(approx (+ x (sqrt (- (* x x) 1))) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) x)) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))) #s(literal 1/2 binary32)) x))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/16 binary32) (*.f32 #s(literal 5/128 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32)))) (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) x))) |
#s(approx (* x (- 2 (* 1/2 (/ 1 (pow x 2))))) (*.f32 #s(literal -1 binary32) (*.f32 x (-.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) #s(literal 2 binary32))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 #s(literal -1 binary32) x)) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 #s(literal -1 binary32) (*.f32 x (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 #s(literal -1 binary32) (*.f32 x (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/2 binary32) (*.f32 #s(literal 1/8 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (sqrt (+ (* x x) -1)) (*.f32 #s(literal -1 binary32) (*.f32 x (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) (/.f32 (+.f32 #s(literal 1/8 binary32) (*.f32 #s(literal 1/16 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) (pow.f32 x #s(literal 4 binary32))))) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 3.0ms | x | -inf |
| 2.0ms | x | 0 |
| 2.0ms | x | inf |
| Inputs |
|---|
(acosh.f32 x) |
x |
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 #s(literal 2 binary32) x)) |
(*.f32 #s(literal 2 binary32) x) |
#s(literal 2 binary32) |
(log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))))) |
#s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))))) |
(*.f32 x (-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))))) |
(-.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))))) |
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32)))) |
#s(literal 1/2 binary32) |
(/.f32 #s(literal 1 binary32) (pow.f32 x #s(literal 2 binary32))) |
#s(literal 1 binary32) |
(pow.f32 x #s(literal 2 binary32)) |
(log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
(+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x) |
(sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) |
(fma.f32 x x #s(literal -1 binary32)) |
#s(literal -1 binary32) |
| Outputs |
|---|
(acosh.f32 x) |
(log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
x |
(*.f32 x #s(literal 1 binary32)) |
(*.f32 #s(literal 1 binary32) x) |
(+.f32 x (*.f32 #s(literal 0 binary32) x)) |
(+.f32 x (*.f32 x #s(literal 0 binary32))) |
(/.f32 (+.f32 x x) #s(literal 2 binary32)) |
(fma.f32 x #s(literal 1 binary32) (*.f32 #s(literal 0 binary32) x)) |
(fma.f32 x #s(literal 1 binary32) (*.f32 x #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) x (*.f32 #s(literal 0 binary32) x)) |
(fma.f32 #s(literal 1 binary32) x (*.f32 x #s(literal 0 binary32))) |
(neg.f32 (*.f32 x #s(literal -1 binary32))) |
(neg.f32 (*.f32 #s(literal -1 binary32) x)) |
(neg.f32 (neg.f32 x)) |
(log.f32 #s(approx (+ x (unsound-sinh (unsound-acosh x))) (+.f32 x x))) |
#s(approx (+ x (unsound-sinh (unsound-acosh x))) (+.f32 x x)) |
(*.f32 #s(literal 2 binary32) x) |
(*.f32 x #s(literal 2 binary32)) |
(*.f32 (+.f32 x x) #s(literal 1 binary32)) |
(*.f32 #s(literal 1 binary32) (+.f32 x x)) |
(+.f32 x x) |
(-.f32 x (*.f32 #s(literal -1 binary32) x)) |
(-.f32 x (neg.f32 x)) |
(-.f32 x (*.f32 (neg.f32 x) #s(literal 1 binary32))) |
(fma.f32 x #s(literal 1 binary32) x) |
(fma.f32 #s(literal 1 binary32) x x) |
(neg.f32 (*.f32 x #s(literal -2 binary32))) |
(neg.f32 (*.f32 #s(literal -2 binary32) x)) |
(neg.f32 (-.f32 (neg.f32 x) x)) |
#s(literal 2 binary32) |
(*.f32 #s(literal 1 binary32) #s(literal 2 binary32)) |
(*.f32 #s(literal 2 binary32) #s(literal 1 binary32)) |
(fabs.f32 #s(literal 2 binary32)) |
(+.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(+.f32 #s(literal 2 binary32) #s(literal 0 binary32)) |
(-.f32 #s(literal 1 binary32) #s(literal -1 binary32)) |
(/.f32 #s(literal 4 binary32) #s(literal 2 binary32)) |
(/.f32 (+.f32 #s(literal 4 binary32) #s(literal 4 binary32)) #s(literal 4 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1 binary32) #s(literal 1 binary32)) |
(neg.f32 #s(literal -2 binary32)) |
(log.f32 #s(approx (+ x (unsound-sinh (unsound-acosh x))) (*.f32 x (-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))))) |
#s(approx (+ x (unsound-sinh (unsound-acosh x))) (*.f32 x (-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(*.f32 x (-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(*.f32 (-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) x) |
(*.f32 (-.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) (neg.f32 x)) |
(*.f32 (neg.f32 x) (-.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32))) |
(+.f32 (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)) (+.f32 x x)) |
(+.f32 (+.f32 x x) (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x))) |
(+.f32 x (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) x)) |
(+.f32 x (*.f32 x (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(+.f32 x (+.f32 x (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)))) |
(-.f32 (+.f32 x x) (neg.f32 (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)))) |
(-.f32 (+.f32 x x) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) x)) |
(-.f32 (+.f32 x x) (*.f32 (neg.f32 x) (/.f32 #s(literal -1/2 binary32) (*.f32 x x)))) |
(-.f32 x (-.f32 (neg.f32 x) (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)))) |
(/.f32 (*.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) x) (*.f32 x x)) |
(/.f32 (*.f32 x (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32))) (*.f32 x x)) |
(fma.f32 (*.f32 x #s(literal -1/2 binary32)) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (+.f32 x x)) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 #s(literal -1/2 binary32) x) (+.f32 x x)) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) (*.f32 #s(literal 1/2 binary32) x) (+.f32 x x)) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) x (+.f32 x x)) |
(fma.f32 (*.f32 x (/.f32 #s(literal 1 binary32) (*.f32 x x))) #s(literal -1/2 binary32) (+.f32 x x)) |
(fma.f32 #s(literal -1/2 binary32) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) x) (+.f32 x x)) |
(fma.f32 x (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) (+.f32 x x)) |
(fma.f32 (*.f32 x #s(literal 1/2 binary32)) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (+.f32 x x)) |
(fma.f32 x #s(literal 2 binary32) (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x))) |
(fma.f32 (+.f32 x x) #s(literal 1 binary32) (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x))) |
(fma.f32 #s(literal 2 binary32) x (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x))) |
(fma.f32 #s(literal 1 binary32) (+.f32 x x) (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x))) |
(fma.f32 (*.f32 x (/.f32 #s(literal -1 binary32) (*.f32 x x))) #s(literal 1/2 binary32) (+.f32 x x)) |
(fma.f32 #s(literal 1/2 binary32) (*.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) x) (+.f32 x x)) |
(fma.f32 #s(literal 1 binary32) x (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) x)) |
(fma.f32 x #s(literal 1 binary32) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) x)) |
(fma.f32 #s(literal 1 binary32) x (*.f32 x (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(fma.f32 x #s(literal 1 binary32) (*.f32 x (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(fma.f32 #s(literal 1 binary32) x (+.f32 x (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)))) |
(fma.f32 x #s(literal 1 binary32) (+.f32 x (/.f32 (*.f32 x #s(literal -1/2 binary32)) (*.f32 x x)))) |
(neg.f32 (*.f32 (-.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) x)) |
(*.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) (/.f32 #s(literal 1 binary32) (*.f32 x x))) |
(*.f32 #s(literal 1 binary32) (-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(+.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) |
(+.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) #s(literal 1 binary32)) |
(+.f32 #s(literal 2 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x))) |
(+.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(+.f32 #s(literal 1 binary32) (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(-.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) |
(-.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal -2 binary32)) |
(-.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) #s(literal -1 binary32)) |
(-.f32 #s(literal 1 binary32) (-.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 1 binary32))) |
(-.f32 (/.f32 (*.f32 (+.f32 x x) x) (*.f32 x x)) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) |
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x)))) |
(/.f32 (-.f32 (+.f32 x x) (/.f32 #s(literal 1/2 binary32) x)) x) |
(/.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) (*.f32 x x)) |
(/.f32 (-.f32 (*.f32 #s(literal 2 binary32) (neg.f32 x)) (/.f32 #s(literal -1/2 binary32) x)) (neg.f32 x)) |
(/.f32 (-.f32 (*.f32 #s(literal 2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x))) (fabs.f32 x)) |
(/.f32 (/.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) (fabs.f32 x)) (fabs.f32 x)) |
(/.f32 (/.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) x) x) |
(/.f32 (/.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) (neg.f32 (fabs.f32 x))) (neg.f32 (fabs.f32 x))) |
(/.f32 (/.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32)) (neg.f32 x)) (neg.f32 x)) |
(/.f32 (fma.f32 #s(literal 2 binary32) (neg.f32 (*.f32 x x)) #s(literal 1/2 binary32)) (neg.f32 (*.f32 x x))) |
(/.f32 (neg.f32 (fma.f32 (+.f32 x x) x #s(literal -1/2 binary32))) (neg.f32 (*.f32 x x))) |
(/.f32 (-.f32 (*.f32 #s(literal 2 binary32) (neg.f32 (*.f32 x x))) #s(literal -1/2 binary32)) (neg.f32 (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal 1/2 binary32) x) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) x) (/.f32 #s(literal 1 binary32) x) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) x) (/.f32 #s(literal -1 binary32) x) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal -1/2 binary32) x) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal -1/2 binary32) #s(literal 2 binary32)) |
(fma.f32 #s(literal -1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal -1 binary32) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal 1/2 binary32) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal 1 binary32) #s(literal 2 binary32)) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) |
(fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal 2 binary32)) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) |
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 2 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x))) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal -1 binary32) #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/2 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 1 binary32) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 2 binary32) #s(literal 1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (neg.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) #s(literal 2 binary32)) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (neg.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x))) #s(literal 2 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1 binary32) (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(fma.f32 #s(literal -1 binary32) #s(literal -1 binary32) (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 2 binary32) (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))))) |
(neg.f32 (-.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32))) |
(*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x))) |
(*.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1/2 binary32) x)) |
(*.f32 (/.f32 #s(literal -1/2 binary32) x) (/.f32 #s(literal -1 binary32) x)) |
(*.f32 (/.f32 #s(literal 1/2 binary32) x) (/.f32 #s(literal 1 binary32) x)) |
(*.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1/2 binary32) x)) |
(*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1/2 binary32)) |
(*.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal -1 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 1 binary32)) |
(*.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1/2 binary32)) |
(*.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal -1 binary32)) |
(*.f32 #s(literal -1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x))) |
(*.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x))) |
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) |
(*.f32 (/.f32 #s(literal -1/2 binary32) x) (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 1 binary32))) |
(*.f32 (/.f32 #s(literal 1/2 binary32) x) (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32))) |
(*.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x)))) |
(*.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x)))) |
(*.f32 (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x)))) |
(*.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x)))) |
(*.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 1 binary32))) |
(+.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(+.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(/.f32 (/.f32 #s(literal -1/2 binary32) x) (neg.f32 x)) |
(/.f32 (/.f32 #s(literal 1/2 binary32) x) x) |
(/.f32 #s(literal 1/2 binary32) (*.f32 x x)) |
(/.f32 (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 1/2 binary32)) (neg.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal -1/2 binary32) x) #s(literal 1 binary32)) (neg.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal -1/2 binary32) x) #s(literal 2 binary32)) (*.f32 (neg.f32 x) #s(literal 2 binary32))) |
(/.f32 (*.f32 (/.f32 #s(literal 1/2 binary32) x) #s(literal 1 binary32)) x) |
(/.f32 (*.f32 (/.f32 #s(literal 1/2 binary32) x) #s(literal 2 binary32)) (+.f32 x x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1/2 binary32)) x) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) x)) (+.f32 x x)) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -1/2 binary32) x)) (*.f32 #s(literal 2 binary32) (neg.f32 x))) |
(/.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (neg.f32 (fabs.f32 x))) |
(/.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (fabs.f32 x)) |
(/.f32 #s(literal -1/2 binary32) (neg.f32 (*.f32 x x))) |
(/.f32 #s(literal 1 binary32) (*.f32 (+.f32 x x) x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) #s(literal 1 binary32)) (fabs.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) #s(literal 2 binary32)) (*.f32 (fabs.f32 x) #s(literal 2 binary32))) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 1/2 binary32)) (fabs.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 2 binary32)) #s(literal 2 binary32)) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x))) (*.f32 #s(literal 2 binary32) (fabs.f32 x))) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x))) #s(literal 2 binary32)) |
(/.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (neg.f32 (fabs.f32 x))) |
(/.f32 (neg.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x))) (neg.f32 (fabs.f32 x))) |
(/.f32 #s(literal -1 binary32) (*.f32 (neg.f32 (*.f32 x x)) #s(literal 2 binary32))) |
(/.f32 #s(literal -1 binary32) (*.f32 #s(literal 2 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (neg.f32 (fabs.f32 x))) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 1 binary32)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) x) (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) x) (/.f32 #s(literal -1 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) x) (/.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) x) (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1/2 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1/2 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 1 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal -1 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1/2 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1/2 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (fabs.f32 x)) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1/2 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) x) (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 1 binary32)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) x) (/.f32 #s(literal -1 binary32) x) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) x) (/.f32 #s(literal 1 binary32) x) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) x) (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1/2 binary32) x) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1/2 binary32) x) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 1 binary32) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal -1 binary32) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1/2 binary32) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1/2 binary32) (*.f32 (/.f32 #s(literal 1/2 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(neg.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x))) |
#s(literal 1/2 binary32) |
(*.f32 #s(literal -1/2 binary32) #s(literal -1 binary32)) |
(*.f32 #s(literal -1 binary32) #s(literal -1/2 binary32)) |
(*.f32 #s(literal 1 binary32) #s(literal 1/2 binary32)) |
(*.f32 #s(literal 1/2 binary32) #s(literal 1 binary32)) |
(+.f32 #s(literal 1/2 binary32) #s(literal 0 binary32)) |
(/.f32 #s(literal 1 binary32) #s(literal 2 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal -1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 1 binary32) #s(literal 0 binary32)) |
(neg.f32 #s(literal -1/2 binary32)) |
(*.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1 binary32) x)) |
(*.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1 binary32) x)) |
(*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1 binary32)) |
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x))) |
(*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1 binary32)) |
(*.f32 #s(literal -1 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x))) |
(*.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x))) |
(*.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x)))) |
(fabs.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x))) |
(+.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(+.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(+.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(/.f32 #s(literal 1 binary32) (*.f32 x x)) |
(/.f32 (/.f32 #s(literal -1 binary32) x) (neg.f32 x)) |
(/.f32 (/.f32 #s(literal 1 binary32) x) x) |
(/.f32 (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 1 binary32)) (neg.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal -1 binary32) x) #s(literal 2 binary32)) (*.f32 (neg.f32 x) #s(literal 2 binary32))) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 1 binary32)) x) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) x) #s(literal 2 binary32)) (+.f32 x x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 2 binary32)) #s(literal 2 binary32)) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -1 binary32) x)) (*.f32 #s(literal 2 binary32) (neg.f32 x))) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) x)) (+.f32 x x)) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x))) #s(literal 2 binary32)) |
(/.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (fabs.f32 x)) |
(/.f32 (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (neg.f32 (fabs.f32 x))) |
(/.f32 #s(literal 2 binary32) (*.f32 (+.f32 x x) x)) |
(/.f32 #s(literal -1 binary32) (neg.f32 (*.f32 x x))) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 1 binary32)) (fabs.f32 x)) |
(/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) #s(literal 2 binary32)) (*.f32 (fabs.f32 x) #s(literal 2 binary32))) |
(/.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal 1 binary32) (fabs.f32 x))) (*.f32 #s(literal 2 binary32) (fabs.f32 x))) |
(/.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (neg.f32 (fabs.f32 x))) |
(/.f32 (neg.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x))) (neg.f32 (fabs.f32 x))) |
(/.f32 #s(literal -2 binary32) (*.f32 (neg.f32 (*.f32 x x)) #s(literal 2 binary32))) |
(/.f32 #s(literal -2 binary32) (*.f32 #s(literal 2 binary32) (neg.f32 (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (/.f32 #s(literal 1 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1 binary32) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x)) #s(literal -1 binary32) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal -1 binary32) (/.f32 #s(literal -1 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1 binary32) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1 binary32) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 1 binary32) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal -1 binary32) x) (/.f32 #s(literal -1 binary32) x) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1 binary32) x) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) x) (/.f32 #s(literal 1 binary32) x) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal -1 binary32) (fabs.f32 x)) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 0 binary32) (*.f32 x x))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 #s(literal 0 binary32) (/.f32 #s(literal 1 binary32) (*.f32 x x)))) |
(fma.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (/.f32 #s(literal 1 binary32) (neg.f32 (fabs.f32 x))) (*.f32 (/.f32 #s(literal 1 binary32) (*.f32 x x)) #s(literal 0 binary32))) |
(neg.f32 (/.f32 #s(literal -1 binary32) (*.f32 x x))) |
(pow.f32 x #s(literal -2 binary32)) |
(pow.f32 (fabs.f32 x) #s(literal -2 binary32)) |
(pow.f32 (neg.f32 x) #s(literal -2 binary32)) |
(pow.f32 (*.f32 x x) #s(literal -1 binary32)) |
#s(literal 1 binary32) |
(*.f32 #s(literal 1/2 binary32) #s(literal 2 binary32)) |
(*.f32 #s(literal -1 binary32) #s(literal -1 binary32)) |
(*.f32 #s(literal 2 binary32) #s(literal 1/2 binary32)) |
(*.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(fabs.f32 #s(literal -1 binary32)) |
(fabs.f32 #s(literal 1 binary32)) |
(+.f32 #s(literal 1/2 binary32) #s(literal 1/2 binary32)) |
(+.f32 #s(literal 0 binary32) #s(literal 1 binary32)) |
(+.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(-.f32 #s(literal 0 binary32) #s(literal -1 binary32)) |
(-.f32 #s(literal 1/2 binary32) #s(literal -1/2 binary32)) |
(-.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(/.f32 #s(literal 2 binary32) #s(literal 2 binary32)) |
(/.f32 #s(literal -2 binary32) #s(literal -2 binary32)) |
(/.f32 #s(literal 1 binary32) #s(literal 1 binary32)) |
(/.f32 #s(literal 4 binary32) #s(literal 4 binary32)) |
(cosh.f32 #s(literal 0 binary32)) |
(exp.f32 #s(literal 0 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal -1 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal -1/2 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal -1/2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1/2 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 1/2 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 1 binary32) #s(literal 1/2 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 1 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 0 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 1/2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal 0 binary32) #s(literal 1 binary32)) |
(hypot.f32 #s(literal 1 binary32) #s(literal 0 binary32)) |
(hypot.f32 #s(literal -1 binary32) #s(literal 0 binary32)) |
(hypot.f32 #s(literal 0 binary32) #s(literal 1 binary32)) |
(hypot.f32 #s(literal 0 binary32) #s(literal -1 binary32)) |
(neg.f32 #s(literal -1 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 2 binary32)) |
(pow.f32 #s(literal 1 binary32) #s(literal 3 binary32)) |
(sqrt.f32 #s(literal 1 binary32)) |
(*.f32 x x) |
(*.f32 (fabs.f32 x) (fabs.f32 x)) |
(*.f32 (neg.f32 x) (neg.f32 x)) |
(*.f32 (neg.f32 (fabs.f32 x)) (neg.f32 (fabs.f32 x))) |
(*.f32 (neg.f32 (neg.f32 (fabs.f32 x))) (neg.f32 (neg.f32 (fabs.f32 x)))) |
(*.f32 (neg.f32 (neg.f32 (fabs.f32 x))) (fabs.f32 x)) |
(*.f32 (fabs.f32 x) (neg.f32 (neg.f32 (fabs.f32 x)))) |
(fabs.f32 (*.f32 x x)) |
(fabs.f32 (neg.f32 (*.f32 x x))) |
(neg.f32 (neg.f32 (*.f32 x x))) |
(pow.f32 x #s(literal 2 binary32)) |
(pow.f32 (fabs.f32 x) #s(literal 2 binary32)) |
(pow.f32 (neg.f32 x) #s(literal 2 binary32)) |
(pow.f32 (*.f32 x x) #s(literal 1 binary32)) |
(pow.f32 (neg.f32 (fabs.f32 x)) #s(literal 2 binary32)) |
(sqrt.f32 (*.f32 (*.f32 x x) (*.f32 x x))) |
(acosh.f32 x) |
(log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
(+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x) |
(+.f32 x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(-.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (neg.f32 x)) |
(-.f32 x (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(fma.f32 x #s(literal 1 binary32) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(fma.f32 #s(literal 1 binary32) x (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(neg.f32 (-.f32 (neg.f32 x) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(fabs.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(fabs.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(neg.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(pow.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1/2 binary32)) |
(sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) |
(*.f32 (-.f32 x #s(literal 1 binary32)) (-.f32 x #s(literal -1 binary32))) |
(*.f32 (-.f32 x #s(literal -1 binary32)) (-.f32 x #s(literal 1 binary32))) |
(*.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) |
(*.f32 (-.f32 (fabs.f32 x) #s(literal -1 binary32)) (-.f32 (fabs.f32 x) #s(literal 1 binary32))) |
(*.f32 (-.f32 (fabs.f32 x) #s(literal 1 binary32)) (-.f32 (fabs.f32 x) #s(literal -1 binary32))) |
(*.f32 (neg.f32 (-.f32 x #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) x)) |
(*.f32 (-.f32 #s(literal 1 binary32) x) (neg.f32 (-.f32 x #s(literal -1 binary32)))) |
(*.f32 (+.f32 (neg.f32 (fabs.f32 x)) #s(literal 1 binary32)) (-.f32 (neg.f32 (fabs.f32 x)) #s(literal 1 binary32))) |
(*.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(fabs.f32 (fma.f32 x x #s(literal -1 binary32))) |
(fabs.f32 (*.f32 (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))) (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))))) |
(fabs.f32 (*.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) (neg.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32)))))) |
(+.f32 (*.f32 x x) #s(literal -1 binary32)) |
(+.f32 #s(literal -1 binary32) (*.f32 x x)) |
(+.f32 (*.f32 x (-.f32 x #s(literal -1 binary32))) (*.f32 #s(literal -1 binary32) (-.f32 x #s(literal -1 binary32)))) |
(+.f32 (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32))) (*.f32 x (-.f32 x #s(literal 1 binary32)))) |
(+.f32 (*.f32 x (-.f32 x #s(literal 1 binary32))) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32)))) |
(+.f32 (*.f32 (-.f32 x #s(literal -1 binary32)) x) (*.f32 (-.f32 x #s(literal -1 binary32)) #s(literal -1 binary32))) |
(+.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(+.f32 (*.f32 (-.f32 x #s(literal 1 binary32)) x) (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32))) |
(-.f32 (*.f32 x x) #s(literal 1 binary32)) |
(-.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 0 binary32)) |
(-.f32 #s(literal -1 binary32) (neg.f32 (*.f32 x x))) |
(/.f32 (-.f32 (*.f32 (+.f32 x x) x) #s(literal 2 binary32)) #s(literal 2 binary32)) |
(fma.f32 x x #s(literal -1 binary32)) |
(fma.f32 (fabs.f32 x) (fabs.f32 x) #s(literal -1 binary32)) |
(fma.f32 (neg.f32 x) (neg.f32 x) #s(literal -1 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) (*.f32 x x)) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) (*.f32 x x)) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) (*.f32 x x)) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) (*.f32 x x)) |
(fma.f32 (neg.f32 (fabs.f32 x)) (neg.f32 (fabs.f32 x)) #s(literal -1 binary32)) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32) (*.f32 (-.f32 x #s(literal 1 binary32)) x)) |
(fma.f32 (-.f32 x #s(literal -1 binary32)) x (*.f32 (-.f32 x #s(literal -1 binary32)) #s(literal -1 binary32))) |
(fma.f32 (-.f32 x #s(literal 1 binary32)) x (*.f32 (-.f32 x #s(literal 1 binary32)) #s(literal 1 binary32))) |
(fma.f32 x (-.f32 x #s(literal 1 binary32)) (*.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 #s(literal 1 binary32) (-.f32 x #s(literal 1 binary32)) (*.f32 x (-.f32 x #s(literal 1 binary32)))) |
(fma.f32 x (-.f32 x #s(literal -1 binary32)) (*.f32 #s(literal -1 binary32) (-.f32 x #s(literal -1 binary32)))) |
(fma.f32 (neg.f32 (neg.f32 (fabs.f32 x))) (neg.f32 (neg.f32 (fabs.f32 x))) #s(literal -1 binary32)) |
(fma.f32 (neg.f32 (neg.f32 (fabs.f32 x))) (fabs.f32 x) #s(literal -1 binary32)) |
(fma.f32 (fabs.f32 x) (neg.f32 (neg.f32 (fabs.f32 x))) #s(literal -1 binary32)) |
(neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 x x))) |
(pow.f32 (fma.f32 x x #s(literal -1 binary32)) #s(literal 1 binary32)) |
(pow.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) #s(literal 2 binary32)) |
(pow.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) (fma.f32 x x #s(literal -1 binary32))) #s(literal 1/2 binary32)) |
(sqrt.f32 (*.f32 (fma.f32 x x #s(literal -1 binary32)) (fma.f32 x x #s(literal -1 binary32)))) |
#s(literal -1 binary32) |
(*.f32 #s(literal -1/2 binary32) #s(literal 2 binary32)) |
(*.f32 #s(literal 1 binary32) #s(literal -1 binary32)) |
(*.f32 #s(literal 2 binary32) #s(literal -1/2 binary32)) |
(*.f32 #s(literal -1 binary32) #s(literal 1 binary32)) |
(+.f32 #s(literal -1 binary32) #s(literal 0 binary32)) |
(/.f32 #s(literal -2 binary32) #s(literal 2 binary32)) |
(/.f32 #s(literal 2 binary32) #s(literal -2 binary32)) |
(fma.f32 #s(literal -1/2 binary32) #s(literal 2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 1 binary32) #s(literal -1 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal 2 binary32) #s(literal -1/2 binary32) #s(literal 0 binary32)) |
(fma.f32 #s(literal -1 binary32) #s(literal 1 binary32) #s(literal 0 binary32)) |
(neg.f32 #s(literal 1 binary32)) |
Compiled 11 579 to 2 779 computations (76% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 536 | 2 | 538 |
| Fresh | 0 | 0 | 0 |
| Picked | 2 | 2 | 4 |
| Done | 0 | 0 | 0 |
| Total | 538 | 4 | 542 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 55.4% | (log.f32 (+.f32 (sqrt.f32 (fma.f32 x x #s(literal -1 binary32))) x)) |
| ▶ | 96.5% | (log.f32 #s(approx (+ x (unsound-sinh (unsound-acosh x))) (+.f32 x x))) |
| ▶ | 98.0% | (log.f32 #s(approx (+ x (sqrt (- (* x x) 1))) (*.f32 x (-.f32 (/.f32 #s(literal -1/2 binary32) (*.f32 x x)) #s(literal -2 binary32))))) |
| ✓ | 99.5% | (acosh.f32 x) |
Compiled 39 to 29 computations (25.6% saved)
3 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | x | -inf |
| 2.0ms | x | inf |
| 2.0ms | x | 0 |
Loading profile data...