rewrite586.0ms (30.7%)

Memory

20.1MiB live, 210.6MiB allocated; 38ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
0	15	31
1	22	31
2	31	31
3	63	31
4	152	31
5	580	31
6	4949	31
0	8771	31

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

7 → 241

Calls

Call 1

Inputs
(*.f64 (*.f64 x #s(literal 1/2 binary64)) x)
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
#s(approx (* (* x 1/2) x) #s(hole binary64 (* 1/2 (pow x 2))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))

Outputs
(*.f64 (*.f64 (*.f64 x x) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 #s(literal -1/2 binary64) (neg.f64 (fabs.f64 x))) (fabs.f64 x))
(*.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal -16 binary64)) #s(literal -8 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal 32 binary64)) #s(literal 16 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal -4 binary64)) #s(literal -2 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal 16 binary64)) #s(literal 8 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal -8 binary64)) #s(literal -4 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal 8 binary64)) #s(literal 4 binary64))
(*.f64 (/.f64 (*.f64 x x) #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 (*.f64 (neg.f64 x) x) #s(literal -1 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 (*.f64 x x) #s(literal -1 binary64)) #s(literal -1/2 binary64))
(*.f64 (*.f64 (*.f64 x x) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 x x)))
(*.f64 #s(literal -1/2 binary64) (*.f64 (neg.f64 x) x))
(*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) (*.f64 x x)))
(*.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) (*.f64 x x)))
(*.f64 (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) (*.f64 x x)))
(*.f64 (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)) (fabs.f64 x))
(*.f64 (*.f64 #s(literal -1/2 binary64) x) (neg.f64 x))
(*.f64 (*.f64 (neg.f64 x) x) #s(literal -1/2 binary64))
(*.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)))
(*.f64 (fabs.f64 x) (*.f64 (neg.f64 (fabs.f64 x)) #s(literal -1/2 binary64)))
(*.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)))
(*.f64 (neg.f64 x) (*.f64 #s(literal -1/2 binary64) x))
(*.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(*.f64 (*.f64 x x) #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) (*.f64 x x)))
(*.f64 (*.f64 #s(literal 1/2 binary64) x) x)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) x)))
(*.f64 #s(literal 1/2 binary64) (*.f64 x x))
(*.f64 x (*.f64 #s(literal 1/2 binary64) x))
(/.f64 (*.f64 (*.f64 x x) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 (*.f64 x x) #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 x x)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 x x)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)) #s(literal 4 binary64))
(/.f64 (/.f64 (*.f64 x x) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (/.f64 (*.f64 x x) #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 (*.f64 x x) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(/.f64 (*.f64 (*.f64 (neg.f64 x) x) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (*.f64 x x) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) x)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) #s(literal -1 binary64))
(/.f64 (*.f64 (neg.f64 x) x) #s(literal -2 binary64))
(/.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(/.f64 (*.f64 x x) #s(literal 2 binary64))
(neg.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/8 binary64)) #s(literal 4 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/8 binary64)) #s(literal 4 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (neg.f64 (fabs.f64 x))) (fabs.f64 x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (neg.f64 (fabs.f64 x))) (fabs.f64 x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -16 binary64)) #s(literal -8 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -16 binary64)) #s(literal -8 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 32 binary64)) #s(literal 16 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 32 binary64)) #s(literal 16 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -4 binary64)) #s(literal -2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -4 binary64)) #s(literal -2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 16 binary64)) #s(literal 8 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 16 binary64)) #s(literal 8 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -8 binary64)) #s(literal -4 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal -8 binary64)) #s(literal -4 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 x x) #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 (neg.f64 x) x) #s(literal -1 binary64)) #s(literal 1/2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 (neg.f64 x) x) #s(literal -1 binary64)) #s(literal 1/2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal -1 binary64)) #s(literal -1/2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal -1 binary64)) #s(literal -1/2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/4 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/4 binary64)) #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 x x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 (neg.f64 x) x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 (neg.f64 x) x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) (*.f64 x x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/4 binary64) (*.f64 x x) (*.f64 #s(literal 1/4 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) (*.f64 x x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) #s(literal -1 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) (*.f64 x x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)) (fabs.f64 x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)) (fabs.f64 x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) x) (neg.f64 x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) x) (neg.f64 x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (neg.f64 x) x) #s(literal -1/2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (neg.f64 x) x) #s(literal -1/2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal -1/2 binary64) (fabs.f64 x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (fabs.f64 x) (*.f64 (neg.f64 (fabs.f64 x)) #s(literal -1/2 binary64)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (fabs.f64 x) (*.f64 (neg.f64 (fabs.f64 x)) #s(literal -1/2 binary64)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1/2 binary64)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (neg.f64 x) (*.f64 #s(literal -1/2 binary64) x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (neg.f64 x) (*.f64 #s(literal -1/2 binary64) x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 0 binary64) (*.f64 x x) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 x x) #s(literal 1/4 binary64) (*.f64 (*.f64 x x) #s(literal 1/4 binary64)))
(fma.f64 (*.f64 x x) #s(literal 0 binary64) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 x x) #s(literal 1/2 binary64) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 x x) #s(literal 1/2 binary64) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) (*.f64 x x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) x) x (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) x) x (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) x)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) x)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 x x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 x x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(fma.f64 x (*.f64 #s(literal 1/2 binary64) x) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(fma.f64 x (*.f64 #s(literal 1/2 binary64) x) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(sqrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) #s(literal 1/4 binary64)))
(sqrt.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 (*.f64 (*.f64 x x) x) x)))
(fabs.f64 (*.f64 (*.f64 (fabs.f64 x) x) #s(literal 1/2 binary64)))
(fabs.f64 (*.f64 (*.f64 (fabs.f64 x) (neg.f64 x)) #s(literal 1/2 binary64)))
(fabs.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (fabs.f64 x) x)))
(fabs.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 (fabs.f64 x) (neg.f64 x))))
(fabs.f64 (*.f64 #s(literal -1/2 binary64) (*.f64 x x)))
(fabs.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (*.f64 x x) #s(literal 0 binary64)) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(+.f64 (*.f64 #s(literal 0 binary64) (*.f64 x x)) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(+.f64 (*.f64 (*.f64 x x) #s(literal 1/4 binary64)) (*.f64 (*.f64 x x) #s(literal 1/4 binary64)))
(+.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 x x)) (*.f64 #s(literal 1/4 binary64) (*.f64 x x)))
(+.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) (*.f64 (*.f64 x x) #s(literal 0 binary64)))
(+.f64 (*.f64 (*.f64 x x) #s(literal 1/2 binary64)) (*.f64 #s(literal 0 binary64) (*.f64 x x)))
(*.f64 (*.f64 x #s(literal 1/8 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (/.f64 x #s(literal -16 binary64)) #s(literal -8 binary64))
(*.f64 (/.f64 x #s(literal 32 binary64)) #s(literal 16 binary64))
(*.f64 (/.f64 x #s(literal -4 binary64)) #s(literal -2 binary64))
(*.f64 (/.f64 x #s(literal 16 binary64)) #s(literal 8 binary64))
(*.f64 (/.f64 x #s(literal -8 binary64)) #s(literal -4 binary64))
(*.f64 (/.f64 x #s(literal 8 binary64)) #s(literal 4 binary64))
(*.f64 (/.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 x #s(literal -1 binary64)) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) x))
(*.f64 #s(literal -1/2 binary64) (neg.f64 x))
(*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) x))
(*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) x))
(*.f64 (*.f64 #s(literal -1/2 binary64) x) #s(literal -1 binary64))
(*.f64 (neg.f64 x) #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) x))
(*.f64 (*.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) x)
(*.f64 x #s(literal 1/2 binary64))
(/.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) x) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) x) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 4 binary64))
(/.f64 (/.f64 x #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (/.f64 x #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 x #s(literal 4 binary64)) #s(literal 1/2 binary64))
(/.f64 (*.f64 x #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1/2 binary64) x) #s(literal -1 binary64))
(/.f64 (neg.f64 x) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64))
(/.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 #s(literal -1/2 binary64) x))
(fma.f64 (*.f64 x #s(literal 1/8 binary64)) #s(literal 4 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 x #s(literal 1/8 binary64)) #s(literal 4 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal -16 binary64)) #s(literal -8 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal -16 binary64)) #s(literal -8 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal 32 binary64)) #s(literal 16 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal 32 binary64)) #s(literal 16 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal -4 binary64)) #s(literal -2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal -4 binary64)) #s(literal -2 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal 16 binary64)) #s(literal 8 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal 16 binary64)) #s(literal 8 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal -8 binary64)) #s(literal -4 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal -8 binary64)) #s(literal -4 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal 8 binary64)) #s(literal 4 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (/.f64 x #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (/.f64 x #s(literal 4 binary64)) #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (*.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (*.f64 x #s(literal -1 binary64)) #s(literal -1/2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 x #s(literal -1 binary64)) #s(literal -1/2 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1/2 binary64) (neg.f64 x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal -1/2 binary64) (neg.f64 x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/4 binary64) x (*.f64 #s(literal 1/4 binary64) x))
(fma.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 4 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal -1/2 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (*.f64 #s(literal -1/2 binary64) x) #s(literal -1 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal -1/2 binary64) x) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (neg.f64 x) #s(literal -1/2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (neg.f64 x) #s(literal -1/2 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 0 binary64) x (*.f64 #s(literal 1/2 binary64) x))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (*.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 0 binary64) x))
(fma.f64 x #s(literal 1/4 binary64) (*.f64 x #s(literal 1/4 binary64)))
(fma.f64 x #s(literal 0 binary64) (*.f64 #s(literal 1/2 binary64) x))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 #s(literal 0 binary64) x))
(+.f64 (*.f64 x #s(literal 1/4 binary64)) (*.f64 x #s(literal 1/4 binary64)))
(+.f64 (*.f64 x #s(literal 0 binary64)) (*.f64 #s(literal 1/2 binary64) x))
(+.f64 (*.f64 #s(literal 1/4 binary64) x) (*.f64 #s(literal 1/4 binary64) x))
(+.f64 (*.f64 #s(literal 0 binary64) x) (*.f64 #s(literal 1/2 binary64) x))
(+.f64 (*.f64 #s(literal 1/2 binary64) x) (*.f64 x #s(literal 0 binary64)))
(+.f64 (*.f64 #s(literal 1/2 binary64) x) (*.f64 #s(literal 0 binary64) x))
x
#s(literal 1/2 binary64)
#s(approx (* (* x 1/2) x) (*.f64 (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (* x 1/2) (*.f64 #s(literal 1/2 binary64) x))
#s(approx x x)