Metrics for FastMath dist

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample663.0ms (32.3%)

Memory

-18.1MiB live, 1 130.2MiB allocated; 282ms collecting garbage

Samples

434.0ms

8 256×

valid

Precisions

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

ival-mult!: 116.0ms (86.7% of total)

ival-add!: 16.0ms (12% of total)

adjust: 2.0ms (1.5% of total)

Bogosity

preprocess24.0ms (1.2%)

Memory

7.3MiB live, 52.4MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	93	53
2	239	51
3	372	51
4	400	51
5	404	51

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 12 to 12 computations (0% saved)

series15.0ms (0.7%)

Memory

-16.2MiB live, 36.4MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	139

Stop Event

1×	iter-limit

Counts

6 → 12

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3

Outputs
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (* d1 d3) (*.f64 d1 d3))
#s(approx (+ (* d1 d2) (* d1 d3)) (.f64 #s(literal -1 binary64) (.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3)))))
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx d2 d2)
#s(approx (+ (* d1 d2) (* d1 d3)) (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2))))
#s(approx (+ (* d1 d2) (* d1 d3)) (.f64 #s(literal -1 binary64) (.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d3) d2))))))
#s(approx d3 d3)
#s(approx (+ (* d1 d2) (* d1 d3)) (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3))))
#s(approx (+ (* d1 d2) (* d1 d3)) (.f64 #s(literal -1 binary64) (.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d2) d3))))))

Calls

9 calls:

Time	Variable		Point	Expression
5.0ms	d2	@	-inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d1	@	-inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d3	@	0	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d1	@	inf	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)
1.0ms	d1	@	0	((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3)

rewrite230.0ms (11.2%)

Memory

6.0MiB live, 239.4MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	14
1	36	14
2	325	14
3	4582	14
0	8815	14

Stop Event

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

Counts

6 → 296

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3

Outputs
(.f64 (.f64 (fma.f64 (/.f64 d2 d3) #s(literal 1 binary64) #s(literal 1 binary64)) d3) d1)
(.f64 (.f64 (fma.f64 (/.f64 d2 d3) #s(literal 1 binary64) #s(literal 1 binary64)) d1) d3)
(.f64 (/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 d3 d1)) (.f64 d1 (-.f64 d3 d2))))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3))))
(.f64 (/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) #s(literal 3 binary64)))) (fma.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (pow.f64 (*.f64 d2 d1) #s(literal 4 binary64))))
(.f64 (/.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) (.f64 (+.f64 d3 d2) d1))
(.f64 (/.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (*.f64 d1 d1) d3) (+.f64 d3 d2))))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3))) (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))))) (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 d1) d2) (.f64 d3 d1))) (.f64 d3 d1))
(.f64 (/.f64 (.f64 (+.f64 d3 d2) d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(.f64 (/.f64 (+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d2 d2) d2)) #s(literal 1 binary64)) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 d2 d1))
(.f64 (/.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 (+.f64 d3 d2) d1) (.f64 (.f64 (.f64 d1 d1) d2) d2)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) d1) (/.f64 (.f64 (.f64 (*.f64 d1 d1) d2) d2) (-.f64 d2 d3)))
(.f64 (/.f64 (.f64 (+.f64 d3 d2) d1) d1) (/.f64 (*.f64 (-.f64 d2 d3) d1) (-.f64 d2 d3)))
(.f64 (.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) d1) d2)
(.f64 (/.f64 #s(literal -1 binary64) (.f64 d1 (-.f64 d3 d2))) (.f64 (.f64 (*.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)))
(.f64 (+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d2 d2) d2)) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(.f64 (fma.f64 (/.f64 d2 d3) #s(literal 1 binary64) #s(literal 1 binary64)) (.f64 d3 d1))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) (.f64 #s(literal 1 binary64) (/.f64 (.f64 (*.f64 d2 d2) d1) (-.f64 d2 d3))))
(.f64 (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (+.f64 d3 d2) d1)) (/.f64 #s(literal 1 binary64) (*.f64 d1 (-.f64 d3 d2))))
(.f64 (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) (.f64 (.f64 (*.f64 d1 d1) d2) d2))))
(*.f64 (+.f64 d3 d2) d1)
(.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (*.f64 d2 d1)))
(.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) (.f64 d2 d1))
(.f64 #s(literal 1 binary64) (.f64 (+.f64 d3 d2) d1))
(.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (/.f64 #s(literal -1 binary64) (*.f64 d1 (-.f64 d3 d2))))
(.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (.f64 (.f64 (+.f64 d3 d2) d1) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (*.f64 d3 d3) d1) d1)))))
(.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (/.f64 (.f64 (+.f64 d3 d2) d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))))
(.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))))
(.f64 (.f64 (+.f64 d3 d2) d1) (.f64 (.f64 (-.f64 d2 d3) d1) (/.f64 #s(literal -1 binary64) (*.f64 d1 (-.f64 d3 d2)))))
(.f64 (.f64 (+.f64 d3 d2) d1) (/.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (-.f64 d2 d3) d1)))
(.f64 (.f64 (+.f64 d3 d2) d1) #s(literal 1 binary64))
(.f64 (.f64 d3 d1) (fma.f64 (/.f64 d2 d3) #s(literal 1 binary64) #s(literal 1 binary64)))
(.f64 (.f64 d2 d1) (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)))
(.f64 d2 (.f64 (-.f64 (/.f64 d3 d2) #s(literal -1 binary64)) d1))
(*.f64 d1 (+.f64 d3 d2))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 d3 d2) d1)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 d3 d2) d1)) #s(literal -1 binary64))
(/.f64 (.f64 (+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d2 d2) d2)) #s(literal 1 binary64)) (.f64 d2 d1)) (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) (*.f64 d2 d1)) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)))
(/.f64 (.f64 (.f64 d2 d1) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2)))) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2)))
(/.f64 (.f64 (.f64 d2 d1) (+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 d2 d2) d2)) #s(literal 1 binary64))) (fma.f64 (/.f64 d3 d2) (-.f64 (/.f64 d3 d2) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) (-.f64 d2 d3))) (-.f64 d2 d3))
(/.f64 (.f64 d1 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2))) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) (-.f64 d2 d3)) d1) (-.f64 d2 d3))
(/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) d1) (fma.f64 d3 (-.f64 d3 d2) (*.f64 d2 d2)))
(/.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) (/.f64 #s(literal -1 binary64) (.f64 d1 (-.f64 d3 d2)))) (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) (/.f64 #s(literal -1 binary64) (.f64 d1 (-.f64 d3 d2)))) (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (pow.f64 (*.f64 d2 d1) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)))) (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d3 d1) #s(literal 9 binary64)) (pow.f64 (.f64 d2 d1) #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)))) (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (pow.f64 (.f64 d2 d1) #s(literal 6 binary64))))
(/.f64 (/.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (.f64 d2 d1))
(/.f64 (/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (.f64 (*.f64 d1 d1) d2) d2))
(/.f64 (/.f64 (.f64 (.f64 (*.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) d1) (-.f64 d2 d3))
(/.f64 (.f64 (.f64 (+.f64 d3 d2) d1) (.f64 d2 d1)) (.f64 d2 d1))
(/.f64 (.f64 (.f64 d2 d1) (.f64 (+.f64 d3 d2) d1)) (.f64 d2 d1))
(/.f64 (fma.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3))) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (*.f64 d3 d3) d1) d1)))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) (.f64 (-.f64 d2 d3) d1)) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (*.f64 (-.f64 d2 d3) d1))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)))) (pow.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) #s(literal 2 binary64))) (.f64 (+.f64 d3 d2) d1))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3))) #s(literal 2 binary64))) (fma.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3)) (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(/.f64 (fma.f64 (pow.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64) (pow.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2)))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3)) #s(literal 3 binary64))) (.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (.f64 (.f64 d3 d3) d1) (-.f64 d2 d3)) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3))) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)))) (pow.f64 (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 (-.f64 d2 d3) d1)) (.f64 (.f64 (-.f64 d2 d3) d1) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (.f64 (-.f64 d2 d3) d1) (*.f64 (-.f64 d2 d3) d1)))
(/.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (*.f64 (-.f64 d2 d3) d1)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (pow.f64 (.f64 d2 d1) #s(literal 4 binary64))) (.f64 (-.f64 d2 d3) d1)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (*.f64 d3 d3) d1) d1))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 d3 d1) #s(literal 9 binary64)) (pow.f64 (.f64 d2 d1) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (pow.f64 (.f64 d2 d1) #s(literal 6 binary64))) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (*.f64 d3 d3) d1) d1))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 d3 d2) d1))))
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) (.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (pow.f64 (.f64 d2 d1) #s(literal 4 binary64))) (*.f64 (-.f64 d2 d3) d1)))
(/.f64 (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 d3 d1) #s(literal 6 binary64))) (.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))))
(/.f64 (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (+.f64 d3 d2) d1)) (.f64 d1 (-.f64 d3 d2)))
(/.f64 (.f64 (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) (.f64 (.f64 (.f64 d1 d1) (fma.f64 d2 d2 (.f64 d3 d3))) (.f64 (-.f64 d2 d3) d1)))
(/.f64 (+.f64 (pow.f64 (.f64 d3 d1) #s(literal 9 binary64)) (pow.f64 (.f64 d2 d1) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (pow.f64 (.f64 d2 d1) #s(literal 6 binary64))) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) (.f64 (.f64 (.f64 d1 d1) d2) d2)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 d3 d2) d1)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 d3 d2) d1)))
(/.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) d1))
(/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (*.f64 d3 d3) d1) d1)))
(neg.f64 (.f64 (.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 (+.f64 d3 d2) d1)) (/.f64 #s(literal -1 binary64) (*.f64 d1 (-.f64 d3 d2)))))
(neg.f64 (/.f64 (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1)) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) (.f64 (.f64 (.f64 d1 d1) d2) d2))))
(neg.f64 (/.f64 (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))))
(neg.f64 (-.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3))) (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3)))))
(neg.f64 (-.f64 (.f64 (neg.f64 d1) d2) (.f64 d3 d1)))
(neg.f64 (*.f64 d1 (-.f64 (neg.f64 d3) d2)))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d3)) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d3)) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d3)) (*.f64 d2 d1))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d2)) (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d2)) (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d2)) (*.f64 d3 d1))
(fma.f64 (exp.f64 (log.f64 d3)) (exp.f64 (log.f64 d1)) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (exp.f64 (log.f64 d3)) (exp.f64 (log.f64 d1)) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (exp.f64 (log.f64 d3)) (exp.f64 (log.f64 d1)) (*.f64 d2 d1))
(fma.f64 (exp.f64 (log.f64 d2)) (exp.f64 (log.f64 d1)) (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (exp.f64 (log.f64 d2)) (exp.f64 (log.f64 d1)) (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 (exp.f64 (log.f64 d2)) (exp.f64 (log.f64 d1)) (*.f64 d3 d1))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 d3 d1)) (.f64 d1 (-.f64 d3 d2))))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) #s(literal 3 binary64)))) (fma.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (pow.f64 (.f64 d2 d1) #s(literal 4 binary64))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) (.f64 (+.f64 d3 d2) d1) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 (.f64 (.f64 (+.f64 d3 d2) d1) d1) (-.f64 d2 d3))) (.f64 (+.f64 d3 d2) d1) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 d3 d1)) (.f64 d1 (-.f64 d3 d2))))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (-.f64 (pow.f64 (.f64 d2 d1) #s(literal 6 binary64)) (pow.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d2 d3)) #s(literal 3 binary64)))) (fma.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (-.f64 (.f64 (.f64 (.f64 d1 d1) d3) (-.f64 d3 d2)) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (pow.f64 (.f64 d2 d1) #s(literal 4 binary64))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (neg.f64 d3)) d1 (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (neg.f64 (neg.f64 d3)) d1 (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (neg.f64 (neg.f64 d3)) d1 (*.f64 d2 d1))
(fma.f64 (.f64 #s(literal 1 binary64) d1) d2 (.f64 (*.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (.f64 #s(literal 1 binary64) d1) d2 (.f64 (/.f64 d3 d2) (*.f64 d2 d1)))
(fma.f64 (.f64 #s(literal 1 binary64) d1) d2 (.f64 d3 d1))
(fma.f64 (.f64 #s(literal 1 binary64) d2) d1 (.f64 (*.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (.f64 #s(literal 1 binary64) d2) d1 (.f64 (/.f64 d3 d2) (*.f64 d2 d1)))
(fma.f64 (.f64 #s(literal 1 binary64) d2) d1 (.f64 d3 d1))
(fma.f64 (/.f64 (pow.f64 (.f64 d2 d1) #s(literal 3/2 binary64)) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (pow.f64 (.f64 d2 d1) #s(literal -1/2 binary64)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 d2 d1) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 #s(literal 1 binary64) d2) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 #s(literal 1 binary64) d2) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d1) d1) (/.f64 d1 (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d1) d1) (/.f64 d1 (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 d2 (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 d2 (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 d2 d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d1 d1) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d2 d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d1 d1) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 d2 d2) d1) (/.f64 (.f64 d1 d1) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d2 d2) d1) (/.f64 (.f64 d1 d1) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (neg.f64 d1) d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (neg.f64 d1) d2) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (neg.f64 d1) d2) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (neg.f64 d1) d2) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (neg.f64 d1) d2) d1) (/.f64 (.f64 (neg.f64 d1) d2) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (neg.f64 d1) d2) d1) (/.f64 (.f64 (neg.f64 d1) d2) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 d2 d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d2 d1) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d2 d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d2 d1) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 d2 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (.f64 d1 d1) d2) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 d2 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (.f64 d1 d1) d2) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d2) d1) (/.f64 d2 (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d2) d1) (/.f64 d2 (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 d2 d1) d1) (/.f64 (.f64 d2 d1) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d2 d1) d1) (/.f64 (.f64 d2 d1) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 d2 d1) (/.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 d2 d1) (/.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (pow.f64 (.f64 d3 d1) #s(literal 3/2 binary64)) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (pow.f64 (.f64 d3 d1) #s(literal 3/2 binary64)) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 d2 d2) d2) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (/.f64 (.f64 (.f64 d1 d1) d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (/.f64 (.f64 d3 d1) (.f64 (.f64 (.f64 d1 d1) d2) d2)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2)) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (.f64 d1 d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d2 d2) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d1 d1) (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 d2 d2) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 d1 d1) d1) (/.f64 (.f64 d2 d2) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 d1 d1) d1) (/.f64 (.f64 d2 d2) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 d1 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (.f64 d2 d2) d1) (.f64 d2 d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 d1 (-.f64 #s(literal 1 binary64) (/.f64 d3 d2))) (/.f64 (.f64 (.f64 d2 d2) d1) (.f64 d2 d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (.f64 d1 d1) d3) (+.f64 d3 d2))) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 (fma.f64 (.f64 d3 d3) d3 (.f64 (.f64 d2 d2) d2)) (.f64 (.f64 d1 d1) d1))) (fma.f64 (.f64 (.f64 d1 d1) d2) d2 (.f64 (.f64 (.f64 d1 d1) d3) (+.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (fabs.f64 d3) (fabs.f64 d1) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (fabs.f64 d3) (fabs.f64 d1) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (fabs.f64 d3) (fabs.f64 d1) (*.f64 d2 d1))
(fma.f64 (fabs.f64 d2) (fabs.f64 d1) (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (fabs.f64 d2) (fabs.f64 d1) (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 (fabs.f64 d2) (fabs.f64 d1) (*.f64 d3 d1))
(fma.f64 (fabs.f64 d1) (fabs.f64 d3) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (fabs.f64 d1) (fabs.f64 d3) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (fabs.f64 d1) (fabs.f64 d3) (*.f64 d2 d1))
(fma.f64 (fabs.f64 d1) (fabs.f64 d2) (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (fabs.f64 d1) (fabs.f64 d2) (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 (fabs.f64 d1) (fabs.f64 d2) (*.f64 d3 d1))
(fma.f64 (.f64 (.f64 d1 d1) d2) (/.f64 d2 (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 (.f64 d1 d1) d2) (/.f64 d2 (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (.f64 (.f64 d2 d2) d1) (/.f64 d1 (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 (.f64 d2 d2) d1) (/.f64 d1 (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 d2 d1))
(fma.f64 (.f64 d1 d1) (/.f64 (.f64 d2 d2) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 d1 d1) (/.f64 (.f64 d2 d2) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (pow.f64 (.f64 d3 d1) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (.f64 d3 d1) #s(literal 3/2 binary64)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (.f64 d2 d1) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (.f64 d2 d1) #s(literal 3/2 binary64)) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 d2 d2) (/.f64 (.f64 d1 d1) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 d2 d2) (/.f64 (.f64 d1 d1) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (.f64 (neg.f64 d1) d2) (/.f64 (.f64 (neg.f64 d1) d2) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 (neg.f64 d1) d2) (/.f64 (.f64 (neg.f64 d1) d2) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (.f64 (.f64 d3 d3) d3) (/.f64 (.f64 (.f64 d1 d1) d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 d2 d2) d2) (/.f64 (.f64 (.f64 d1 d1) d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 (.f64 d1 d1) d1) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 (.f64 d1 d1) d1) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 d2 d1))
(fma.f64 (/.f64 d3 d2) (.f64 d2 d1) (.f64 d2 d1))
(fma.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 #s(literal 1 binary64) (.f64 d2 d1) (.f64 (*.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 #s(literal 1 binary64) (.f64 d2 d1) (.f64 (/.f64 d3 d2) (*.f64 d2 d1)))
(fma.f64 #s(literal 1 binary64) (.f64 d2 d1) (.f64 d3 d1))
(fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (/.f64 (.f64 d3 d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (/.f64 (.f64 d2 d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (/.f64 #s(literal -1 binary64) (.f64 d1 (-.f64 d3 d2))) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (*.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (/.f64 #s(literal -1 binary64) (.f64 d1 (-.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (.f64 (-.f64 d2 d3) d1)))
(fma.f64 (.f64 (.f64 (.f64 d3 d3) d1) (.f64 (.f64 d1 d1) d3)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 d3 d1) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (.f64 d3 d1) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 (.f64 d3 d1) #s(literal 1 binary64) (neg.f64 (.f64 (neg.f64 d1) d2)))
(fma.f64 (.f64 d3 d1) #s(literal 1 binary64) (.f64 d2 d1))
(fma.f64 d3 d1 (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 d3 d1 (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 d3 d1 (*.f64 d2 d1))
(fma.f64 (.f64 d2 d1) (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (fma.f64 (.f64 (.f64 d1 d1) d2) (-.f64 d2 d3) (.f64 (.f64 (.f64 d3 d3) d1) d1))) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(fma.f64 (.f64 d2 d1) (/.f64 (.f64 d2 d1) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 (.f64 d2 d1) (/.f64 (.f64 d2 d1) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 (.f64 d2 d1) (/.f64 d3 d2) (.f64 d2 d1))
(fma.f64 (.f64 d2 d1) #s(literal 1 binary64) (.f64 (*.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 (.f64 d2 d1) #s(literal 1 binary64) (.f64 (/.f64 d3 d2) (*.f64 d2 d1)))
(fma.f64 (.f64 d2 d1) #s(literal 1 binary64) (.f64 d3 d1))
(fma.f64 d2 (/.f64 (.f64 (.f64 d1 d1) d2) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 d2 (/.f64 (.f64 (.f64 d1 d1) d2) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 d2 d1 (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 d2 d1 (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 d2 d1 (*.f64 d3 d1))
(fma.f64 d1 (/.f64 (.f64 (.f64 d2 d2) d1) (.f64 (-.f64 d2 d3) d1)) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(fma.f64 d1 (/.f64 (.f64 (.f64 d2 d2) d1) (.f64 (-.f64 d2 d3) d1)) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(fma.f64 d1 (neg.f64 (neg.f64 d3)) (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 d1 (neg.f64 (neg.f64 d3)) (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 d1 (neg.f64 (neg.f64 d3)) (*.f64 d2 d1))
(fma.f64 d1 d3 (*.f64 (neg.f64 (neg.f64 d2)) d1))
(fma.f64 d1 d3 (neg.f64 (*.f64 (neg.f64 d1) d2)))
(fma.f64 d1 d3 (*.f64 d2 d1))
(fma.f64 d1 d2 (.f64 (.f64 d2 d1) (/.f64 d3 d2)))
(fma.f64 d1 d2 (.f64 (/.f64 d3 d2) (.f64 d2 d1)))
(fma.f64 d1 d2 (*.f64 d3 d1))
(-.f64 (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) d1) (.f64 d1 (-.f64 d3 d2))) (/.f64 (.f64 (.f64 (.f64 d1 d1) d2) d2) (.f64 d1 (-.f64 d3 d2))))
(-.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3))))
(-.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) (neg.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2)))))
(-.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(-.f64 (.f64 d3 d1) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 d2 d1) (.f64 (neg.f64 d3) d1))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 (+.f64 d3 d2) d1))) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 d2 d1) (/.f64 d3 d2)) (*.f64 d2 d1))
(+.f64 (.f64 (/.f64 d3 d2) (.f64 d2 d1)) (*.f64 d2 d1))
(+.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) (neg.f64 (.f64 (.f64 d3 #s(literal 1 binary64)) (/.f64 (.f64 d3 d1) (-.f64 d2 d3)))))
(+.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d1) (-.f64 d2 d3))) (/.f64 (.f64 (.f64 (.f64 d3 d3) d1) (neg.f64 d1)) (*.f64 (-.f64 d2 d3) d1)))
(+.f64 (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (.f64 (/.f64 d3 d2) (/.f64 d3 d2))) (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (*.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)))
(+.f64 (.f64 (/.f64 (.f64 d2 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 d3 d1) (fma.f64 (/.f64 d3 d2) (/.f64 (.f64 d1 (-.f64 d3 d2)) (.f64 d2 d1)) #s(literal 1 binary64))) (*.f64 (/.f64 d3 d2) (/.f64 d3 d2))))
(+.f64 (.f64 d3 d1) (.f64 (neg.f64 (neg.f64 d2)) d1))
(+.f64 (.f64 d3 d1) (neg.f64 (.f64 (neg.f64 d1) d2)))
(+.f64 (.f64 d3 d1) (.f64 d2 d1))
(+.f64 (.f64 d2 d1) (.f64 (*.f64 d2 d1) (/.f64 d3 d2)))
(+.f64 (.f64 d2 d1) (.f64 (/.f64 d3 d2) (*.f64 d2 d1)))
(+.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d2)))
(*.f64 (exp.f64 (log.f64 d2)) (exp.f64 (log.f64 d1)))
(.f64 (.f64 #s(literal 1 binary64) d1) d2)
(.f64 (.f64 #s(literal 1 binary64) d2) d1)
(*.f64 (fabs.f64 d2) (fabs.f64 d1))
(*.f64 (fabs.f64 d1) (fabs.f64 d2))
(.f64 #s(literal 1 binary64) (.f64 d2 d1))
(.f64 (.f64 d2 d1) #s(literal 1 binary64))
(*.f64 d2 d1)
(*.f64 d1 d2)
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d2) d2) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d2 d1) #s(literal 1 binary64))
(/.f64 (.f64 (.f64 (.f64 d1 d1) d2) (.f64 (.f64 d2 d2) d1)) (.f64 (.f64 (.f64 d1 d1) d2) d2))
(sqrt.f64 (.f64 (.f64 (*.f64 d1 d1) d2) d2))
(fabs.f64 (*.f64 (neg.f64 d1) d2))
(fabs.f64 (*.f64 d2 d1))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 d2 d1)) #s(literal 3 binary64)) (.f64 #s(literal 2 binary64) (log.f64 (.f64 d2 d1)))))
(exp.f64 (/.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 d2 d1))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 d2 d1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 d2 d1)))
(+.f64 (cosh.f64 (log.f64 (.f64 d2 d1))) (sinh.f64 (log.f64 (.f64 d2 d1))))
d1
d2
(*.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d3)))
(*.f64 (exp.f64 (log.f64 d3)) (exp.f64 (log.f64 d1)))
(*.f64 (neg.f64 (neg.f64 d3)) d1)
(*.f64 (fabs.f64 d3) (fabs.f64 d1))
(*.f64 (fabs.f64 d1) (fabs.f64 d3))
(*.f64 (neg.f64 d3) (neg.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d3))
(.f64 (.f64 d3 d1) #s(literal 1 binary64))
(*.f64 d3 d1)
(*.f64 d1 (neg.f64 (neg.f64 d3)))
(*.f64 d1 d3)
(pow.f64 (.f64 (.f64 (*.f64 d3 d3) d1) d1) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d3 d1) #s(literal 1 binary64))
(neg.f64 (*.f64 (neg.f64 d3) d1))
(sqrt.f64 (.f64 (.f64 (*.f64 d3 d3) d1) d1))
(fabs.f64 (*.f64 (neg.f64 d3) d1))
(fabs.f64 (*.f64 d3 d1))
(exp.f64 (/.f64 (.f64 #s(literal 2 binary64) (log.f64 (.f64 d3 d1))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 d3 d1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 d3 d1)))
(+.f64 (cosh.f64 (log.f64 (.f64 d3 d1))) (sinh.f64 (log.f64 (.f64 d3 d1))))
d3

eval27.0ms (1.3%)

Memory: -5.6MiB live, 85.2MiB allocated; 7ms collecting garbage
Compiler: Compiled 3 490 to 678 computations (80.6% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	302	1	303
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	303	1	304

Accuracy

100.0%

Counts

304 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 d3 d2) d1)

Compiler

Compiled 5 to 5 computations (0% saved)

series9.0ms (0.5%)

Memory

-36.0MiB live, 18.1MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	181

Stop Event

1×	iter-limit

Counts

5 → 16

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx d2 d2)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
#s(approx (* (+ d3 d2) d1) (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2))))
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
#s(approx (* (+ d3 d2) d1) (.f64 #s(literal -1 binary64) (.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d3) d2))))))
#s(approx (+ d3 d2) (.f64 #s(literal -1 binary64) (.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64)))))
#s(approx (* (+ d3 d2) d1) (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3))))
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx (* (+ d3 d2) d1) (.f64 #s(literal -1 binary64) (.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d2) d3))))))
#s(approx (+ d3 d2) (.f64 #s(literal -1 binary64) (.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d3	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d2	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)
0.0ms	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1)

rewrite173.0ms (8.4%)

Memory

22.6MiB live, 255.2MiB allocated; 41ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	28	11
2	232	11
3	2923	11
0	10345	11

Stop Event

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

Counts

5 → 285

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1

Outputs
(.f64 (.f64 d1 (+.f64 (/.f64 d3 d2) #s(literal 1 binary64))) d2)
(.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (fma.f64 d2 (+.f64 d2 d3) (*.f64 d3 d3)))
(.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (+.f64 d2 d3))
(.f64 (/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(.f64 (/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (fma.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) d3 (pow.f64 (.f64 (-.f64 d2 d3) d2) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 d2 d3) d2) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (.f64 d3 d3))))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 d3) (.f64 d1 d2))) (.f64 d1 d2))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 d1 d2) (.f64 d1 d3))) (.f64 d1 d3))
(.f64 (/.f64 d1 (/.f64 (-.f64 d2 d3) d3)) (/.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) d3))
(.f64 (/.f64 d1 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (.f64 d3 d3)))
(.f64 (/.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (/.f64 (-.f64 d2 d3) d3)) (/.f64 d1 d3))
(.f64 (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 d1 (.f64 d3 d3)))
(.f64 (.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) d1) d3)
(.f64 (.f64 (*.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)))
(.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(.f64 (.f64 d1 d3) (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)))
(.f64 (+.f64 (/.f64 d3 d2) #s(literal 1 binary64)) (.f64 d1 d2))
(.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (*.f64 d1 d3)))
(.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (.f64 d1 d3))
(.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (*.f64 (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)) d1))
(.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (/.f64 d1 (-.f64 d2 d3)))
(.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) d1))
(.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (/.f64 d1 (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 d3 (.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) d1))
(pow.f64 (/.f64 (-.f64 d2 d3) (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (*.f64 d3 d3) d3)) d1)) #s(literal -1 binary64))
(/.f64 (neg.f64 (.f64 (+.f64 d2 d3) (.f64 d1 d3))) (neg.f64 d3))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (.f64 d3 d3)))) (.f64 d1 d3))) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) (.f64 d1 d3))) (neg.f64 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (/.f64 (-.f64 d2 d3) d3))) (neg.f64 d3))
(/.f64 (neg.f64 (/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64)))) (neg.f64 (.f64 d3 d3)))
(/.f64 (neg.f64 (*.f64 d1 #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) d1)) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3)))) (neg.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d2)))) (neg.f64 (-.f64 (.f64 d1 d3) (.f64 d1 d2))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 d1 d2) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 d1 d3)))) (neg.f64 (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 d1 d3) (.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 d1 d2)))) (neg.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (*.f64 d1 d2))))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1))) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(/.f64 (.f64 (+.f64 d2 d3) (.f64 d1 d3)) d3)
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (.f64 d3 d3)))) (.f64 d1 d3)) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) (.f64 d1 d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64)))
(/.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (/.f64 (-.f64 d2 d3) d3)) d3)
(/.f64 (/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 d3 d3))
(/.f64 (*.f64 d1 #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (*.f64 #s(literal 1 binary64) d1) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (neg.f64 d1) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))
(/.f64 (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d2))) (-.f64 (.f64 d1 d3) (.f64 d1 d2)))
(/.f64 (fma.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 d1 d2) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 d1 d3))) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3)))))
(/.f64 (fma.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 d1 d3) (.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 d1 d2))) (fma.f64 (.f64 d1 d3) (.f64 d1 d3) (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (*.f64 d1 d2)))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1)) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 d2 d3) (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (*.f64 d3 d3) d3)) d1))))
(/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3)) (-.f64 d2 d3))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) d1) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 d2 d3) (.f64 (.f64 d1 (+.f64 d2 d3)) (-.f64 d2 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (*.f64 d3 d3) d3)) d1)))
(/.f64 d1 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(neg.f64 (*.f64 d1 (+.f64 d2 d3)))
(fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) d1 (.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))) d1))
(fma.f64 d1 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (.f64 d1 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(-.f64 (.f64 d1 d2) (.f64 (neg.f64 d1) d3))
(-.f64 (.f64 d1 d2) (.f64 (neg.f64 d3) d1))
(-.f64 (.f64 d1 d2) (neg.f64 (.f64 d1 d3)))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d1) d2))
(-.f64 (.f64 d1 d3) (.f64 (neg.f64 d2) d1))
(-.f64 (.f64 d1 d3) (neg.f64 (.f64 d1 d2)))
(+.f64 (.f64 d1 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (.f64 d1 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(+.f64 (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) d1) (.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) d1))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(.f64 (pow.f64 (/.f64 (-.f64 d2 d3) (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 d2 d2 (*.f64 d3 d3))))
(.f64 (pow.f64 (/.f64 (-.f64 d2 d3) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3)))))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))))))
(*.f64 (pow.f64 (/.f64 (/.f64 (-.f64 d2 d3) d3) (+.f64 d2 d3)) #s(literal -1 binary64)) (pow.f64 (/.f64 d3 (-.f64 d2 d3)) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal -1 binary64)) (pow.f64 (/.f64 (.f64 d3 d3) (+.f64 d2 d3)) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (pow.f64 (/.f64 (.f64 d3 d3) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (/.f64 (-.f64 d2 d3) d3)) (pow.f64 (/.f64 d3 (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (fma.f64 d2 (+.f64 d2 d3) (.f64 d3 d3)))
(.f64 (/.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (*.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (+.f64 d2 d3))
(.f64 (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))
(.f64 (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) d3 (pow.f64 (.f64 (-.f64 d2 d3) d2) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 d2 d3) d2) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3))))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) d2)) (neg.f64 d2))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) d2)) d2)
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))))
(*.f64 (/.f64 (+.f64 d2 d3) (/.f64 (-.f64 d2 d3) d3)) (/.f64 (-.f64 d2 d3) d3))
(.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 (+.f64 d2 d3) (.f64 d3 d3)))
(.f64 (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3)))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (pow.f64 (/.f64 #s(literal -1 binary64) (fma.f64 (.f64 d2 d2) d2 (.f64 (*.f64 d3 d3) d3))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (fma.f64 (.f64 d2 d2) d2 (.f64 (*.f64 d3 d3) d3)))
(*.f64 (+.f64 (/.f64 d3 d2) #s(literal 1 binary64)) d2)
(.f64 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (.f64 d3 d3)))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))))
(.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (pow.f64 (/.f64 d3 (.f64 d3 d3)) #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) d3) #s(literal -1 binary64)))
(.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) (/.f64 (.f64 d3 d3) d3))
(*.f64 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)) d3)
(*.f64 #s(literal 1 binary64) (+.f64 d2 d3))
(.f64 (.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)))
(.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (+.f64 d2 d3) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (/.f64 (+.f64 d2 d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (/.f64 #s(literal -1 binary64) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(.f64 (+.f64 d2 d3) (.f64 (-.f64 d2 d3) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3))))
(*.f64 (+.f64 d2 d3) (/.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(*.f64 (+.f64 d2 d3) #s(literal 1 binary64))
(*.f64 d2 (+.f64 (/.f64 d3 d2) #s(literal 1 binary64)))
(*.f64 d3 (-.f64 (/.f64 d2 d3) #s(literal -1 binary64)))
(pow.f64 (/.f64 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)) d3) (.f64 d3 (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 d3 d3))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)) (-.f64 d2 d3)) (.f64 d3 (neg.f64 (.f64 d3 d3)))) (*.f64 d3 (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))) d3) (.f64 d3 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)) (-.f64 d2 d3)) (.f64 (.f64 d3 d3) d3)) (*.f64 d3 (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 d2) d2) d3) (.f64 (-.f64 d2 d3) (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 (-.f64 d2 d3) d3))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 d2) d2) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (neg.f64 (.f64 d3 d3)))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 d2) d2) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))) (.f64 (-.f64 d2 d3) #s(literal 1 binary64))) (.f64 (-.f64 d2 d3) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 d2) d2) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d3 d3))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 d3 (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)))) (.f64 (/.f64 (-.f64 d2 d3) (*.f64 d2 d2)) d3))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 d2 d3)) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (neg.f64 (.f64 d3 d3)))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) #s(literal 1 binary64))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (/.f64 (-.f64 d2 d3) (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 d2 d3)) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (.f64 d3 d3))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d2 d2)) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 d2 d2) d3) (.f64 (-.f64 d2 d3) (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 (-.f64 d2 d3) d3))
(/.f64 (-.f64 (.f64 (.f64 d2 d2) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (neg.f64 (.f64 d3 d3)))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))) (.f64 (-.f64 d2 d3) #s(literal 1 binary64))) (.f64 (-.f64 d2 d3) (/.f64 (-.f64 d2 d3) (.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))))) (.f64 (.f64 d3 d3) (*.f64 d3 d3)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3))) (.f64 (.f64 d3 d3) (.f64 (.f64 d2 d2) d2))) (.f64 (.f64 d3 d3) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (*.f64 d2 d2) d2))))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 d3 d3)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (*.f64 d2 d2) d2))))
(/.f64 (-.f64 (.f64 d3 d3) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (*.f64 d3 d3)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (-.f64 (.f64 (-.f64 d2 d3) d2) (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (*.f64 d2 d2) d2))))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 d3 d3)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (-.f64 (.f64 (-.f64 d2 d3) d2) (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (*.f64 d2 d2) d2))))
(/.f64 (-.f64 (.f64 (.f64 d2 d2) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d3 d3))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)) d3) (.f64 d3 (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 d3 d3))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)) (-.f64 d2 d3)) (.f64 d3 (.f64 (neg.f64 d2) d2))) (*.f64 d3 (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))) d3) (.f64 d3 (/.f64 (-.f64 d2 d3) (*.f64 d2 d2))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) d3)) (-.f64 d2 d3)) (.f64 d3 (.f64 d2 d2))) (*.f64 d3 (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 d3 d3)) d3) (.f64 (-.f64 d2 d3) (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 (-.f64 d2 d3) d3))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 d3 d3)) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 (neg.f64 d2) d2))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 d3 d3)) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))) (.f64 (-.f64 d2 d3) #s(literal 1 binary64))) (.f64 (-.f64 d2 d3) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 d3 d3)) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d2 d2))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 d3 (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)))) (.f64 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3)) d3))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 d2 d3)) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (.f64 (neg.f64 d2) d2))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (/.f64 (-.f64 d2 d3) (*.f64 d2 d2))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 d2 d3)) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (.f64 d2 d2))) (.f64 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) d3) (.f64 (-.f64 d2 d3) (/.f64 (.f64 d2 d2) (/.f64 (-.f64 d2 d3) d3)))) (*.f64 (-.f64 d2 d3) d3))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 (neg.f64 d2) d2))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))) (.f64 (-.f64 d2 d3) #s(literal 1 binary64))) (.f64 (-.f64 d2 d3) (/.f64 (-.f64 d2 d3) (.f64 d2 d2))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (.f64 (.f64 d3 d3) (.f64 (.f64 d2 d2) d2))) (.f64 (.f64 d3 d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (/.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (*.f64 d3 d3)))) d3)) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) d3)) (neg.f64 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64))) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)))
(/.f64 (neg.f64 (.f64 d3 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (*.f64 d3 d3)))))) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (neg.f64 (.f64 d3 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)))) (neg.f64 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)))) (neg.f64 (fma.f64 d2 d2 (*.f64 d3 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)))) (neg.f64 (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3)))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))) (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))))))
(/.f64 (neg.f64 (*.f64 (+.f64 d2 d3) d3)) (neg.f64 d3))
(/.f64 (neg.f64 (*.f64 d3 (+.f64 d2 d3))) (neg.f64 d3))
(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (-.f64 d2 d3)) (*.f64 d2 d2))) (-.f64 d2 d3))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))) (neg.f64 (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)))) (+.f64 d2 d3))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3)))) (.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3)))))) (+.f64 d2 d3))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 d3 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64) (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (fma.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))))))
(/.f64 (neg.f64 (/.f64 (*.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (/.f64 (-.f64 d2 d3) d3))) (neg.f64 d3))
(/.f64 (neg.f64 (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64)))) (neg.f64 (*.f64 d3 d3)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2)))) (neg.f64 (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 d3 d3) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d2 d2)))) (neg.f64 (*.f64 (-.f64 d2 d3) (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (.f64 d3 d3))) (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (*.f64 d3 d3)))) d3) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3)) #s(literal 1 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(/.f64 (.f64 d3 (-.f64 #s(literal 1 binary64) (.f64 d2 (/.f64 d2 (*.f64 d3 d3))))) (/.f64 (-.f64 d2 d3) d3))
(/.f64 (.f64 d3 (fma.f64 (.f64 d2 d2) (/.f64 d2 (.f64 (.f64 d3 d3) d3)) #s(literal 1 binary64))) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (*.f64 d3 d3)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3))) (fma.f64 d2 d2 (*.f64 d3 d3)))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3))) (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3))))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))
(/.f64 (.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))))
(/.f64 (*.f64 (+.f64 d2 d3) d3) d3)
(/.f64 (*.f64 d3 (+.f64 d2 d3)) d3)
(/.f64 (fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))
(/.f64 (-.f64 (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (-.f64 d2 d3)) (*.f64 d2 d2)) (-.f64 d2 d3))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64))) (+.f64 d2 d3))
(/.f64 (-.f64 (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3)))) (.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))))) (+.f64 d2 d3))
(/.f64 (fma.f64 (pow.f64 (/.f64 d3 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64) (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3)))))))
(/.f64 (-.f64 (pow.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) #s(literal 3 binary64))) (fma.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (fma.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3)))))))
(/.f64 (/.f64 (*.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (/.f64 (-.f64 d2 d3) d3)) d3)
(/.f64 (/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (*.f64 d3 d3))
(/.f64 (fma.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (.f64 (.f64 d2 d2) d2))) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(/.f64 (-.f64 (.f64 (.f64 d3 d3) (-.f64 d2 d3)) (.f64 (-.f64 d2 d3) (.f64 d2 d2))) (*.f64 (-.f64 d2 d3) (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) #s(literal 1 binary64)) (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (.f64 d3 d3))) (-.f64 d2 d3)))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3))) (-.f64 d2 d3))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (neg.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64)))) (neg.f64 (.f64 (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(/.f64 (neg.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3)))) (neg.f64 (.f64 (fma.f64 d2 d2 (*.f64 d3 d3)) (-.f64 d2 d3))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)) #s(literal -1 binary64))))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (.f64 (fma.f64 (.f64 d2 d2) (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (.f64 d3 d3) (*.f64 d3 d3))) (-.f64 d2 d3)))
(/.f64 (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(/.f64 (.f64 (fma.f64 d2 d2 (.f64 d3 d3)) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (.f64 (fma.f64 d2 d2 (*.f64 d3 d3)) (-.f64 d2 d3)))
(/.f64 (-.f64 (pow.f64 d3 #s(literal 9 binary64)) (pow.f64 d2 #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 (.f64 d3 d3) (.f64 d3 d3)) (.f64 d3 d3) (.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (+.f64 d2 d3)))
(/.f64 (*.f64 (-.f64 d2 d3) (+.f64 d2 d3)) (-.f64 d2 d3))
(/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (-.f64 (.f64 (-.f64 d2 d3) d2) (*.f64 d3 d3)))
(/.f64 (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))
(neg.f64 (-.f64 (neg.f64 d3) d2))
(neg.f64 (+.f64 d2 d3))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) d3 (pow.f64 (.f64 (-.f64 d2 d3) d2) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 d2 d3) d2) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (.f64 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (.f64 (.f64 d3 d3) (.f64 (.f64 d3 d3) d3)) d3 (pow.f64 (.f64 (-.f64 d2 d3) d2) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 d2 d3) d2) (-.f64 (.f64 (-.f64 d2 d3) d2) (.f64 d3 d3)) (.f64 (.f64 d3 d3) (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 d3 d3) (.f64 (-.f64 d2 d3) (+.f64 d2 d3))) (+.f64 d2 d3) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (/.f64 (sqrt.f64 (.f64 (.f64 d2 d2) d2)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 (sqrt.f64 (.f64 (.f64 d2 d2) d2)) (.f64 d3 d3)) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 d2 d2) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 d2 (.f64 d3 d3)) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 d2 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (.f64 d2 (/.f64 d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 (sqrt.f64 (.f64 (.f64 d3 d3) d3)) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 (sqrt.f64 (.f64 (.f64 d3 d3) d3)) (.f64 d3 d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (/.f64 (.f64 d3 d3) (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) (/.f64 d3 (.f64 d3 d3)) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 d3 (fma.f64 d2 (/.f64 (-.f64 d2 d3) (.f64 d3 d3)) #s(literal 1 binary64))) #s(literal 1 binary64) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (/.f64 d3 (/.f64 (-.f64 d2 d3) d3)) (/.f64 (neg.f64 d3) d3) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (/.f64 d3 (/.f64 (-.f64 d2 d3) d3)) (/.f64 d3 d3) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (/.f64 (.f64 d3 d3) (fma.f64 (.f64 d2 d2) d2 (.f64 (.f64 d3 d3) d3))) (fma.f64 d2 (+.f64 d2 d3) (.f64 d3 d3)) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (sqrt.f64 (.f64 (.f64 d2 d2) d2)) (/.f64 (sqrt.f64 (.f64 (.f64 d2 d2) d2)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (sqrt.f64 (.f64 (.f64 d3 d3) d3)) (/.f64 (sqrt.f64 (.f64 (.f64 d3 d3) d3)) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (neg.f64 d3) (/.f64 d3 (-.f64 d2 d3)) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (/.f64 d2 d3) d3 d3)
(fma.f64 (.f64 d2 d2) (/.f64 d2 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (.f64 d3 d3) (/.f64 d3 (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 (.f64 d3 d3) (/.f64 #s(literal -1 binary64) (-.f64 d2 d3)) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 (.f64 (.f64 d2 d2) d2) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 (.f64 (.f64 d3 d3) d3) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(fma.f64 d2 (/.f64 (.f64 d2 d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 d3 (/.f64 (.f64 d3 d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (*.f64 d3 d3))))
(fma.f64 d3 (/.f64 d3 (-.f64 d2 d3)) (*.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(fma.f64 d3 (/.f64 d2 d3) d3)
(-.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d3 (/.f64 d3 (-.f64 d2 d3))))
(-.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(-.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (neg.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3)))))
(-.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(-.f64 (neg.f64 d2) d3)
(-.f64 d2 (neg.f64 d3))
(-.f64 d3 (neg.f64 d2))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal -1 binary64) (+.f64 d2 d3))) #s(literal -1 binary64)))
(+.f64 (*.f64 d3 (/.f64 d2 d3)) d3)
(+.f64 (*.f64 (/.f64 d2 d3) d3) d3)
(+.f64 (.f64 d3 (/.f64 d3 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3))))
(+.f64 (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(+.f64 (/.f64 (.f64 (.f64 d3 d3) d3) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))) (/.f64 (.f64 (.f64 d2 d2) d2) (fma.f64 (-.f64 d2 d3) d2 (.f64 d3 d3))))
(+.f64 (neg.f64 d2) (neg.f64 d3))
(+.f64 d2 (neg.f64 (neg.f64 d3)))
(+.f64 d2 d3)
(+.f64 d3 (*.f64 d3 (/.f64 d2 d3)))
(+.f64 d3 (*.f64 (/.f64 d2 d3) d3))
(+.f64 d3 d2)
d3
d2
d1

eval28.0ms (1.4%)

Memory: -6.9MiB live, 83.4MiB allocated; 10ms collecting garbage
Compiler: Compiled 3 666 to 986 computations (73.1% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	295	2	297
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	295	3	298

Accuracy

100.0%

Counts

298 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
▶	58.5%	(*.f64 #s(approx (+ d3 d2) d3) d1)
▶	50.4%	#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Compiler

Compiled 18 to 18 computations (0% saved)

series7.0ms (0.3%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	179

Stop Event

1×	iter-limit

Counts

7 → 16

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3)))
#s(approx (* d1 d2) (*.f64 d1 d2))
#s(approx d1 d1)
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3))
#s(approx (* (+ d3 d2) d1) (fma.f64 d1 d2 (*.f64 d1 d3)))
#s(approx d2 d2)
#s(approx (+ d3 d2) d3)
#s(approx (+ d3 d2) (+.f64 d2 d3))
#s(approx (* (+ d3 d2) d1) (.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 d3) d2))))
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2))))
#s(approx (* (+ d3 d2) d1) (.f64 #s(literal -1 binary64) (.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d3) d2))))))
#s(approx (+ d3 d2) (.f64 #s(literal -1 binary64) (.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64)))))
#s(approx (* (+ d3 d2) d1) (.f64 d3 (+.f64 d1 (/.f64 (.f64 d1 d2) d3))))
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3))))
#s(approx (* (+ d3 d2) d1) (.f64 #s(literal -1 binary64) (.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (.f64 #s(literal -1 binary64) (/.f64 (.f64 d1 d2) d3))))))
#s(approx (+ d3 d2) (.f64 #s(literal -1 binary64) (.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
1.0ms	d2	@	-inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
1.0ms	d1	@	inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
0.0ms	d2	@	inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)
0.0ms	d3	@	-inf	((* (+ d3 d2) d1) (* d1 d2) d1 d2 (* (+ d3 d2) d1) (+ d3 d2) d3)

rewrite188.0ms (9.2%)

Memory

-29.3MiB live, 254.1MiB allocated; 39ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
0	11	27
1	34	27
2	236	27
3	2920	27
0	10336	27

Stop Event

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

Counts

7 → 9

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 d1 d2)
(*.f64 d2 d1)
d1
d2
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 d1 #s(approx (+ d3 d2) d3))
#s(approx (+ d3 d2) d3)
d3

eval2.0ms (0.1%)

Memory: 7.5MiB live, 7.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 104 to 71 computations (31.7% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	18	3	21

Accuracy

100.0%

Counts

21 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
✓	58.5%	(*.f64 #s(approx (+ d3 d2) d3) d1)
✓	50.4%	#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Compiler

Compiled 33 to 31 computations (6.1% saved)

regimes11.0ms (0.5%)

Memory

-5.0MiB live, 31.3MiB allocated; 5ms collecting garbage

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 (+.f64 d3 d2) d1)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 (+.f64 d3 d2) d1)

Calls

4 calls:

5.0ms	d1
2.0ms	d2
2.0ms	d3
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))
(*.f64 #s(approx (+ d3 d2) d3) d1)

Calls

4 calls:

1.0ms	d3
1.0ms	d1
1.0ms	d2
1.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
98.9%	2	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
62.0%	2	`d1`
84.9%	2	`d2`
87.4%	2	`d3`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

regimes7.0ms (0.4%)

Memory

-23.2MiB live, 20.6MiB allocated; 4ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Outputs
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2))

Calls

4 calls:

4.0ms	d2
1.0ms	d1
1.0ms	d3
1.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
50.4%	1	`d1`
50.4%	1	`d2`
50.4%	1	`d3`
50.4%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 9 to 15 computations (-66.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.0742965047347694e-298	0.0

Compiler

Compiled 9 to 12 computations (-33.3% saved)

derivations43.0ms (2.1%)

Memory

-4.5MiB live, 44.1MiB allocated; 21ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 18 to 16 computations (11.1% saved)

preprocess605.0ms (29.5%)

Memory

-115.6MiB live, 200.2MiB allocated; 980ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 141 to 131 computations (7.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample663.0ms (32.3%)

preprocess24.0ms (1.2%)

series15.0ms (0.7%)

rewrite230.0ms (11.2%)

eval27.0ms (1.3%)

prune5.0ms (0.2%)

series9.0ms (0.5%)

rewrite173.0ms (8.4%)

eval28.0ms (1.4%)

prune5.0ms (0.2%)

series7.0ms (0.3%)

rewrite188.0ms (9.2%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

regimes11.0ms (0.5%)

regimes6.0ms (0.3%)

regimes7.0ms (0.4%)

bsearch0.0ms (0%)

derivations43.0ms (2.1%)

preprocess605.0ms (29.5%)

end0.0ms (0%)

Profiling