Commute and associate
Time bar (total: 4.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 13 to 10 computations (23.1% saved)
| 895.0ms | 4 099× | 2 | valid |
| 378.0ms | 4 151× | 1 | valid |
| 0.0ms | 6× | 0 | valid |
ival-add!: 449.0ms (47.4% of total)adjust: 435.0ms (45.9% of total)ival-sub!: 64.0ms (6.8% of total)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 39 | 110 |
| 1 | 163 | 10 |
| 2 | 744 | 10 |
| 3 | 2597 | 10 |
| 4 | 4091 | 10 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
(abs x)
(abs y)
(abs z)
(negabs x)
(negabs y)
(negabs z)
(sort x y z)
Compiled 16 to 16 computations (0% saved)
| Inputs |
|---|
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
(+.f64 (+.f64 x y) z) |
(+.f64 x y) |
x |
y |
z |
(+.f64 x (+.f64 y z)) |
(+.f64 y z) |
| Outputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
#s(approx (+ (+ x y) z) (+.f64 y z)) |
#s(approx (+ (+ x y) z) (+.f64 x (+.f64 y z))) |
#s(approx (+ x y) y) |
#s(approx (+ x y) (+.f64 x y)) |
#s(approx x x) |
#s(approx (+ (+ x y) z) (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 y x) (/.f64 z x))))) |
#s(approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x)))) |
#s(approx (+ (+ x y) z) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y z) x)) #s(literal 1 binary64))))) |
#s(approx (+ x y) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y x)) #s(literal 1 binary64))))) |
#s(approx (+ (+ x y) z) (+.f64 x z)) |
#s(approx (+ y z) z) |
#s(approx (+ (+ x y) z) (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x y) (/.f64 z y))))) |
#s(approx (+ x y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y)))) |
#s(approx (+ y z) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 z y)))) |
#s(approx (+ (+ x y) z) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x z) y)) #s(literal 1 binary64))))) |
#s(approx (+ x y) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x y)) #s(literal 1 binary64))))) |
#s(approx (+ y z) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 z y)) #s(literal 1 binary64))))) |
#s(approx (+ (+ x y) z) (*.f64 z (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 x z) (/.f64 y z))))) |
#s(approx (+ y z) (*.f64 z (+.f64 #s(literal 1 binary64) (/.f64 y z)))) |
#s(approx (+ (+ x y) z) (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x y) z)) #s(literal 1 binary64))))) |
#s(approx (+ y z) (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y z)) #s(literal 1 binary64))))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | -inf | ((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z)) |
| 1.0ms | x | @ | inf | ((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z)) |
| 0.0ms | y | @ | -inf | ((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z)) |
| 0.0ms | z | @ | -inf | ((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z)) |
| 0.0ms | y | @ | inf | ((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z)) |
| Inputs |
|---|
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
(+.f64 (+.f64 x y) z) |
(+.f64 x y) |
x |
y |
z |
(+.f64 x (+.f64 y z)) |
(+.f64 y z) |
| Outputs |
|---|
#s(literal 0 binary64) |
(+.f64 #s(literal 0 binary64) #s(literal 0 binary64)) |
(+.f64 (neg.f64 x) x) |
(+.f64 (-.f64 y x) (-.f64 x y)) |
(+.f64 (-.f64 z x) (-.f64 x z)) |
(+.f64 (neg.f64 y) y) |
(+.f64 (-.f64 x y) (-.f64 y x)) |
(+.f64 (-.f64 z y) (-.f64 y z)) |
(+.f64 (neg.f64 z) z) |
(+.f64 (-.f64 x z) (-.f64 z x)) |
(+.f64 (-.f64 y z) (-.f64 z y)) |
(+.f64 x (neg.f64 x)) |
(+.f64 y (neg.f64 y)) |
(+.f64 z (neg.f64 z)) |
(+.f64 (+.f64 (+.f64 x y) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (-.f64 x (-.f64 z y)) (-.f64 (-.f64 z x) y)) |
(+.f64 (-.f64 y (-.f64 x z)) (-.f64 (-.f64 x y) z)) |
(+.f64 (-.f64 (neg.f64 x) y) (+.f64 x y)) |
(+.f64 (-.f64 (-.f64 z x) y) (-.f64 x (-.f64 z y))) |
(+.f64 (-.f64 (neg.f64 x) z) (+.f64 z x)) |
(+.f64 (-.f64 (neg.f64 y) z) (+.f64 y z)) |
(+.f64 (-.f64 (-.f64 x y) z) (-.f64 y (-.f64 x z))) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 (+.f64 x y) z)) |
(+.f64 (-.f64 #s(literal 0 binary64) (-.f64 z x)) (-.f64 z x)) |
(+.f64 (+.f64 x y) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 z x) (-.f64 (neg.f64 x) z)) |
(+.f64 (+.f64 y z) (-.f64 (neg.f64 y) z)) |
(+.f64 (-.f64 z x) (-.f64 (-.f64 x z) #s(literal 0 binary64))) |
(+.f64 (*.f64 (sinh.f64 (neg.f64 x)) (cosh.f64 x)) (*.f64 (cosh.f64 x) (sinh.f64 x))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 z x)) (cosh.f64 (-.f64 x z))) (*.f64 (cosh.f64 (-.f64 z x)) (sinh.f64 (-.f64 x z)))) |
(+.f64 (*.f64 (sinh.f64 (neg.f64 y)) (cosh.f64 y)) (*.f64 (cosh.f64 y) (sinh.f64 y))) |
(+.f64 (*.f64 (sinh.f64 (neg.f64 z)) (cosh.f64 z)) (*.f64 (cosh.f64 z) (sinh.f64 z))) |
(+.f64 (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(+.f64 (-.f64 #s(literal 0 binary64) (-.f64 (-.f64 (neg.f64 x) y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (-.f64 #s(literal 0 binary64) (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(+.f64 (-.f64 #s(literal 0 binary64) (-.f64 (-.f64 z x) y)) (-.f64 (-.f64 z x) y)) |
(+.f64 (+.f64 (-.f64 (neg.f64 x) y) (+.f64 z x)) (-.f64 y z)) |
(+.f64 (-.f64 z y) (-.f64 (neg.f64 x) (-.f64 (-.f64 z x) y))) |
(+.f64 (-.f64 z y) (+.f64 (neg.f64 x) (-.f64 x (-.f64 z y)))) |
(+.f64 (*.f64 (sinh.f64 x) (cosh.f64 x)) (*.f64 (cosh.f64 x) (sinh.f64 (neg.f64 x)))) |
(+.f64 (*.f64 (sinh.f64 y) (cosh.f64 y)) (*.f64 (cosh.f64 y) (sinh.f64 (neg.f64 y)))) |
(+.f64 (*.f64 (sinh.f64 z) (cosh.f64 z)) (*.f64 (cosh.f64 z) (sinh.f64 (neg.f64 z)))) |
(+.f64 (+.f64 (+.f64 x y) z) (-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) #s(literal 0 binary64))) |
(+.f64 (-.f64 y (-.f64 x z)) (-.f64 (-.f64 (-.f64 x y) z) #s(literal 0 binary64))) |
(+.f64 (-.f64 (-.f64 z x) y) (-.f64 (-.f64 x (-.f64 z y)) #s(literal 0 binary64))) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (-.f64 (+.f64 (+.f64 x y) z) #s(literal 0 binary64))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 (+.f64 x y) z)) (cosh.f64 (+.f64 (+.f64 x y) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 z x) y)) (cosh.f64 (-.f64 x (-.f64 z y)))) (*.f64 (cosh.f64 (-.f64 (-.f64 z x) y)) (sinh.f64 (-.f64 x (-.f64 z y))))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 y) z)) (cosh.f64 (+.f64 y z))) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (+.f64 y z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (cosh.f64 (+.f64 (+.f64 x y) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (+.f64 (+.f64 x y) z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 x) y)) (cosh.f64 (+.f64 x y))) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (+.f64 x y)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 y (-.f64 x z))) (cosh.f64 (-.f64 (-.f64 x y) z))) (*.f64 (cosh.f64 (-.f64 y (-.f64 x z))) (sinh.f64 (-.f64 (-.f64 x y) z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 x) z)) (cosh.f64 (+.f64 z x))) (*.f64 (cosh.f64 (-.f64 (neg.f64 x) z)) (sinh.f64 (+.f64 z x)))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 z x)) (cosh.f64 (-.f64 (neg.f64 x) z))) (*.f64 (cosh.f64 (+.f64 z x)) (sinh.f64 (-.f64 (neg.f64 x) z)))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 x y)) (cosh.f64 (+.f64 x y))) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (-.f64 (neg.f64 x) y)))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 y z)) (cosh.f64 (+.f64 y z))) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (-.f64 (neg.f64 y) z)))) |
(-.f64 #s(literal 0 binary64) #s(literal 0 binary64)) |
(-.f64 x x) |
(-.f64 y y) |
(-.f64 z z) |
(-.f64 (*.f64 #s(literal 0 binary64) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) #s(literal 0 binary64))) |
(-.f64 (+.f64 x y) (+.f64 x y)) |
(-.f64 (+.f64 z x) (+.f64 z x)) |
(-.f64 (+.f64 y z) (+.f64 y z)) |
(-.f64 (neg.f64 x) (neg.f64 x)) |
(-.f64 (-.f64 y x) (-.f64 y x)) |
(-.f64 (-.f64 z x) (-.f64 z x)) |
(-.f64 (neg.f64 y) (neg.f64 y)) |
(-.f64 (-.f64 x y) (-.f64 x y)) |
(-.f64 (-.f64 z y) (-.f64 z y)) |
(-.f64 (neg.f64 z) (neg.f64 z)) |
(-.f64 (-.f64 x z) (-.f64 x z)) |
(-.f64 (-.f64 y z) (-.f64 y z)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 (+.f64 x y) z)) |
(-.f64 (*.f64 (sinh.f64 x) (cosh.f64 x)) (*.f64 (cosh.f64 x) (sinh.f64 x))) |
(-.f64 (*.f64 (sinh.f64 y) (cosh.f64 y)) (*.f64 (cosh.f64 y) (sinh.f64 y))) |
(-.f64 (*.f64 (sinh.f64 z) (cosh.f64 z)) (*.f64 (cosh.f64 z) (sinh.f64 z))) |
(-.f64 (-.f64 x (-.f64 z y)) (-.f64 x (-.f64 z y))) |
(-.f64 (-.f64 y (-.f64 x z)) (-.f64 y (-.f64 x z))) |
(-.f64 (-.f64 (neg.f64 x) y) (-.f64 (neg.f64 x) y)) |
(-.f64 (-.f64 (-.f64 z x) y) (-.f64 (-.f64 z x) y)) |
(-.f64 (-.f64 (neg.f64 x) z) (-.f64 (neg.f64 x) z)) |
(-.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) z)) |
(-.f64 (-.f64 (-.f64 x y) z) (-.f64 (-.f64 x y) z)) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 #s(literal 0 binary64) (-.f64 z x)) (-.f64 x z)) |
(-.f64 (-.f64 z x) (+.f64 (-.f64 z x) #s(literal 0 binary64))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 x y)) (cosh.f64 (+.f64 x y))) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (+.f64 x y)))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 y z)) (cosh.f64 (+.f64 y z))) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (+.f64 y z)))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 z x)) (cosh.f64 (+.f64 z x))) (*.f64 (cosh.f64 (+.f64 z x)) (sinh.f64 (+.f64 z x)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 z x)) (cosh.f64 (-.f64 z x))) (*.f64 (cosh.f64 (-.f64 z x)) (sinh.f64 (-.f64 z x)))) |
(-.f64 (*.f64 (sinh.f64 (neg.f64 y)) (cosh.f64 y)) (*.f64 (cosh.f64 y) (sinh.f64 (neg.f64 y)))) |
(-.f64 (*.f64 (sinh.f64 (neg.f64 x)) (cosh.f64 x)) (*.f64 (cosh.f64 x) (sinh.f64 (neg.f64 x)))) |
(-.f64 (*.f64 (sinh.f64 (neg.f64 z)) (cosh.f64 z)) (*.f64 (cosh.f64 z) (sinh.f64 (neg.f64 z)))) |
(-.f64 (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 #s(literal 0 binary64) (-.f64 (-.f64 (neg.f64 x) y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (-.f64 #s(literal 0 binary64) (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(-.f64 (-.f64 #s(literal 0 binary64) (-.f64 (-.f64 z x) y)) (-.f64 x (-.f64 z y))) |
(-.f64 (+.f64 (-.f64 (neg.f64 x) y) (+.f64 z x)) (-.f64 z y)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 (+.f64 (+.f64 x y) z) #s(literal 0 binary64))) |
(-.f64 (-.f64 y (-.f64 x z)) (+.f64 (-.f64 y (-.f64 x z)) #s(literal 0 binary64))) |
(-.f64 (-.f64 (-.f64 z x) y) (+.f64 (-.f64 (-.f64 z x) y) #s(literal 0 binary64))) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) #s(literal 0 binary64))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 (+.f64 x y) z)) (cosh.f64 (+.f64 (+.f64 x y) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (+.f64 (+.f64 x y) z)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (cosh.f64 (+.f64 (+.f64 x y) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 y (-.f64 x z))) (cosh.f64 (-.f64 y (-.f64 x z)))) (*.f64 (cosh.f64 (-.f64 y (-.f64 x z))) (sinh.f64 (-.f64 y (-.f64 x z))))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 z x) y)) (cosh.f64 (-.f64 (-.f64 z x) y))) (*.f64 (cosh.f64 (-.f64 (-.f64 z x) y)) (sinh.f64 (-.f64 (-.f64 z x) y)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 y) z)) (cosh.f64 (+.f64 y z))) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (-.f64 (neg.f64 y) z)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 x) z)) (cosh.f64 (-.f64 (neg.f64 x) z))) (*.f64 (cosh.f64 (-.f64 (neg.f64 x) z)) (sinh.f64 (-.f64 (neg.f64 x) z)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 x) y)) (cosh.f64 (+.f64 x y))) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (-.f64 (neg.f64 x) y)))) |
(/.f64 (-.f64 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 2 binary64)) |
(fma.f64 (sinh.f64 (neg.f64 z)) (cosh.f64 z) (*.f64 (cosh.f64 z) (sinh.f64 z))) |
(fma.f64 (sinh.f64 (neg.f64 y)) (cosh.f64 y) (*.f64 (cosh.f64 y) (sinh.f64 y))) |
(fma.f64 (sinh.f64 (neg.f64 x)) (cosh.f64 x) (*.f64 (cosh.f64 x) (sinh.f64 x))) |
(fma.f64 (sinh.f64 (-.f64 (neg.f64 y) z)) (cosh.f64 (+.f64 y z)) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (+.f64 y z)))) |
(fma.f64 (sinh.f64 (-.f64 (neg.f64 x) y)) (cosh.f64 (+.f64 x y)) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (+.f64 x y)))) |
(fma.f64 (sinh.f64 z) (cosh.f64 z) (*.f64 (cosh.f64 z) (sinh.f64 (neg.f64 z)))) |
(fma.f64 (sinh.f64 y) (cosh.f64 y) (*.f64 (cosh.f64 y) (sinh.f64 (neg.f64 y)))) |
(fma.f64 (sinh.f64 x) (cosh.f64 x) (*.f64 (cosh.f64 x) (sinh.f64 (neg.f64 x)))) |
(fma.f64 (sinh.f64 (-.f64 z x)) (cosh.f64 (-.f64 x z)) (*.f64 (cosh.f64 (-.f64 z x)) (sinh.f64 (-.f64 x z)))) |
(fma.f64 (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (cosh.f64 (+.f64 (+.f64 x y) z)) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (+.f64 (+.f64 x y) z)))) |
(fma.f64 (sinh.f64 (+.f64 (+.f64 x y) z)) (cosh.f64 (+.f64 (+.f64 x y) z)) (*.f64 (cosh.f64 (+.f64 (+.f64 x y) z)) (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)))) |
(fma.f64 (sinh.f64 (-.f64 (-.f64 z x) y)) (cosh.f64 (-.f64 x (-.f64 z y))) (*.f64 (cosh.f64 (-.f64 (-.f64 z x) y)) (sinh.f64 (-.f64 x (-.f64 z y))))) |
(fma.f64 (sinh.f64 (-.f64 y (-.f64 x z))) (cosh.f64 (-.f64 (-.f64 x y) z)) (*.f64 (cosh.f64 (-.f64 y (-.f64 x z))) (sinh.f64 (-.f64 (-.f64 x y) z)))) |
(fma.f64 (sinh.f64 (-.f64 (neg.f64 x) z)) (cosh.f64 (+.f64 z x)) (*.f64 (cosh.f64 (-.f64 (neg.f64 x) z)) (sinh.f64 (+.f64 z x)))) |
(fma.f64 (sinh.f64 (+.f64 z x)) (cosh.f64 (-.f64 (neg.f64 x) z)) (*.f64 (cosh.f64 (+.f64 z x)) (sinh.f64 (-.f64 (neg.f64 x) z)))) |
(fma.f64 (sinh.f64 (+.f64 x y)) (cosh.f64 (+.f64 x y)) (*.f64 (cosh.f64 (+.f64 x y)) (sinh.f64 (-.f64 (neg.f64 x) y)))) |
(fma.f64 (sinh.f64 (+.f64 y z)) (cosh.f64 (+.f64 y z)) (*.f64 (cosh.f64 (+.f64 y z)) (sinh.f64 (-.f64 (neg.f64 y) z)))) |
(neg.f64 #s(literal 0 binary64)) |
(sinh.f64 #s(literal 0 binary64)) |
(+.f64 (+.f64 x y) z) |
(+.f64 x (+.f64 y z)) |
(+.f64 (+.f64 z x) y) |
(+.f64 (+.f64 y z) x) |
(+.f64 y (+.f64 z x)) |
(+.f64 z (+.f64 x y)) |
(-.f64 (+.f64 x y) (neg.f64 z)) |
(-.f64 (+.f64 z x) (neg.f64 y)) |
(-.f64 (+.f64 y z) (neg.f64 x)) |
(-.f64 x (-.f64 (neg.f64 y) z)) |
(-.f64 y (-.f64 (neg.f64 x) z)) |
(-.f64 z (-.f64 (neg.f64 x) y)) |
(neg.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 x y) |
(+.f64 y x) |
(+.f64 (+.f64 x y) #s(literal 0 binary64)) |
(+.f64 (+.f64 z x) (-.f64 y z)) |
(+.f64 (+.f64 y z) (-.f64 x z)) |
(+.f64 (-.f64 x z) (+.f64 y z)) |
(+.f64 (-.f64 y z) (+.f64 z x)) |
(+.f64 #s(literal 0 binary64) (+.f64 x y)) |
(+.f64 (+.f64 (+.f64 x y) z) (neg.f64 z)) |
(+.f64 (+.f64 (+.f64 x y) x) (neg.f64 x)) |
(+.f64 (+.f64 (+.f64 x y) y) (neg.f64 y)) |
(+.f64 (+.f64 (+.f64 x y) (+.f64 y z)) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 (+.f64 x y) (+.f64 x y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 (+.f64 x y) (+.f64 z x)) (-.f64 (neg.f64 x) z)) |
(+.f64 (-.f64 x (-.f64 z y)) z) |
(+.f64 (-.f64 (+.f64 x y) (neg.f64 y)) (neg.f64 y)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 z x)) (-.f64 z x)) |
(+.f64 (-.f64 (+.f64 x y) (neg.f64 x)) (neg.f64 x)) |
(+.f64 z (-.f64 x (-.f64 z y))) |
(+.f64 (neg.f64 z) (+.f64 (+.f64 x y) z)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 (-.f64 (neg.f64 x) y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 (-.f64 z x) y)) (-.f64 (-.f64 z x) y)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 x) z)) (-.f64 (neg.f64 x) z)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 x) y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 (+.f64 x y) (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (+.f64 (+.f64 x y) (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(+.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 y) z)) (-.f64 (neg.f64 y) z)) |
(-.f64 (+.f64 x y) #s(literal 0 binary64)) |
(-.f64 (+.f64 z x) (-.f64 z y)) |
(-.f64 (+.f64 y z) (-.f64 z x)) |
(-.f64 x (neg.f64 y)) |
(-.f64 y (neg.f64 x)) |
(-.f64 (+.f64 (+.f64 x y) z) z) |
(-.f64 (+.f64 (+.f64 x y) x) x) |
(-.f64 (+.f64 (+.f64 x y) y) y) |
(-.f64 (+.f64 (+.f64 x y) (+.f64 y z)) (+.f64 y z)) |
(-.f64 (+.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) |
(-.f64 (+.f64 (+.f64 x y) (+.f64 z x)) (+.f64 z x)) |
(-.f64 (-.f64 x (-.f64 z y)) (neg.f64 z)) |
(-.f64 (-.f64 (+.f64 x y) (neg.f64 y)) y) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 z x)) (-.f64 x z)) |
(-.f64 (-.f64 (+.f64 x y) (neg.f64 x)) x) |
(-.f64 #s(literal 0 binary64) (-.f64 (neg.f64 x) y)) |
(-.f64 z (-.f64 (-.f64 z x) y)) |
(-.f64 (neg.f64 z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 x z) (-.f64 (neg.f64 y) z)) |
(-.f64 (-.f64 y z) (-.f64 (neg.f64 x) z)) |
(-.f64 (+.f64 (+.f64 x y) (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (+.f64 (+.f64 x y) (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 x) y)) (+.f64 x y)) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 y) z)) (+.f64 y z)) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 (-.f64 (neg.f64 x) y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 (-.f64 z x) y)) (-.f64 x (-.f64 z y))) |
(-.f64 (-.f64 (+.f64 x y) (-.f64 (neg.f64 x) z)) (+.f64 z x)) |
(neg.f64 (-.f64 (neg.f64 x) y)) |
x |
(+.f64 x #s(literal 0 binary64)) |
(+.f64 #s(literal 0 binary64) x) |
(+.f64 (+.f64 x x) (neg.f64 x)) |
(+.f64 (+.f64 x y) (neg.f64 y)) |
(+.f64 (+.f64 z x) (neg.f64 z)) |
(+.f64 (neg.f64 y) (+.f64 x y)) |
(+.f64 (-.f64 x y) y) |
(+.f64 (neg.f64 z) (+.f64 z x)) |
(+.f64 (-.f64 x z) z) |
(+.f64 y (-.f64 x y)) |
(+.f64 z (-.f64 x z)) |
(+.f64 (+.f64 (+.f64 x y) z) (-.f64 (neg.f64 y) z)) |
(+.f64 (-.f64 x (-.f64 z y)) (-.f64 z y)) |
(+.f64 (-.f64 (neg.f64 y) z) (+.f64 (+.f64 x y) z)) |
(+.f64 (-.f64 (-.f64 x y) z) (+.f64 y z)) |
(+.f64 (+.f64 (neg.f64 y) (+.f64 z x)) (-.f64 y z)) |
(+.f64 (+.f64 x (+.f64 x y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 x (+.f64 z x)) (-.f64 (neg.f64 x) z)) |
(+.f64 (+.f64 y z) (-.f64 (-.f64 x y) z)) |
(+.f64 (-.f64 z y) (-.f64 x (-.f64 z y))) |
(+.f64 (-.f64 y z) (-.f64 (+.f64 z x) y)) |
(+.f64 (-.f64 y z) (+.f64 (+.f64 z x) (neg.f64 y))) |
(+.f64 (+.f64 x (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 x #s(literal 0 binary64)) |
(-.f64 (+.f64 x x) x) |
(-.f64 (+.f64 x y) y) |
(-.f64 (+.f64 z x) z) |
(-.f64 (-.f64 x y) (neg.f64 y)) |
(-.f64 (-.f64 x z) (neg.f64 z)) |
(-.f64 #s(literal 0 binary64) (neg.f64 x)) |
(-.f64 y (-.f64 y x)) |
(-.f64 z (-.f64 z x)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 y z)) |
(-.f64 (-.f64 x (-.f64 z y)) (-.f64 y z)) |
(-.f64 (-.f64 (neg.f64 y) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 (-.f64 x y) z) (-.f64 (neg.f64 y) z)) |
(-.f64 (+.f64 (neg.f64 y) (+.f64 z x)) (-.f64 z y)) |
(-.f64 (+.f64 x (+.f64 x y)) (+.f64 x y)) |
(-.f64 (+.f64 x (+.f64 z x)) (+.f64 z x)) |
(-.f64 (+.f64 y z) (-.f64 y (-.f64 x z))) |
(-.f64 (neg.f64 y) (-.f64 (neg.f64 x) y)) |
(-.f64 (-.f64 z y) (-.f64 (-.f64 z x) y)) |
(-.f64 (neg.f64 z) (-.f64 (neg.f64 x) z)) |
(-.f64 (+.f64 x (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (-.f64 y z) (+.f64 (-.f64 (neg.f64 x) z) y)) |
(-.f64 (-.f64 y z) (-.f64 (-.f64 (neg.f64 x) z) (neg.f64 y))) |
(neg.f64 (neg.f64 x)) |
y |
(+.f64 y #s(literal 0 binary64)) |
(+.f64 #s(literal 0 binary64) y) |
(+.f64 (+.f64 x y) (neg.f64 x)) |
(+.f64 (+.f64 y y) (neg.f64 y)) |
(+.f64 (+.f64 y z) (neg.f64 z)) |
(+.f64 (neg.f64 x) (+.f64 x y)) |
(+.f64 (-.f64 y x) x) |
(+.f64 (neg.f64 z) (+.f64 y z)) |
(+.f64 (-.f64 y z) z) |
(+.f64 x (-.f64 y x)) |
(+.f64 z (-.f64 y z)) |
(+.f64 (+.f64 (+.f64 x y) z) (-.f64 (neg.f64 x) z)) |
(+.f64 (-.f64 x (-.f64 z y)) (-.f64 z x)) |
(+.f64 (-.f64 y (-.f64 x z)) (-.f64 x z)) |
(+.f64 (+.f64 (neg.f64 x) (-.f64 y z)) (+.f64 z x)) |
(+.f64 (-.f64 (neg.f64 x) z) (+.f64 (+.f64 x y) z)) |
(+.f64 (+.f64 y (+.f64 y z)) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 y (+.f64 x y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (-.f64 (neg.f64 x) (-.f64 z y)) (+.f64 z x)) |
(+.f64 (-.f64 (neg.f64 z) (-.f64 x y)) (+.f64 z x)) |
(+.f64 (+.f64 z x) (-.f64 y (+.f64 z x))) |
(+.f64 (+.f64 z x) (-.f64 (-.f64 y z) x)) |
(+.f64 (+.f64 z x) (+.f64 (-.f64 y x) (neg.f64 z))) |
(+.f64 (+.f64 z x) (-.f64 (-.f64 y x) z)) |
(+.f64 (-.f64 z x) (-.f64 x (-.f64 z y))) |
(+.f64 (-.f64 x z) (-.f64 y (-.f64 x z))) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) z) (neg.f64 y)) (+.f64 z x)) |
(+.f64 (-.f64 (neg.f64 x) (-.f64 (-.f64 z x) y)) z) |
(+.f64 (+.f64 (-.f64 (neg.f64 x) z) y) (+.f64 z x)) |
(+.f64 (+.f64 y (-.f64 (neg.f64 x) z)) (+.f64 z x)) |
(+.f64 (+.f64 y (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (+.f64 y (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(+.f64 (+.f64 (neg.f64 x) (-.f64 x (-.f64 z y))) z) |
(+.f64 (+.f64 z x) (+.f64 y (-.f64 (neg.f64 x) z))) |
(-.f64 y #s(literal 0 binary64)) |
(-.f64 (+.f64 x y) x) |
(-.f64 (+.f64 y y) y) |
(-.f64 (+.f64 y z) z) |
(-.f64 (-.f64 y x) (neg.f64 x)) |
(-.f64 (-.f64 y z) (neg.f64 z)) |
(-.f64 #s(literal 0 binary64) (neg.f64 y)) |
(-.f64 x (-.f64 x y)) |
(-.f64 z (-.f64 z y)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 z x)) |
(-.f64 (-.f64 x (-.f64 z y)) (-.f64 x z)) |
(-.f64 (-.f64 y (-.f64 x z)) (-.f64 z x)) |
(-.f64 (+.f64 (neg.f64 x) (-.f64 y z)) (-.f64 (neg.f64 x) z)) |
(-.f64 (-.f64 (neg.f64 x) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (+.f64 y (+.f64 y z)) (+.f64 y z)) |
(-.f64 (+.f64 y (+.f64 x y)) (+.f64 x y)) |
(-.f64 (-.f64 (neg.f64 x) (-.f64 z y)) (-.f64 (neg.f64 x) z)) |
(-.f64 (-.f64 (neg.f64 z) (-.f64 x y)) (-.f64 (neg.f64 x) z)) |
(-.f64 (+.f64 z x) (-.f64 (-.f64 x y) (neg.f64 z))) |
(-.f64 (+.f64 z x) (+.f64 (-.f64 x y) z)) |
(-.f64 (+.f64 z x) (+.f64 (neg.f64 y) (+.f64 z x))) |
(-.f64 (+.f64 z x) (+.f64 (-.f64 z y) x)) |
(-.f64 (neg.f64 x) (-.f64 (neg.f64 x) y)) |
(-.f64 (-.f64 z x) (-.f64 (-.f64 z x) y)) |
(-.f64 (neg.f64 z) (-.f64 (neg.f64 y) z)) |
(-.f64 (-.f64 x z) (-.f64 (-.f64 x y) z)) |
(-.f64 (+.f64 (-.f64 (neg.f64 x) z) y) (-.f64 (neg.f64 x) z)) |
(-.f64 (+.f64 y (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (+.f64 y (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(-.f64 (+.f64 (neg.f64 x) (-.f64 x (-.f64 z y))) (neg.f64 z)) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) z) (neg.f64 y)) (-.f64 (neg.f64 x) z)) |
(-.f64 (-.f64 (neg.f64 x) (-.f64 (-.f64 z x) y)) (neg.f64 z)) |
(-.f64 (+.f64 y (-.f64 (neg.f64 x) z)) (-.f64 (neg.f64 x) z)) |
(-.f64 z (+.f64 (-.f64 (neg.f64 x) y) (+.f64 z x))) |
(-.f64 z (-.f64 (-.f64 (neg.f64 x) y) (-.f64 (neg.f64 x) z))) |
(-.f64 (+.f64 z x) (-.f64 (neg.f64 y) (-.f64 (neg.f64 x) z))) |
(neg.f64 (neg.f64 y)) |
z |
(+.f64 z #s(literal 0 binary64)) |
(+.f64 #s(literal 0 binary64) z) |
(+.f64 (+.f64 z x) (neg.f64 x)) |
(+.f64 (+.f64 y z) (neg.f64 y)) |
(+.f64 (+.f64 z z) (neg.f64 z)) |
(+.f64 (neg.f64 x) (+.f64 z x)) |
(+.f64 (-.f64 z x) x) |
(+.f64 (neg.f64 y) (+.f64 y z)) |
(+.f64 (-.f64 z y) y) |
(+.f64 x (-.f64 z x)) |
(+.f64 y (-.f64 z y)) |
(+.f64 (+.f64 (+.f64 x y) z) (-.f64 (neg.f64 x) y)) |
(+.f64 (-.f64 y (-.f64 x z)) (-.f64 x y)) |
(+.f64 (+.f64 (+.f64 y z) z) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 (+.f64 y z) (-.f64 z y)) (neg.f64 z)) |
(+.f64 (-.f64 (neg.f64 x) y) (+.f64 (+.f64 x y) z)) |
(+.f64 (-.f64 (-.f64 z x) y) (+.f64 x y)) |
(+.f64 (+.f64 (neg.f64 y) (+.f64 z x)) (-.f64 y x)) |
(+.f64 (+.f64 z (+.f64 y z)) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 z (-.f64 z x)) (-.f64 x z)) |
(+.f64 (+.f64 z (+.f64 z x)) (-.f64 (neg.f64 x) z)) |
(+.f64 (+.f64 x y) (-.f64 (-.f64 z x) y)) |
(+.f64 (-.f64 x y) (-.f64 y (-.f64 x z))) |
(+.f64 (+.f64 (-.f64 (neg.f64 x) y) (+.f64 z x)) y) |
(+.f64 (+.f64 z (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (+.f64 z (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(+.f64 (+.f64 z (-.f64 (-.f64 z x) y)) (-.f64 x (-.f64 z y))) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) y) (-.f64 (neg.f64 x) z)) y) |
(-.f64 z #s(literal 0 binary64)) |
(-.f64 (+.f64 z x) x) |
(-.f64 (+.f64 y z) y) |
(-.f64 (+.f64 z z) z) |
(-.f64 (-.f64 z x) (neg.f64 x)) |
(-.f64 (-.f64 z y) (neg.f64 y)) |
(-.f64 #s(literal 0 binary64) (neg.f64 z)) |
(-.f64 x (-.f64 x z)) |
(-.f64 y (-.f64 y z)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x y)) |
(-.f64 (+.f64 (+.f64 y z) z) (+.f64 y z)) |
(-.f64 (+.f64 (+.f64 y z) (-.f64 z y)) z) |
(-.f64 (-.f64 (neg.f64 x) y) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 (-.f64 z x) y) (-.f64 (neg.f64 x) y)) |
(-.f64 (+.f64 (neg.f64 y) (+.f64 z x)) (-.f64 x y)) |
(-.f64 (+.f64 z (+.f64 y z)) (+.f64 y z)) |
(-.f64 (+.f64 z (-.f64 z x)) (-.f64 z x)) |
(-.f64 (+.f64 z (+.f64 z x)) (+.f64 z x)) |
(-.f64 (+.f64 x y) (-.f64 x (-.f64 z y))) |
(-.f64 (neg.f64 x) (-.f64 (neg.f64 x) z)) |
(-.f64 (neg.f64 y) (-.f64 (neg.f64 y) z)) |
(-.f64 (-.f64 x y) (-.f64 (-.f64 x y) z)) |
(-.f64 (+.f64 (-.f64 (neg.f64 x) y) (+.f64 z x)) (neg.f64 y)) |
(-.f64 (+.f64 z (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (+.f64 z (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(-.f64 (+.f64 z (-.f64 (-.f64 z x) y)) (-.f64 (-.f64 z x) y)) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) y) (-.f64 (neg.f64 x) z)) (neg.f64 y)) |
(-.f64 y (+.f64 (neg.f64 x) (-.f64 x (-.f64 z y)))) |
(-.f64 y (-.f64 (neg.f64 x) (-.f64 (-.f64 z x) y))) |
(neg.f64 (neg.f64 z)) |
(+.f64 (+.f64 x y) z) |
(+.f64 x (+.f64 y z)) |
(+.f64 (+.f64 z x) y) |
(+.f64 (+.f64 y z) x) |
(+.f64 y (+.f64 z x)) |
(+.f64 z (+.f64 x y)) |
(-.f64 (+.f64 x y) (neg.f64 z)) |
(-.f64 (+.f64 z x) (neg.f64 y)) |
(-.f64 (+.f64 y z) (neg.f64 x)) |
(-.f64 x (-.f64 (neg.f64 y) z)) |
(-.f64 y (-.f64 (neg.f64 x) z)) |
(-.f64 z (-.f64 (neg.f64 x) y)) |
(neg.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 y z) |
(+.f64 z y) |
(+.f64 (+.f64 x y) (-.f64 z x)) |
(+.f64 (+.f64 z x) (-.f64 y x)) |
(+.f64 (+.f64 y z) #s(literal 0 binary64)) |
(+.f64 (-.f64 y x) (+.f64 z x)) |
(+.f64 (-.f64 z x) (+.f64 x y)) |
(+.f64 #s(literal 0 binary64) (+.f64 y z)) |
(+.f64 (+.f64 (+.f64 x y) z) (neg.f64 x)) |
(+.f64 (-.f64 y (-.f64 x z)) x) |
(+.f64 (+.f64 (+.f64 y z) y) (neg.f64 y)) |
(+.f64 (+.f64 (+.f64 y z) z) (neg.f64 z)) |
(+.f64 (+.f64 (+.f64 y z) (+.f64 y z)) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 (+.f64 y z) (+.f64 x y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 (+.f64 y z) (-.f64 z x)) (-.f64 x z)) |
(+.f64 (+.f64 (+.f64 y z) (+.f64 z x)) (-.f64 (neg.f64 x) z)) |
(+.f64 (-.f64 (neg.f64 x) y) (+.f64 (+.f64 x y) (+.f64 y z))) |
(+.f64 (-.f64 (neg.f64 x) z) (+.f64 (+.f64 z x) (+.f64 y z))) |
(+.f64 (-.f64 (neg.f64 y) z) (+.f64 (+.f64 y z) (+.f64 y z))) |
(+.f64 (-.f64 (+.f64 y z) (neg.f64 y)) (neg.f64 y)) |
(+.f64 (-.f64 (+.f64 y z) (neg.f64 z)) (neg.f64 z)) |
(+.f64 x (-.f64 y (-.f64 x z))) |
(+.f64 (neg.f64 x) (+.f64 (+.f64 x y) z)) |
(+.f64 (neg.f64 y) (+.f64 y (+.f64 y z))) |
(+.f64 (neg.f64 z) (+.f64 z (+.f64 y z))) |
(+.f64 (-.f64 (+.f64 y z) (-.f64 (-.f64 (neg.f64 x) y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (-.f64 (+.f64 y z) (-.f64 (-.f64 z x) y)) (-.f64 (-.f64 z x) y)) |
(+.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 y) z)) (-.f64 (neg.f64 y) z)) |
(+.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 x) z)) (-.f64 (neg.f64 x) z)) |
(+.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 x) y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (+.f64 (+.f64 y z) (+.f64 (+.f64 x y) z)) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (+.f64 (+.f64 y z) (-.f64 y (-.f64 x z))) (-.f64 (-.f64 x y) z)) |
(+.f64 (+.f64 (+.f64 y z) (-.f64 (-.f64 z x) y)) (-.f64 x (-.f64 z y))) |
(+.f64 (-.f64 (-.f64 z x) y) (+.f64 (-.f64 x (-.f64 z y)) (+.f64 y z))) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 (+.f64 (+.f64 x y) z) (+.f64 y z))) |
(-.f64 (+.f64 x y) (-.f64 x z)) |
(-.f64 (+.f64 z x) (-.f64 x y)) |
(-.f64 (+.f64 y z) #s(literal 0 binary64)) |
(-.f64 y (neg.f64 z)) |
(-.f64 z (neg.f64 y)) |
(-.f64 (+.f64 (+.f64 x y) z) x) |
(-.f64 (-.f64 y (-.f64 x z)) (neg.f64 x)) |
(-.f64 (+.f64 (+.f64 y z) y) y) |
(-.f64 (+.f64 (+.f64 y z) z) z) |
(-.f64 (+.f64 (+.f64 y z) (+.f64 y z)) (+.f64 y z)) |
(-.f64 (+.f64 (+.f64 y z) (+.f64 x y)) (+.f64 x y)) |
(-.f64 (+.f64 (+.f64 y z) (-.f64 z x)) (-.f64 z x)) |
(-.f64 (+.f64 (+.f64 y z) (+.f64 z x)) (+.f64 z x)) |
(-.f64 (-.f64 (+.f64 y z) (neg.f64 y)) y) |
(-.f64 (-.f64 (+.f64 y z) (neg.f64 z)) z) |
(-.f64 #s(literal 0 binary64) (-.f64 (neg.f64 y) z)) |
(-.f64 x (-.f64 (-.f64 x y) z)) |
(-.f64 (neg.f64 x) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 (-.f64 y x) (-.f64 (neg.f64 x) z)) |
(-.f64 (-.f64 z x) (-.f64 (neg.f64 x) y)) |
(-.f64 (neg.f64 y) (-.f64 (neg.f64 y) (+.f64 y z))) |
(-.f64 (neg.f64 z) (-.f64 (neg.f64 z) (+.f64 y z))) |
(-.f64 (+.f64 (+.f64 y z) (+.f64 (+.f64 x y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (+.f64 (+.f64 y z) (-.f64 y (-.f64 x z))) (-.f64 y (-.f64 x z))) |
(-.f64 (+.f64 (+.f64 y z) (-.f64 (-.f64 z x) y)) (-.f64 (-.f64 z x) y)) |
(-.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 x) y)) (+.f64 x y)) |
(-.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 y) z)) (+.f64 y z)) |
(-.f64 (-.f64 (+.f64 y z) (-.f64 (-.f64 (neg.f64 x) y) z)) (+.f64 (+.f64 x y) z)) |
(-.f64 (-.f64 (+.f64 y z) (-.f64 (-.f64 z x) y)) (-.f64 x (-.f64 z y))) |
(-.f64 (-.f64 (+.f64 y z) (-.f64 (neg.f64 x) z)) (+.f64 z x)) |
(-.f64 (-.f64 (neg.f64 x) y) (-.f64 (-.f64 (neg.f64 x) y) (+.f64 y z))) |
(-.f64 (-.f64 (-.f64 z x) y) (-.f64 (-.f64 (-.f64 z x) y) (+.f64 y z))) |
(-.f64 (-.f64 (neg.f64 x) z) (-.f64 (-.f64 (neg.f64 x) z) (+.f64 y z))) |
(-.f64 (-.f64 (neg.f64 y) z) (-.f64 (-.f64 (neg.f64 y) z) (+.f64 y z))) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 y z))) |
(neg.f64 (-.f64 (neg.f64 y) z)) |
Compiled 4 129 to 1 803 computations (56.3% saved)
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 465 | 1 | 466 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 466 | 1 | 467 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | #s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
Compiled 10 to 10 computations (0% saved)
| Inputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
#s(literal 0 binary64) |
| Outputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | 0 | ((- (+ (+ x y) z) (+ x (+ y z))) 0) |
| 0.0ms | x | @ | inf | ((- (+ (+ x y) z) (+ x (+ y z))) 0) |
| 0.0ms | z | @ | inf | ((- (+ (+ x y) z) (+ x (+ y z))) 0) |
| 0.0ms | y | @ | inf | ((- (+ (+ x y) z) (+ x (+ y z))) 0) |
| 0.0ms | x | @ | -inf | ((- (+ (+ x y) z) (+ x (+ y z))) 0) |
| Inputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
#s(literal 0 binary64) |
| Outputs |
|---|
#s(approx 0 #s(literal 0 binary64)) |
#s(literal 0 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 0 binary64)) |
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) |
(*.f64 #s(literal 2 binary64) (*.f64 (sinh.f64 (/.f64 (+.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))) (sinh.f64 (/.f64 (-.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))))) |
(+.f64 #s(literal 1 binary64) (neg.f64 #s(literal 1 binary64))) |
(+.f64 x (neg.f64 x)) |
(+.f64 z (neg.f64 z)) |
(+.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) (-.f64 (neg.f64 y) z)) |
(+.f64 (+.f64 (+.f64 y x) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(+.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y) (neg.f64 x)) |
(+.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) (-.f64 (neg.f64 x) y)) |
(+.f64 (-.f64 (+.f64 z y) x) (-.f64 (neg.f64 z) (-.f64 y x))) |
(+.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y) (neg.f64 z)) |
(+.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) z) (neg.f64 y)) |
(+.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y) (+.f64 y x)) |
(+.f64 (-.f64 (-.f64 z x) y) (+.f64 (neg.f64 z) (+.f64 y x))) |
(+.f64 (-.f64 (neg.f64 x) y) (-.f64 x (-.f64 #s(literal 0 binary64) y))) |
(+.f64 (-.f64 (neg.f64 y) z) (-.f64 (+.f64 z y) #s(literal 0 binary64))) |
(+.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64))) z) |
(+.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y))) x) |
(+.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y))) y) |
(+.f64 (-.f64 (+.f64 z y) (+.f64 y x)) (+.f64 (neg.f64 z) x)) |
(+.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y)) (+.f64 z y)) |
(+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 (+.f64 y x) z)) |
(+.f64 x (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y)))) |
(+.f64 y (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y)))) |
(+.f64 z (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))) |
(+.f64 (+.f64 y x) (-.f64 (-.f64 #s(literal 0 binary64) x) y)) |
(+.f64 (+.f64 z y) (-.f64 #s(literal 0 binary64) (+.f64 z y))) |
(+.f64 (neg.f64 x) (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y)) |
(+.f64 (neg.f64 z) (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) |
(+.f64 (+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) y) (+.f64 z x)) |
(+.f64 (+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 z x)) y) |
(+.f64 (-.f64 (+.f64 (+.f64 y x) z) y) (-.f64 (neg.f64 z) x)) |
(+.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) x) (neg.f64 y)) |
(+.f64 (neg.f64 z) (+.f64 (-.f64 (neg.f64 x) y) (+.f64 (+.f64 y x) z))) |
(+.f64 (-.f64 z x) (+.f64 (-.f64 (neg.f64 y) z) (+.f64 y x))) |
(+.f64 (+.f64 z x) (+.f64 y (-.f64 (-.f64 (neg.f64 x) y) z))) |
(+.f64 y (+.f64 z (-.f64 #s(literal 0 binary64) (+.f64 z y)))) |
(+.f64 (+.f64 z x) (-.f64 y (+.f64 (+.f64 y x) z))) |
(+.f64 y (-.f64 z (-.f64 (+.f64 z y) #s(literal 0 binary64)))) |
(+.f64 (neg.f64 y) (neg.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y))))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (neg.f64 x) y)) (cosh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (*.f64 (cosh.f64 (-.f64 (neg.f64 x) y)) (sinh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (cosh.f64 (+.f64 (+.f64 y x) z))) (*.f64 (cosh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (sinh.f64 (+.f64 (+.f64 y x) z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (cosh.f64 (-.f64 (neg.f64 y) z))) (*.f64 (cosh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (sinh.f64 (-.f64 (neg.f64 y) z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (cosh.f64 (neg.f64 z))) (*.f64 (cosh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (sinh.f64 (neg.f64 z)))) |
(+.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (cosh.f64 (+.f64 y x))) (*.f64 (cosh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (sinh.f64 (+.f64 y x)))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 (+.f64 y x) z)) (cosh.f64 (-.f64 (-.f64 (neg.f64 x) y) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 y x) z)) (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)))) |
(+.f64 (*.f64 (sinh.f64 x) (cosh.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y))))) (*.f64 (cosh.f64 x) (sinh.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y)))))) |
(+.f64 (*.f64 (sinh.f64 z) (cosh.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64))))) (*.f64 (cosh.f64 z) (sinh.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))))) |
(+.f64 (*.f64 (sinh.f64 y) (cosh.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y))))) (*.f64 (cosh.f64 y) (sinh.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y)))))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 z y)) (cosh.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y)))) (*.f64 (cosh.f64 (+.f64 z y)) (sinh.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y))))) |
(+.f64 (*.f64 (sinh.f64 (+.f64 y x)) (cosh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y))) (*.f64 (cosh.f64 (+.f64 y x)) (sinh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)))) |
(-.f64 #s(literal 1 binary64) #s(literal 1 binary64)) |
(-.f64 x x) |
(-.f64 z z) |
(-.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) |
(-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) (+.f64 z y)) |
(-.f64 (+.f64 (+.f64 y x) z) (+.f64 (+.f64 y x) z)) |
(-.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y) x) |
(-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) (+.f64 y x)) |
(-.f64 (-.f64 (+.f64 z y) x) (-.f64 (+.f64 z y) x)) |
(-.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y) z) |
(-.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) z) y) |
(-.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y) (-.f64 (neg.f64 x) y)) |
(-.f64 (-.f64 (-.f64 z x) y) (-.f64 (-.f64 z x) y)) |
(-.f64 (-.f64 (neg.f64 x) y) (-.f64 (-.f64 #s(literal 0 binary64) x) y)) |
(-.f64 (-.f64 (neg.f64 y) z) (-.f64 #s(literal 0 binary64) (+.f64 z y))) |
(-.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64))) (neg.f64 z)) |
(-.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y))) (neg.f64 x)) |
(-.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y))) (neg.f64 y)) |
(-.f64 (-.f64 (+.f64 z y) z) (+.f64 y #s(literal 0 binary64))) |
(-.f64 (-.f64 (+.f64 z y) (+.f64 y x)) (-.f64 z x)) |
(-.f64 (-.f64 (+.f64 z y) (+.f64 z y)) #s(literal 0 binary64)) |
(-.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y)) (-.f64 (neg.f64 y) z)) |
(-.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (-.f64 (-.f64 (neg.f64 x) y) z)) |
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 y x) (+.f64 y x))) |
(-.f64 x (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y)) |
(-.f64 y (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) z)) |
(-.f64 z (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) |
(-.f64 (+.f64 y x) (-.f64 x (-.f64 #s(literal 0 binary64) y))) |
(-.f64 (+.f64 z y) (-.f64 (+.f64 z y) #s(literal 0 binary64))) |
(-.f64 (-.f64 z x) (-.f64 (+.f64 z y) (+.f64 y x))) |
(-.f64 (-.f64 #s(literal 0 binary64) y) (-.f64 x (+.f64 y x))) |
(-.f64 (neg.f64 z) (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))) |
(-.f64 (+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) y) (-.f64 (neg.f64 z) x)) |
(-.f64 (+.f64 (-.f64 (-.f64 (neg.f64 x) y) z) (+.f64 z x)) (neg.f64 y)) |
(-.f64 (-.f64 (+.f64 (+.f64 y x) z) y) (+.f64 z x)) |
(-.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) x) y) |
(-.f64 z (+.f64 (-.f64 (neg.f64 x) y) (+.f64 (+.f64 y x) z))) |
(-.f64 y (+.f64 (-.f64 (neg.f64 z) x) (+.f64 (+.f64 y x) z))) |
(-.f64 y (+.f64 (neg.f64 x) (-.f64 x (-.f64 #s(literal 0 binary64) y)))) |
(-.f64 (+.f64 z x) (+.f64 (neg.f64 y) (+.f64 (+.f64 y x) z))) |
(-.f64 z (+.f64 (neg.f64 y) (-.f64 (+.f64 z y) #s(literal 0 binary64)))) |
(-.f64 y (+.f64 (neg.f64 z) (-.f64 (+.f64 z y) #s(literal 0 binary64)))) |
(-.f64 z (-.f64 (-.f64 (neg.f64 x) y) (-.f64 (-.f64 (neg.f64 x) y) z))) |
(-.f64 y (-.f64 (-.f64 (neg.f64 z) x) (-.f64 (-.f64 (neg.f64 x) y) z))) |
(-.f64 (+.f64 z y) (-.f64 (neg.f64 x) (-.f64 (-.f64 (neg.f64 x) y) z))) |
(-.f64 y (-.f64 (neg.f64 x) (-.f64 (-.f64 #s(literal 0 binary64) x) y))) |
(-.f64 z (-.f64 (neg.f64 y) (-.f64 #s(literal 0 binary64) (+.f64 z y)))) |
(-.f64 (+.f64 z x) (-.f64 (neg.f64 y) (-.f64 (-.f64 (neg.f64 x) y) z))) |
(-.f64 y (-.f64 (neg.f64 z) (-.f64 #s(literal 0 binary64) (+.f64 z y)))) |
(-.f64 y (neg.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y))))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) z)) (cosh.f64 y)) (*.f64 (cosh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) z)) (sinh.f64 y))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (cosh.f64 z)) (*.f64 (cosh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (sinh.f64 z))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 (+.f64 y x) z)) (cosh.f64 (+.f64 (+.f64 y x) z))) (*.f64 (cosh.f64 (+.f64 (+.f64 y x) z)) (sinh.f64 (+.f64 (+.f64 y x) z)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (cosh.f64 (+.f64 z y))) (*.f64 (cosh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (sinh.f64 (+.f64 z y)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))) (cosh.f64 (+.f64 y x))) (*.f64 (cosh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))) (sinh.f64 (+.f64 y x)))) |
(-.f64 (*.f64 (sinh.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y)) (cosh.f64 x)) (*.f64 (cosh.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y)) (sinh.f64 x))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 y x)) (cosh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (*.f64 (cosh.f64 (+.f64 y x)) (sinh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))))) |
(-.f64 (*.f64 (sinh.f64 x) (cosh.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y))) (*.f64 (cosh.f64 x) (sinh.f64 (-.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y)) y)))) |
(-.f64 (*.f64 (sinh.f64 (+.f64 z y)) (cosh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)))) (*.f64 (cosh.f64 (+.f64 z y)) (sinh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))))) |
(/.f64 #s(literal 0 binary64) #s(literal 2 binary64)) |
(/.f64 #s(literal 0 binary64) (neg.f64 #s(literal 2 binary64))) |
(/.f64 #s(literal 0 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) #s(literal 2 binary64)))) |
(expm1.f64 #s(literal 0 binary64)) |
(fma.f64 (exp.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (exp.f64 (-.f64 (neg.f64 y) z)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (exp.f64 (+.f64 (+.f64 y x) z)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (-.f64 (neg.f64 x) y)) (exp.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (exp.f64 (neg.f64 z)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (exp.f64 (+.f64 y x)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (+.f64 (+.f64 y x) z)) (exp.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 x) (exp.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 z) (exp.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 y) (exp.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (+.f64 z y)) (exp.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y))) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (exp.f64 (+.f64 y x)) (exp.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (neg.f64 #s(literal 1 binary64))) |
(fma.f64 (sinh.f64 (-.f64 (neg.f64 x) y)) (cosh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))) (*.f64 (cosh.f64 (-.f64 (neg.f64 x) y)) (sinh.f64 (-.f64 x (-.f64 #s(literal 0 binary64) y))))) |
(fma.f64 (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (cosh.f64 (+.f64 (+.f64 y x) z)) (*.f64 (cosh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (sinh.f64 (+.f64 (+.f64 y x) z)))) |
(fma.f64 (sinh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (cosh.f64 (-.f64 (neg.f64 y) z)) (*.f64 (cosh.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64))) (sinh.f64 (-.f64 (neg.f64 y) z)))) |
(fma.f64 (sinh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (cosh.f64 (neg.f64 z)) (*.f64 (cosh.f64 (-.f64 (-.f64 (+.f64 z y) #s(literal 0 binary64)) y)) (sinh.f64 (neg.f64 z)))) |
(fma.f64 (sinh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (cosh.f64 (+.f64 y x)) (*.f64 (cosh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (sinh.f64 (+.f64 y x)))) |
(fma.f64 (sinh.f64 (+.f64 (+.f64 y x) z)) (cosh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)) (*.f64 (cosh.f64 (+.f64 (+.f64 y x) z)) (sinh.f64 (-.f64 (-.f64 (neg.f64 x) y) z)))) |
(fma.f64 (sinh.f64 x) (cosh.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (*.f64 (cosh.f64 x) (sinh.f64 (-.f64 y (-.f64 x (-.f64 #s(literal 0 binary64) y)))))) |
(fma.f64 (sinh.f64 z) (cosh.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))) (*.f64 (cosh.f64 z) (sinh.f64 (-.f64 y (-.f64 (+.f64 z y) #s(literal 0 binary64)))))) |
(fma.f64 (sinh.f64 y) (cosh.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y)))) (*.f64 (cosh.f64 y) (sinh.f64 (-.f64 x (-.f64 x (-.f64 #s(literal 0 binary64) y)))))) |
(fma.f64 (sinh.f64 (+.f64 z y)) (cosh.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y))) (*.f64 (cosh.f64 (+.f64 z y)) (sinh.f64 (-.f64 #s(literal 0 binary64) (+.f64 z y))))) |
(fma.f64 (sinh.f64 (+.f64 y x)) (cosh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)) (*.f64 (cosh.f64 (+.f64 y x)) (sinh.f64 (-.f64 (-.f64 #s(literal 0 binary64) x) y)))) |
(neg.f64 #s(literal 0 binary64)) |
(sinh.f64 #s(literal 0 binary64)) |
Compiled 1 098 to 460 computations (58.1% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 140 | 0 | 140 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 140 | 1 | 141 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | #s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
Compiled 25 to 25 computations (0% saved)
Total 0.0b remaining (0%)
Threshold costs 0b (0%)
| Inputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
| Outputs |
|---|
#s(approx (- (+ (+ x y) z) (+ x (+ y z))) #s(literal 0 binary64)) |
4 calls:
| 1.0ms | z |
| 1.0ms | y |
| 1.0ms | x |
| 1.0ms | (-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | (-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z))) |
| 100.0% | 1 | x |
| 100.0% | 1 | y |
| 100.0% | 1 | z |
Compiled 11 to 17 computations (-54.5% saved)
| 1× | done |
Compiled 10 to 10 computations (0% saved)
(sort x y z)
(negabs z)
(negabs y)
(negabs x)
(abs z)
(abs y)
(abs x)
Compiled 158 to 158 computations (0% saved)
Loading profile data...