Metrics for Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, G

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 7 to 7 computations (0% saved)

sample997.0ms (25.8%)

Memory

-19.8MiB live, 432.7MiB allocated; 284ms collecting garbage

Samples

307.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 137.0ms

ival-sub!: 135.0ms (98.9% of total)

adjust: 1.0ms (0.7% of total)

Bogosity

preprocess670.0ms (17.3%)

Memory

-13.3MiB live, 31.2MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	33	10
2	88	9
3	326	9
4	2252	9
5	9861	9

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))

Compiler

Compiled 10 to 10 computations (0% saved)

series174.0ms (4.5%)

Memory

11.5MiB live, 98.1MiB allocated; 35ms collecting garbage

Counts

5 → 5

Calls

Call 1

Inputs
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
x
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1 binary64)
#s(literal 3 binary64)

Outputs
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))
#s(approx (- x (/ 1 3)) (-.f64 x #s(literal 1/3 binary64)))
#s(approx x x)
#s(approx (- x (/ 1 3)) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (- x (/ 1 3)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))))

Calls

3 calls:

Time	Variable	Point
1.0ms	x	-inf
0.0ms	x	inf
0.0ms	x	0

rewrite732.0ms (18.9%)

Memory

21.5MiB live, 651.1MiB allocated; 180ms collecting garbage

Counts

5 → 647

Calls

Call 1

Inputs
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
x
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1 binary64)
#s(literal 3 binary64)

Outputs
(*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64))
(*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64))
(*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)))
(*.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x))
(*.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)))
(.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(+.f64 x #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal -1/3 binary64) (+.f64 #s(literal 0 binary64) x))
(+.f64 (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))) (-.f64 x #s(literal 1/3 binary64)))
(+.f64 (.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/3 binary64))) (.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/3 binary64))))
(+.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)) (-.f64 x #s(literal 1/3 binary64)))
(+.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1/2 binary64)) (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1/2 binary64)))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(+.f64 (-.f64 x #s(literal 1/3 binary64)) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal -1/3 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
(-.f64 (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64)) #s(literal 1/3 binary64))
(-.f64 (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 9 binary64)) #s(literal 1/3 binary64))
(/.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) #s(literal -2/3 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -2/3 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 4 binary64)) #s(literal -12 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2/3 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 4 binary64)) #s(literal 12 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -2 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1/3 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 2/3 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -12 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 12 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal -27 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 4 binary64)) #s(literal -36 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -2 binary64)) #s(literal 18 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal -18 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 3 binary64)) #s(literal 27 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 4 binary64)) #s(literal 36 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -2 binary64)) #s(literal -18 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 2 binary64)) #s(literal 18 binary64))
(/.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal 12 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -12 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal 6 binary64))
(/.f64 (*.f64 #s(literal 2/3 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -2 binary64)) #s(literal -6 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 2/3 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal -6 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 6 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal 3 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal -3 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal -6 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal 6 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64))) #s(literal 9 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal -6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal -6 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal -3 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -6 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal 3 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) x)
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) x)
(fma.f64 #s(literal -1/6 binary64) #s(literal 2 binary64) x)
(fma.f64 #s(literal -2/3 binary64) #s(literal 1/2 binary64) x)
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) x)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2/3 binary64) x)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2/3 binary64) x)
(fma.f64 #s(literal 2/3 binary64) #s(literal -1/2 binary64) x)
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) x)
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) x)
(fma.f64 #s(literal 1 binary64) x #s(literal -1/3 binary64))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) #s(literal 0 binary64))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (neg.f64 x) #s(literal -1 binary64) #s(literal -1/3 binary64))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) #s(literal 0 binary64))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64)))
(fma.f64 (/.f64 #s(literal -2/3 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) x)
(fma.f64 (/.f64 #s(literal -2/3 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 1/3 binary64) (*.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (neg.f64 x) #s(literal -1/3 binary64))
(fma.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) (*.f64 x #s(literal 1/3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64)) (-.f64 x #s(literal 1/3 binary64)))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1/6 binary64) #s(literal 2 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -2/3 binary64) #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2/3 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2/3 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 2/3 binary64) #s(literal -1/2 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (+.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/3 binary64))) #s(literal -1/3 binary64))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 #s(literal 0 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64))))
(fma.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/3 binary64))))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1/2 binary64) (*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1/2 binary64)))
(fma.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1/3 binary64) (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 1/3 binary64) x) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 #s(literal 1/3 binary64) x) #s(literal -1 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64) (*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 2/3 binary64) #s(literal -1/2 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2/3 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2/3 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -2/3 binary64) #s(literal 1/2 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 (/.f64 #s(literal -2/3 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(fma.f64 #s(literal -1/6 binary64) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (neg.f64 x)))
(neg.f64 (-.f64 #s(literal 1/3 binary64) x))
x
(*.f64 x #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) x)
(.f64 (.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64))
(.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64))
(.f64 (.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64))
(*.f64 (neg.f64 x) #s(literal -1 binary64))
(.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(.f64 #s(literal 1/3 binary64) (.f64 x #s(literal 3 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 x))
(*.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 x #s(literal 1/3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (*.f64 x #s(literal 1/3 binary64))))
(+.f64 (*.f64 #s(literal 0 binary64) x) x)
(+.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))
(+.f64 (*.f64 x #s(literal 0 binary64)) x)
(+.f64 (.f64 x #s(literal 1/2 binary64)) (.f64 x #s(literal 1/2 binary64)))
(+.f64 x (*.f64 #s(literal 0 binary64) x))
(+.f64 x (*.f64 x #s(literal 0 binary64)))
(+.f64 x (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(+.f64 x (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(/.f64 x #s(literal 1 binary64))
(/.f64 (neg.f64 x) #s(literal -1 binary64))
(/.f64 (*.f64 x #s(literal -3 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2/3 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -2 binary64)) #s(literal -6 binary64))
(fma.f64 x #s(literal 0 binary64) x)
(fma.f64 #s(literal 0 binary64) x x)
(fma.f64 (.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (neg.f64 x) #s(literal -1 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 (neg.f64 x) #s(literal -1 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/3 binary64) (.f64 x #s(literal 3 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/3 binary64) (.f64 x #s(literal 3 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (neg.f64 x) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -1 binary64) (neg.f64 x) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 x #s(literal 1/3 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 3 binary64) (.f64 x #s(literal 1/3 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 x #s(literal 1/2 binary64)))
(fma.f64 x #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 x #s(literal 1 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) x (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1 binary64) x (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/3 binary64))) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/3 binary64))) (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/3 binary64))) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/3 binary64))) (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 1/3 binary64) (.f64 x #s(literal 3 binary64)) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 x #s(literal 1/3 binary64)) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal -1 binary64) (neg.f64 x) (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) x (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 (neg.f64 x) #s(literal -1 binary64) (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(fma.f64 x #s(literal 1 binary64) (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)) (.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal -3 binary64)) #s(literal -1/3 binary64) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1/3 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 x #s(literal 1/3 binary64)) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -1 binary64) (neg.f64 x) (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) x (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 1/3 binary64)) #s(literal 3 binary64) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 (neg.f64 x) #s(literal -1 binary64) (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64) (.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 x #s(literal 1 binary64) (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal -3 binary64) (/.f64 x #s(literal -3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 0 binary64)))
(neg.f64 (neg.f64 x))
(neg.f64 (.f64 (.f64 x #s(literal -3 binary64)) #s(literal 1/3 binary64)))
(neg.f64 (.f64 #s(literal -3 binary64) (.f64 x #s(literal 1/3 binary64))))
#s(literal 1/3 binary64)
(*.f64 #s(literal 1 binary64) #s(literal 1/3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1/3 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1/6 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 2/3 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/3 binary64) #s(literal 1 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -2/3 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2/3 binary64))
(*.f64 #s(literal -2/3 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/6 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/6 binary64))
(*.f64 (/.f64 #s(literal 2/3 binary64) #s(literal 8 binary64)) #s(literal 4 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1/3 binary64))
(+.f64 #s(literal 1/3 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/6 binary64) #s(literal 1/6 binary64))
(-.f64 #s(literal 4/3 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/3 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 1/6 binary64) #s(literal -1/6 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(/.f64 #s(literal 3 binary64) #s(literal 9 binary64))
(/.f64 #s(literal -3 binary64) #s(literal -9 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 12 binary64))
(/.f64 #s(literal -6 binary64) #s(literal -18 binary64))
(/.f64 #s(literal 6 binary64) #s(literal 18 binary64))
(/.f64 #s(literal -1/3 binary64) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -3 binary64))
(/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1/3 binary64) #s(literal 1 binary64))
(/.f64 #s(literal -2/3 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 4/3 binary64) #s(literal 4 binary64))
(/.f64 #s(literal -4/3 binary64) #s(literal -4 binary64))
(/.f64 #s(literal 8/3 binary64) #s(literal 8 binary64))
(/.f64 #s(literal 8 binary64) #s(literal 24 binary64))
(/.f64 #s(literal -8 binary64) #s(literal -24 binary64))
(/.f64 #s(literal -4 binary64) #s(literal -12 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -6 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 6 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -12 binary64))
(/.f64 (+.f64 #s(literal 4/3 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/3 binary64) #s(literal 1/6 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 6 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -6 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 1/2 binary64) #s(literal 1/6 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 2/3 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 2/3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 4/3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -6 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 6 binary64) #s(literal 0 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 7/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 5/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -2/3 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -5/3 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/6 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/9 binary64) #s(literal 1/3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/9 binary64) #s(literal 1/3 binary64))
(fma.f64 (/.f64 #s(literal 2/3 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))
(neg.f64 #s(literal -1/3 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal -1 binary64))
#s(literal 1 binary64)
(*.f64 #s(literal 3 binary64) #s(literal 1/3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal -3 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/3 binary64) #s(literal 3 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 8 binary64) #s(literal 1/8 binary64))
(*.f64 (/.f64 #s(literal 2 binary64) #s(literal 8 binary64)) #s(literal 4 binary64))
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 (+.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64)) #s(literal 1/4 binary64))
(-.f64 #s(literal 3 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(-.f64 (.f64 (cosh.f64 #s(literal 1 binary64)) (cosh.f64 #s(literal 1 binary64))) (.f64 (sinh.f64 #s(literal 1 binary64)) (sinh.f64 #s(literal 1 binary64))))
(/.f64 #s(literal 9 binary64) #s(literal 9 binary64))
(/.f64 #s(literal 12 binary64) #s(literal 12 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(/.f64 #s(literal -3 binary64) #s(literal -3 binary64))
(/.f64 #s(literal 3 binary64) #s(literal 3 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(/.f64 #s(literal -4 binary64) #s(literal -4 binary64))
(/.f64 #s(literal 8 binary64) #s(literal 8 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal -8 binary64) #s(literal -8 binary64))
(/.f64 #s(literal 27 binary64) #s(literal 27 binary64))
(/.f64 #s(literal 16 binary64) #s(literal 16 binary64))
(/.f64 #s(literal 64 binary64) #s(literal 64 binary64))
(/.f64 #s(literal -6 binary64) #s(literal -6 binary64))
(/.f64 #s(literal 6 binary64) #s(literal 6 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) #s(literal 1 binary64)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal 9 binary64)) #s(literal 9 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -9 binary64)) #s(literal -9 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) #s(literal 0 binary64)) #s(literal -9 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) #s(literal 0 binary64)) #s(literal 12 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) #s(literal 0 binary64)) #s(literal -12 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) #s(literal 0 binary64)) #s(literal 9 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal 12 binary64)) #s(literal 12 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -12 binary64)) #s(literal -12 binary64))
(/.f64 (-.f64 #s(literal -9 binary64) #s(literal 0 binary64)) #s(literal -9 binary64))
(/.f64 (-.f64 #s(literal -12 binary64) #s(literal 0 binary64)) #s(literal -12 binary64))
(/.f64 (-.f64 #s(literal 9 binary64) #s(literal 0 binary64)) #s(literal 9 binary64))
(/.f64 (-.f64 #s(literal 12 binary64) #s(literal 0 binary64)) #s(literal 12 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -3 binary64) #s(literal 0 binary64)) #s(literal -3 binary64))
(/.f64 (exp.f64 #s(literal 1 binary64)) (exp.f64 #s(literal 1 binary64)))
(cbrt.f64 #s(literal 1 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2/3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4/3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -6 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 6 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 7/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 5/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -5/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/6 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/9 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/9 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 1/2 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(hypot.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(neg.f64 #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -3 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 5 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 4 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 3/2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 6 binary64))
(pow.f64 (exp.f64 #s(literal 1 binary64)) #s(literal 0 binary64))
(pow.f64 (exp.f64 #s(literal 1/3 binary64)) #s(literal 0 binary64))
(sqrt.f64 #s(literal 1 binary64))
#s(literal 3 binary64)
(*.f64 #s(literal -3 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -3 binary64))
(*.f64 #s(literal 6 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 3 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(fabs.f64 #s(literal 3 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 3/2 binary64) #s(literal 3/2 binary64))
(-.f64 #s(literal 3 binary64) #s(literal 0 binary64))
(/.f64 #s(literal -3 binary64) #s(literal -1 binary64))
(/.f64 #s(literal 9 binary64) #s(literal 3 binary64))
(/.f64 #s(literal 6 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 3 binary64) #s(literal 1 binary64))
(/.f64 #s(literal -6 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 12 binary64) #s(literal 4 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1/3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2/3 binary64) #s(literal -3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal -3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 6 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -6 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1/2 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 6 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 3 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 2/3 binary64) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal -2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 2/3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 4/3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -6 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 6 binary64) #s(literal 0 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 7/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 5/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -5/3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/6 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/9 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/9 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/8 binary64) #s(literal 2 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) #s(literal 8 binary64)) #s(literal 4 binary64) #s(literal 2 binary64))
(neg.f64 #s(literal -3 binary64))

eval86.0ms (2.2%)

Memory: -10.7MiB live, 177.0MiB allocated; 19ms collecting garbage
Compiler: Compiled 5 231 to 1 501 computations (71.3% saved)

prune13.0ms (0.3%)

Memory

-12.3MiB live, 34.3MiB allocated; 3ms collecting garbage

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	643	5	648
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	644	5	649

Accuracy

100.0%

Counts

649 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
▶	99.8%	(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
▶	100.0%	(-.f64 x #s(literal 1/3 binary64))
▶	99.7%	(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
▶	46.4%	#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))

Compiler

Compiled 56 to 52 computations (7.1% saved)

series171.0ms (4.4%)

Memory

47.0MiB live, 187.3MiB allocated; 26ms collecting garbage

Counts

15 → 15

Calls

Call 1

Inputs
(-.f64 x #s(literal 1/3 binary64))
x
#s(literal 1/3 binary64)
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))
#s(literal -1/3 binary64)
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))
#s(literal 9 binary64)
#s(literal -3 binary64)
#s(literal 1/9 binary64)
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))
#s(literal 6 binary64)
#s(literal -2 binary64)
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))

Outputs
#s(approx (- x 1/3) #s(literal -1/3 binary64))
#s(approx (- x 1/3) (-.f64 x #s(literal 1/3 binary64)))
#s(approx x x)
#s(approx (+ (* x 9) -3) #s(literal -3 binary64))
#s(approx (+ (* x 9) -3) (-.f64 (*.f64 #s(literal 9 binary64) x) #s(literal 3 binary64)))
#s(approx (+ (* x 6) -2) #s(literal -2 binary64))
#s(approx (+ (* x 6) -2) (-.f64 (*.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)))
#s(approx (- x 1/3) (.f64 x (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (+ (* x 9) -3) (*.f64 #s(literal 9 binary64) x))
#s(approx (+ (* x 9) -3) (.f64 x (-.f64 #s(literal 9 binary64) (.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (+ (* x 6) -2) (*.f64 #s(literal 6 binary64) x))
#s(approx (+ (* x 6) -2) (.f64 x (-.f64 #s(literal 6 binary64) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (- x 1/3) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))))
#s(approx (+ (* x 9) -3) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 9 binary64)))))
#s(approx (+ (* x 6) -2) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 6 binary64)))))

Calls

3 calls:

Time	Variable	Point
1.0ms	x	0
1.0ms	x	inf
1.0ms	x	-inf

rewrite536.0ms (13.9%)

Memory

-1.6MiB live, 386.3MiB allocated; 108ms collecting garbage

Counts

15 → 989

Calls

Call 1

Inputs
(-.f64 x #s(literal 1/3 binary64))
x
#s(literal 1/3 binary64)
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))
#s(literal -1/3 binary64)
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))
#s(literal 9 binary64)
#s(literal -3 binary64)
#s(literal 1/9 binary64)
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))
#s(literal 6 binary64)
#s(literal -2 binary64)
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))

Outputs
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(*.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 1/81 binary64))
(*.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 1/36 binary64))
(*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64))
(*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64))
(*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -1/6 binary64))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64))
(*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1/6 binary64))
(*.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 1/54 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)))
(*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)))
(*.f64 #s(literal -1/6 binary64) (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)))
(*.f64 #s(literal -1/9 binary64) (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)))
(*.f64 #s(literal 1/9 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)))
(*.f64 #s(literal 1/6 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1/3 binary64))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1/3 binary64))
(+.f64 x #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 (/.f64 (*.f64 x #s(literal 81 binary64)) #s(literal 81 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 36 binary64)) #s(literal 36 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 54 binary64)) #s(literal 54 binary64)) #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -1/9 binary64) (.f64 x #s(literal 9 binary64))))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 1/9 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 1/9 binary64))))
(-.f64 #s(literal -1/3 binary64) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 1/6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 1/6 binary64))))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 9 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -9 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -6 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -6 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64))) #s(literal -81 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64))) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -6 binary64))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -6 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -9 binary64))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -9 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -9 binary64))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64))) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)) #s(literal -27 binary64)) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)) #s(literal -12 binary64)) #s(literal -36 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -3 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) x)
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) x)
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) x)
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) x)
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) x)
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) x)
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) x)
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) x)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) x #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 9 binary64) (*.f64 x #s(literal 1/9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 6 binary64) (*.f64 x #s(literal 1/6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/9 binary64) (*.f64 x #s(literal 9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) (*.f64 x #s(literal 6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(neg.f64 (-.f64 #s(literal 1/3 binary64) x))
x
(*.f64 x #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) x)
(.f64 (.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64))
(.f64 (.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64))
(.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64))
(.f64 (.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64))
(.f64 (.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64))
(.f64 (.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64))
(.f64 (.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64))
(.f64 (.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64))
(.f64 #s(literal 9 binary64) (.f64 x #s(literal 1/9 binary64)))
(.f64 #s(literal 6 binary64) (.f64 x #s(literal 1/6 binary64)))
(.f64 #s(literal 1/9 binary64) (.f64 x #s(literal 9 binary64)))
(.f64 #s(literal 1/6 binary64) (.f64 x #s(literal 6 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)))
(+.f64 x (*.f64 x #s(literal 0 binary64)))
(+.f64 x (*.f64 #s(literal 0 binary64) x))
(/.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 x #s(literal -3 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1 binary64)) #s(literal -9 binary64))
(/.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))) #s(literal 9 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 x #s(literal 9 binary64))) #s(literal -9 binary64))
(fma.f64 (.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 (.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) (.f64 #s(literal 0 binary64) x))
(fma.f64 (.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 9 binary64) (.f64 x #s(literal 1/9 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 9 binary64) (.f64 x #s(literal 1/9 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 6 binary64) (.f64 x #s(literal 1/6 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 6 binary64) (.f64 x #s(literal 1/6 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/9 binary64) (.f64 x #s(literal 9 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/9 binary64) (.f64 x #s(literal 9 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1/6 binary64) (.f64 x #s(literal 6 binary64)) (.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1/6 binary64) (.f64 x #s(literal 6 binary64)) (.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) (*.f64 x #s(literal 0 binary64)))
(fma.f64 x #s(literal 1 binary64) (*.f64 x #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) x (*.f64 x #s(literal 0 binary64)))
(fma.f64 x #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) x))
(fma.f64 #s(literal 1 binary64) x (*.f64 #s(literal 0 binary64) x))
(neg.f64 (*.f64 x #s(literal -1 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal 3 binary64)) #s(literal -3 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal -3 binary64)) #s(literal 3 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64)))
(neg.f64 (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64)))
(neg.f64 (.f64 #s(literal -6 binary64) (.f64 x #s(literal 1/6 binary64))))
(neg.f64 (.f64 #s(literal -9 binary64) (.f64 x #s(literal 1/9 binary64))))
#s(literal 1/3 binary64)
(*.f64 #s(literal 3 binary64) #s(literal 1/9 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/6 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1/3 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1/3 binary64))
(*.f64 #s(literal 1/9 binary64) #s(literal 3 binary64))
(*.f64 #s(literal -1/9 binary64) #s(literal -3 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/6 binary64))
(*.f64 #s(literal -3 binary64) #s(literal -1/9 binary64))
(*.f64 #s(literal 1/3 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/6 binary64) #s(literal 1/6 binary64))
(+.f64 #s(literal 1/3 binary64) #s(literal 0 binary64))
(/.f64 #s(literal 27 binary64) #s(literal 81 binary64))
(/.f64 #s(literal 12 binary64) #s(literal 36 binary64))
(/.f64 #s(literal -9 binary64) #s(literal -27 binary64))
(/.f64 #s(literal -6 binary64) #s(literal -18 binary64))
(/.f64 #s(literal -3 binary64) #s(literal -9 binary64))
(/.f64 #s(literal 18 binary64) #s(literal 54 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 6 binary64))
(/.f64 #s(literal 3 binary64) #s(literal 9 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -6 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -3 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(/.f64 #s(literal 2/3 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 9 binary64) #s(literal 27 binary64))
(/.f64 #s(literal 6 binary64) #s(literal 18 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 12 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/6 binary64) #s(literal 1/6 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/9 binary64) #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/6 binary64) #s(literal 1/6 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal -1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal 1 binary64) #s(literal 1/6 binary64))
(neg.f64 #s(literal -1/3 binary64))
(pow.f64 #s(literal 3 binary64) #s(literal -1 binary64))
#s(approx (+ x -1/3) #s(literal -1/3 binary64))
#s(literal -1/3 binary64)
(*.f64 #s(literal -3 binary64) #s(literal 1/9 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 1/6 binary64))
(*.f64 #s(literal 1/3 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -1/3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 1/3 binary64))
(*.f64 #s(literal 1/9 binary64) #s(literal -3 binary64))
(*.f64 #s(literal 1/6 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal -1/6 binary64))
(*.f64 #s(literal 3 binary64) #s(literal -1/9 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal 1 binary64))
(+.f64 #s(literal -1/3 binary64) #s(literal 0 binary64))
(+.f64 #s(literal -1/6 binary64) #s(literal -1/6 binary64))
(/.f64 #s(literal -27 binary64) #s(literal 81 binary64))
(/.f64 #s(literal -12 binary64) #s(literal 36 binary64))
(/.f64 #s(literal 27 binary64) #s(literal -81 binary64))
(/.f64 #s(literal 12 binary64) #s(literal -36 binary64))
(/.f64 #s(literal 18 binary64) #s(literal -54 binary64))
(/.f64 #s(literal 9 binary64) #s(literal -27 binary64))
(/.f64 #s(literal 6 binary64) #s(literal -18 binary64))
(/.f64 #s(literal 3 binary64) #s(literal -9 binary64))
(/.f64 #s(literal -18 binary64) #s(literal 54 binary64))
(/.f64 #s(literal -2 binary64) #s(literal 6 binary64))
(/.f64 #s(literal -3 binary64) #s(literal 9 binary64))
(/.f64 #s(literal 2 binary64) #s(literal -6 binary64))
(/.f64 #s(literal 1 binary64) #s(literal -3 binary64))
(/.f64 #s(literal -1 binary64) #s(literal 3 binary64))
(/.f64 #s(literal -2/3 binary64) #s(literal 2 binary64))
(/.f64 #s(literal -9 binary64) #s(literal 27 binary64))
(/.f64 #s(literal -6 binary64) #s(literal 18 binary64))
(/.f64 #s(literal -4 binary64) #s(literal 12 binary64))
(/.f64 #s(literal 4 binary64) #s(literal -12 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/6 binary64) #s(literal -1/6 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/6 binary64) #s(literal -1/6 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(neg.f64 #s(literal 1/3 binary64))
(pow.f64 #s(literal -3 binary64) #s(literal -1 binary64))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(*.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 1/81 binary64))
(*.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 1/36 binary64))
(*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64))
(*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64))
(*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -1/6 binary64))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64))
(*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1/6 binary64))
(*.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 1/54 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)))
(*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)))
(*.f64 #s(literal -1/6 binary64) (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)))
(*.f64 #s(literal -1/9 binary64) (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)))
(*.f64 #s(literal 1/9 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)))
(*.f64 #s(literal 1/6 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1/3 binary64))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1/3 binary64))
(+.f64 x #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 (/.f64 (*.f64 x #s(literal 81 binary64)) #s(literal 81 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 36 binary64)) #s(literal 36 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 54 binary64)) #s(literal 54 binary64)) #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -1/9 binary64) (.f64 x #s(literal 9 binary64))))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 1/9 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 1/9 binary64))))
(-.f64 #s(literal -1/3 binary64) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 1/6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 1/6 binary64))))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 9 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -9 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -6 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -6 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64))) #s(literal -81 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64))) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -6 binary64))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -6 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -9 binary64))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -9 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -9 binary64))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64))) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)) #s(literal -27 binary64)) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)) #s(literal -12 binary64)) #s(literal -36 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -3 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) x)
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) x)
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) x)
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) x)
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) x)
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) x)
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) x)
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) x)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) x #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 9 binary64) (*.f64 x #s(literal 1/9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 6 binary64) (*.f64 x #s(literal 1/6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/9 binary64) (*.f64 x #s(literal 9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) (*.f64 x #s(literal 6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(neg.f64 (-.f64 #s(literal 1/3 binary64) x))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)))
(+.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))
(+.f64 #s(literal -3 binary64) (*.f64 x #s(literal 9 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))) #s(literal -3 binary64))
(+.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))))
(+.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal -3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(+.f64 #s(literal -3 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(-.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 3 binary64))
(-.f64 #s(literal -3 binary64) (*.f64 x #s(literal -9 binary64)))
(/.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal 2 binary64))
(fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))
(fma.f64 #s(literal 9 binary64) x #s(literal -3 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 1 binary64) #s(literal -3 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 3/2 binary64) #s(literal -3 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))
(fma.f64 #s(literal 9 binary64) #s(literal -1/3 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal 3 binary64) #s(literal -1 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 9 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal -1 binary64) #s(literal 3 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal -3 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal -3 binary64) #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(fma.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal 1/6 binary64)) #s(literal 9 binary64)) #s(literal -3 binary64))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))))
(fma.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))))
(fma.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1 binary64) (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 9 binary64) #s(literal -1/3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal 3 binary64) #s(literal -1 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal -1/3 binary64) #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal -1 binary64) #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal 1 binary64) #s(literal -3 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal -3 binary64) #s(literal 1 binary64) (.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64))))
(fma.f64 #s(literal 9 binary64) #s(literal -1/3 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(fma.f64 #s(literal 3 binary64) #s(literal -1 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 9 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(fma.f64 #s(literal -1 binary64) #s(literal 3 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal -3 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(fma.f64 #s(literal -3 binary64) #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 9 binary64)))
(neg.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64))))
(neg.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -1 binary64)))
(neg.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))))
#s(literal 9 binary64)
(*.f64 #s(literal -9 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 3 binary64) #s(literal 3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -9 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 9 binary64))
(*.f64 #s(literal 9 binary64) #s(literal 1 binary64))
(fabs.f64 #s(literal 9 binary64))
(neg.f64 #s(literal -9 binary64))
#s(literal -3 binary64)
(*.f64 #s(literal 3 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 9 binary64) #s(literal -1/3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 3 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -3 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal 9 binary64))
(*.f64 #s(literal -3 binary64) #s(literal 1 binary64))
(neg.f64 #s(literal 3 binary64))
#s(literal 1/9 binary64)
(*.f64 #s(literal 1 binary64) #s(literal 1/9 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1/9 binary64))
(*.f64 #s(literal 1/9 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/9 binary64) #s(literal 0 binary64))
(/.f64 #s(literal 9 binary64) #s(literal 81 binary64))
(/.f64 #s(literal -9 binary64) #s(literal -81 binary64))
(/.f64 #s(literal -6 binary64) #s(literal -54 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -18 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -9 binary64))
(/.f64 #s(literal 6 binary64) #s(literal 54 binary64))
(/.f64 #s(literal 2/3 binary64) #s(literal 6 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 9 binary64))
(/.f64 #s(literal 2/9 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 18 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/9 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/9 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(neg.f64 #s(literal -1/9 binary64))
(pow.f64 #s(literal 9 binary64) #s(literal -1 binary64))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(*.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 1/81 binary64))
(*.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 1/36 binary64))
(*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64))
(*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64))
(*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -1/6 binary64))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64))
(*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1/6 binary64))
(*.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 1/54 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)))
(*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)))
(*.f64 #s(literal -1/6 binary64) (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)))
(*.f64 #s(literal -1/9 binary64) (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)))
(*.f64 #s(literal 1/9 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)))
(*.f64 #s(literal 1/6 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1/3 binary64))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1/3 binary64))
(+.f64 x #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 (/.f64 (*.f64 x #s(literal 81 binary64)) #s(literal 81 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 36 binary64)) #s(literal 36 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 54 binary64)) #s(literal 54 binary64)) #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -1/9 binary64) (.f64 x #s(literal 9 binary64))))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 1/9 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 1/9 binary64))))
(-.f64 #s(literal -1/3 binary64) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 1/6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 1/6 binary64))))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 9 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -9 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -6 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -6 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64))) #s(literal -81 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64))) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -6 binary64))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -6 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -9 binary64))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -9 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -9 binary64))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64))) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)) #s(literal -27 binary64)) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)) #s(literal -12 binary64)) #s(literal -36 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -3 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) x)
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) x)
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) x)
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) x)
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) x)
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) x)
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) x)
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) x)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) x #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 9 binary64) (*.f64 x #s(literal 1/9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 6 binary64) (*.f64 x #s(literal 1/6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/9 binary64) (*.f64 x #s(literal 9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) (*.f64 x #s(literal 6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(neg.f64 (-.f64 #s(literal 1/3 binary64) x))
(*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)))
(+.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -2 binary64))
(+.f64 #s(literal -2 binary64) (*.f64 x #s(literal 6 binary64)))
(+.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))))
(+.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal -2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(-.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 2 binary64))
(-.f64 #s(literal -2 binary64) (*.f64 x #s(literal -6 binary64)))
(-.f64 (-.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 6 binary64) x #s(literal -2 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 2/3 binary64) #s(literal -2 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 6 binary64) #s(literal -1/3 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal 2 binary64) #s(literal -1 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 6 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal -2 binary64) #s(literal 1 binary64) (*.f64 x #s(literal 6 binary64)))
(fma.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal 1/9 binary64)) #s(literal 6 binary64)) #s(literal -2 binary64))
(fma.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1 binary64) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))))
(fma.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) (*.f64 #s(literal 0 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))))
(fma.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1 binary64) (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 6 binary64) #s(literal -1/3 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(fma.f64 #s(literal 2 binary64) #s(literal -1 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 6 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(fma.f64 #s(literal -2 binary64) #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 6 binary64)))
(neg.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)))
(neg.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)))
(neg.f64 (*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal 1 binary64)))
#s(literal 6 binary64)
(*.f64 #s(literal -6 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 3 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -6 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 6 binary64))
(*.f64 #s(literal 6 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 3 binary64) #s(literal 2 binary64))
(fabs.f64 #s(literal 6 binary64))
(neg.f64 #s(literal -6 binary64))
#s(literal -2 binary64)
(*.f64 #s(literal 2 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 6 binary64) #s(literal -1/3 binary64))
(*.f64 #s(literal -1/3 binary64) #s(literal 6 binary64))
(*.f64 #s(literal 1 binary64) #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(+.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) #s(literal -1 binary64))
(neg.f64 #s(literal 2 binary64))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(*.f64 (-.f64 x #s(literal 1/3 binary64)) #s(literal 1 binary64))
(*.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 1/81 binary64))
(*.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 1/36 binary64))
(*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1/3 binary64))
(*.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -1/3 binary64))
(*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -1/6 binary64))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -1/9 binary64))
(*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 1/6 binary64))
(*.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 1/54 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1/3 binary64)))
(*.f64 #s(literal 1/3 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)))
(*.f64 #s(literal -1/6 binary64) (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)))
(*.f64 #s(literal -1/9 binary64) (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)))
(*.f64 #s(literal 1/9 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)))
(*.f64 #s(literal 1/6 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -1/3 binary64))
(.f64 (.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1/3 binary64))
(+.f64 x #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 (/.f64 (*.f64 x #s(literal 81 binary64)) #s(literal 81 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 36 binary64)) #s(literal 36 binary64)) #s(literal -1/3 binary64))
(+.f64 (/.f64 (*.f64 x #s(literal 54 binary64)) #s(literal 54 binary64)) #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)))
(-.f64 #s(literal -1/3 binary64) (/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -1/9 binary64) (.f64 x #s(literal 9 binary64))))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 1/9 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 1/9 binary64))))
(-.f64 #s(literal -1/3 binary64) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 1/6 binary64)))
(-.f64 #s(literal -1/3 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 1/6 binary64))))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
(/.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64))
(/.f64 (fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64)) #s(literal -3 binary64))
(/.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal -6 binary64))
(/.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal -9 binary64))
(/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 3 binary64) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -6 binary64) #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal -1 binary64)) #s(literal -9 binary64))
(/.f64 (*.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -6 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64))) #s(literal -9 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64))) #s(literal -6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64))
(/.f64 (/.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64)) #s(literal 9 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -9 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -6 binary64) #s(literal -12 binary64)) #s(literal 36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal 6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -9 binary64) #s(literal -27 binary64)) #s(literal 81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -6 binary64) #s(literal -18 binary64)) #s(literal 54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal 6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -9 binary64) #s(literal 27 binary64)) #s(literal -81 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -3 binary64) #s(literal 9 binary64)) #s(literal -27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 3 binary64) #s(literal -9 binary64)) #s(literal 27 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -6 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -9 binary64) #s(literal 18 binary64)) #s(literal -54 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -3 binary64) #s(literal 6 binary64)) #s(literal -18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 3 binary64) #s(literal -6 binary64)) #s(literal 18 binary64))
(/.f64 (fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal -6 binary64) #s(literal 12 binary64)) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 81 binary64) #s(literal -27 binary64))) #s(literal -81 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 36 binary64) #s(literal -12 binary64))) #s(literal -36 binary64))
(/.f64 (neg.f64 (fma.f64 x #s(literal 54 binary64) #s(literal -18 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal 3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal 6 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64))) #s(literal -18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal -6 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64))) #s(literal 18 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -6 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal -12 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -6 binary64))) #s(literal 36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 12 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -6 binary64))) #s(literal -36 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal 9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64))) #s(literal -27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 #s(literal -3 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -9 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64))) #s(literal 27 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -6 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -6 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -9 binary64))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal -18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -9 binary64))) #s(literal 54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -6 binary64)))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal 18 binary64) (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64))) #s(literal -54 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 #s(literal -9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal -27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -9 binary64))) #s(literal 81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 #s(literal 9 binary64) (.f64 x #s(literal -9 binary64)))) #s(literal -81 binary64))
(/.f64 (+.f64 #s(literal 27 binary64) (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64))) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 9 binary64)) #s(literal -27 binary64)) #s(literal -81 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 9 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 6 binary64)) #s(literal -18 binary64)) #s(literal -54 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal -3 binary64)) #s(literal -6 binary64)) #s(literal -18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal 6 binary64)) #s(literal -12 binary64)) #s(literal -36 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal -3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 9 binary64)) #s(literal 27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -9 binary64)) #s(literal 3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64)) #s(literal -27 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal -6 binary64)) #s(literal -3 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 6 binary64)) #s(literal 18 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal -3 binary64)) #s(literal -3 binary64)) #s(literal -9 binary64))
(/.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 3 binary64)) #s(literal 9 binary64))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) x)
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) x)
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) x)
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) x)
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) x)
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) x)
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) x)
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) x)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) x #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/9 binary64)) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 1/6 binary64)) #s(literal 6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1/3 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -6 binary64)) #s(literal -1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 9 binary64)) #s(literal 1/9 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 1/6 binary64) #s(literal -1/3 binary64))
(fma.f64 (*.f64 #s(literal 1/9 binary64) x) #s(literal 9 binary64) #s(literal -1/3 binary64))
(fma.f64 #s(literal 9 binary64) (*.f64 x #s(literal 1/9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 6 binary64) (*.f64 x #s(literal 1/6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/9 binary64) (*.f64 x #s(literal 9 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 1/6 binary64) (*.f64 x #s(literal 6 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal 3 binary64) (/.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/3 binary64) #s(literal -1 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -3 binary64) #s(literal 1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 3 binary64) #s(literal -1/9 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -2 binary64) #s(literal 1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) #s(literal -1/6 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/9 binary64) #s(literal -3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1/6 binary64) #s(literal -2 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal 1 binary64) #s(literal -1/3 binary64) (neg.f64 (neg.f64 x)))
(fma.f64 #s(literal -1/3 binary64) #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(neg.f64 (-.f64 #s(literal 1/3 binary64) x))

eval355.0ms (9.2%)

Memory: 1.4MiB live, 191.2MiB allocated; 34ms collecting garbage
Compiler: Compiled 6 792 to 1 494 computations (78% saved)

prune96.0ms (2.5%)

Memory

-12.7MiB live, 33.1MiB allocated; 21ms collecting garbage

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	746	0	746
Fresh	0	0	0
Picked	0	5	5
Done	0	0	0
Total	746	5	751

Accuracy

100.0%

Counts

751 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))
✓	99.8%	(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
✓	100.0%	(-.f64 x #s(literal 1/3 binary64))
✓	99.7%	(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
✓	46.4%	#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))

Compiler

Compiled 28 to 26 computations (7.1% saved)

regimes13.0ms (0.3%)

Memory

14.8MiB live, 14.8MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

6 → 1

Calls

Call 1

Inputs
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))

Outputs
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))

Call 2

Inputs
#s(approx (- x (/ 1 3)) #s(literal -1/3 binary64))
(-.f64 x #s(literal 1/3 binary64))
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
(*.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 1/9 binary64))
(/.f64 (fma.f64 x #s(literal 6 binary64) #s(literal -2 binary64)) #s(literal 6 binary64))
(/.f64 (fma.f64 x #s(literal 9 binary64) #s(literal -3 binary64)) #s(literal 9 binary64))

Outputs
(-.f64 x #s(literal 1/3 binary64))

Calls

4 calls:

4.0ms	x
4.0ms	(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
1.0ms	x
1.0ms	(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))

Results

Accuracy	Segments	Branch
46.4%	1	`(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))`
46.4%	1	`x`
100.0%	1	`(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))`
100.0%	1	`x`

Compiler

Compiled 45 to 35 computations (22.2% saved)

derivations1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 10 to 9 computations (10% saved)

preprocess19.0ms (0.5%)

Memory: -22.3MiB live, 24.2MiB allocated; 4ms collecting garbage
Compiler: Compiled 15 to 14 computations (6.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample997.0ms (25.8%)

preprocess670.0ms (17.3%)

series174.0ms (4.5%)

rewrite732.0ms (18.9%)

eval86.0ms (2.2%)

prune13.0ms (0.3%)

series171.0ms (4.4%)

rewrite536.0ms (13.9%)

eval355.0ms (9.2%)

prune96.0ms (2.5%)

regimes13.0ms (0.3%)

derivations1.0ms (0%)

preprocess19.0ms (0.5%)

end0.0ms (0%)

Profiling