Metrics for (sqrt (* -16 z0))

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	0.0%	0
0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	0.0%	1
100.0%	50.0%	0.0%	0.0%	0.0%	50.0%	0.0%	2

Compiler

Compiled 6 to 6 computations (0.0% saved)

sample592.0ms (43.5%)

Memory

-5.4MiB live, 959.9MiB allocated; 195ms collecting garbage

Samples

355.0ms

8 256×

valid

Precisions

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

ival-sqrt: 72.0ms (50.3% of total, 131.7 MiB)

ival-mult!: 62.0ms (43.3% of total, 94.7 MiB)

adjust: 9.0ms (6.3% of total, 12.1 MiB)

Bogosity

preprocess73.0ms (5.4%)

Memory

-13.4MiB live, 74.6MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	16	13
2	27	13
3	78	13
4	242	13
5	641	13
6	1674	13

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	0.0%	(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Symmetry

(abs z0)

Compiler

Compiled 8 to 8 computations (0.0% saved)

rewrite183.0ms (13.5%)

Memory

23.0MiB live, 215.0MiB allocated; 33ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	9
0	6	9
1	13	9
2	29	9
3	57	9
4	212	9
5	873	9
6	3802	9
0	4663	9

Stop Event

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

Counts

4 → 210

Calls

Call 1

Inputs
#s(literal -16 binary64)
z0
(*.f64 #s(literal -16 binary64) z0)
(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Outputs
#s(literal -16 binary64)
z0
(*.f64 (neg.f64 (neg.f64 (fabs.f64 z0))) #s(literal 16 binary64))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (*.f64 z0 z0)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 z0)) #s(literal -16 binary64))
(.f64 (sqrt.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0))) (sqrt.f64 (fabs.f64 z0)))
(.f64 (sqrt.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64))) (sqrt.f64 #s(literal 16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 256 binary64) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) #s(literal 1/4 binary64)) (pow.f64 #s(literal 65536 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 z0 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) (*.f64 z0 z0)) #s(literal 256 binary64)) #s(literal 1/4 binary64)) (pow.f64 #s(literal 256 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -256 binary64) (.f64 z0 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal -256 binary64) (*.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64)) #s(literal 1/2 binary64)) (pow.f64 #s(literal 16 binary64) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 3/4 binary64)) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (fabs.f64 z0)) #s(literal -16 binary64))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (neg.f64 z0) #s(literal 16 binary64))
(.f64 (sqrt.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64))) (sqrt.f64 #s(literal -16 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 256 binary64) z0)) (sqrt.f64 z0))
(*.f64 (sqrt.f64 #s(literal 256 binary64)) (fabs.f64 z0))
(.f64 (sqrt.f64 (.f64 #s(literal 16 binary64) z0)) (sqrt.f64 (*.f64 #s(literal 16 binary64) z0)))
(.f64 (sqrt.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) (sqrt.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0))))
(.f64 (sqrt.f64 #s(literal 16 binary64)) (sqrt.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64))))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 3/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 3/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/2 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/2 binary64)) (pow.f64 z0 #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/2 binary64)) (fabs.f64 z0))
(.f64 (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/2 binary64)) (pow.f64 (*.f64 #s(literal 16 binary64) z0) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1 binary64)) (pow.f64 #s(literal 16 binary64) #s(literal 1 binary64)))
(*.f64 (pow.f64 #s(literal 16 binary64) #s(literal 1 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) (*.f64 z0 z0)) #s(literal 256 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 3/4 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64)) (pow.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 1/2 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))
(*.f64 (fabs.f64 z0) (sqrt.f64 #s(literal 256 binary64)))
(*.f64 (fabs.f64 z0) (pow.f64 #s(literal 256 binary64) #s(literal 1/2 binary64)))
(*.f64 (fabs.f64 z0) #s(literal 16 binary64))
(*.f64 #s(literal 16 binary64) (neg.f64 (neg.f64 (fabs.f64 z0))))
(*.f64 #s(literal 16 binary64) (neg.f64 z0))
(*.f64 #s(literal 16 binary64) (fabs.f64 z0))
(.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) (sqrt.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)) (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1 binary64)) (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 1 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1 binary64)) (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))
(*.f64 (pow.f64 z0 #s(literal 1 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1 binary64)))
(*.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1 binary64)) (pow.f64 z0 #s(literal 1 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (sqrt.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (*.f64 z0 #s(literal -16 binary64)))))
(.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(.f64 (pow.f64 z0 #s(literal 1/2 binary64)) (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/2 binary64)))
(.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1/2 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 z0) (sqrt.f64 (.f64 #s(literal 256 binary64) z0)))
(.f64 (sqrt.f64 #s(literal -16 binary64)) (sqrt.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64))))
(.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))
(.f64 (.f64 z0 #s(literal -16 binary64)) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 0 binary64)))
(*.f64 z0 #s(literal -16 binary64))
(*.f64 #s(literal -16 binary64) (neg.f64 (neg.f64 z0)))
(*.f64 #s(literal -16 binary64) (neg.f64 (fabs.f64 z0)))
(*.f64 #s(literal -16 binary64) z0)
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) (.f64 (.f64 z0 z0) (.f64 z0 z0))) #s(literal 4294967296 binary64)) #s(literal 1/8 binary64))
(pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 1 binary64))
(/.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 3/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -1/8 binary64)))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 7/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal -1/4 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 7/4 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal -1/4 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 0 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1 binary64)))
(/.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 0 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 3/4 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1/4 binary64)))
(/.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -3/8 binary64)))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 3/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 3/2 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal -7/4 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal -7/4 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -3/4 binary64)))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal -3/2 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal -3/2 binary64)))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal -1 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal -1 binary64)))
(/.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) (.f64 (.f64 z0 z0) (*.f64 z0 z0))) #s(literal 4294967296 binary64)) #s(literal -1/16 binary64)))
(/.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (*.f64 z0 z0)) #s(literal -1/8 binary64)))
(/.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (pow.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) #s(literal -1/4 binary64)))
(/.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1/2 binary64)))
(/.f64 (.f64 z0 #s(literal -16 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 0 binary64)))
(neg.f64 (*.f64 #s(literal 16 binary64) z0))
(sqrt.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0))
(fabs.f64 (*.f64 #s(literal 16 binary64) z0))
(fabs.f64 (*.f64 z0 #s(literal -16 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (*.f64 z0 z0))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (log.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (*.f64 z0 z0)) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 z0 #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 #s(literal 256 binary64) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 #s(literal 65536 binary64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 #s(literal 65536 binary64) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -16 binary64)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -16 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) (*.f64 z0 z0)) #s(literal 256 binary64)) #s(literal 1/8 binary64)) (pow.f64 #s(literal 256 binary64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) (*.f64 z0 z0)) #s(literal 256 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -256 binary64) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 #s(literal -256 binary64) (*.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) #s(literal -16 binary64)) (.f64 (.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 256 binary64) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64)) #s(literal 1/4 binary64)) (pow.f64 #s(literal 16 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 16 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) #s(literal 16 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 #s(literal 16 binary64)))
(*.f64 (sqrt.f64 #s(literal 16 binary64)) (sqrt.f64 (fabs.f64 z0)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/4 binary64)) (pow.f64 #s(literal 256 binary64) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal 256 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 z0 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 16 binary64) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 16 binary64) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 #s(literal 16 binary64) z0) (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 256 binary64) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) #s(literal -16 binary64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64)) (pow.f64 #s(literal 16 binary64) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 16 binary64) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))))) (sqrt.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 z0 #s(literal -16 binary64)))) (sqrt.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 z0 #s(literal 1/2 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal -16 binary64) #s(literal 1/2 binary64)) (pow.f64 z0 #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 z0) (sqrt.f64 #s(literal -16 binary64)))
(*.f64 (sqrt.f64 #s(literal -16 binary64)) (sqrt.f64 z0))
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) (.f64 z0 z0)) (.f64 (.f64 z0 z0) (.f64 z0 z0))) #s(literal 4294967296 binary64)) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64))
(pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/4 binary64))
(pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal 1/2 binary64))
(/.f64 (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (.f64 z0 z0)) #s(literal -1/16 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 3/8 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1/8 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 0 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 #s(literal 256 binary64) z0) z0) #s(literal -1/8 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/8 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -3/8 binary64)))
(/.f64 (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 z0 #s(literal -16 binary64)) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 #s(literal -16 binary64)) #s(literal -1/2 binary64)))
(neg.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))
(fabs.f64 (neg.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64)))))
(fabs.f64 (sqrt.f64 (*.f64 z0 #s(literal -16 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 #s(literal 65536 binary64) (.f64 z0 z0)) (*.f64 z0 z0))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 #s(literal 256 binary64) z0) z0)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 #s(literal -16 binary64))) #s(literal 1/2 binary64)))

eval17.0ms (1.2%)

Memory: 0.8MiB live, 46.9MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 751 to 552 computations (79.9% saved)

prune4.0ms (0.3%)

Memory

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

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	206	2	208

Accuracy

100.0%

Counts

208 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 #s(literal 16 binary64)))
✓	0.0%	(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Compiler

Compiled 10 to 9 computations (10.0% saved)

rewrite164.0ms (12.1%)

Memory

7.0MiB live, 160.4MiB allocated; 78ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	11	13
1	19	13
2	42	13
3	142	13
4	577	13
5	3063	13
0	4467	13

Stop Event

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

Counts

6 → 256

Calls

Call 1

Inputs
z0
(fabs.f64 z0)
#s(literal 16 binary64)
(sqrt.f64 (fabs.f64 z0))
(sqrt.f64 #s(literal 16 binary64))
(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 #s(literal 16 binary64)))

Outputs
z0
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 z0 #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) (neg.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 z0 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) (sqrt.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 3/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 3/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 3/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (fabs.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 z0 (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (sqrt.f64 (fabs.f64 z0)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))))
(*.f64 (sqrt.f64 (neg.f64 (fabs.f64 z0))) (sqrt.f64 (neg.f64 (fabs.f64 z0))))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (sqrt.f64 (fabs.f64 z0)))
(.f64 (pow.f64 (.f64 z0 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 z0))) (sqrt.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))))
(*.f64 (sqrt.f64 (neg.f64 z0)) (sqrt.f64 (neg.f64 z0)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 3/4 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 z0) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 z0 #s(literal 1/2 binary64)) (pow.f64 z0 #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (sqrt.f64 z0) (sqrt.f64 z0))
(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64))
(pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/4 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 2 binary64))
(pow.f64 (*.f64 z0 z0) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 z0) #s(literal 1 binary64))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal -1 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 z0) #s(literal -1/2 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 z0)) (pow.f64 (*.f64 z0 z0) #s(literal -1/4 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 z0)) (pow.f64 (fabs.f64 z0) #s(literal -1/2 binary64)))
(neg.f64 (neg.f64 (fabs.f64 z0)))
(sqrt.f64 (*.f64 z0 z0))
(fabs.f64 (neg.f64 (fabs.f64 z0)))
(fabs.f64 (neg.f64 z0))
(fabs.f64 (fabs.f64 z0))
(fabs.f64 z0)
(exp.f64 (*.f64 (log.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 z0)) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 z0)) #s(literal 1/2 binary64)))
#s(literal 16 binary64)
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/16 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 z0 #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 (fabs.f64 z0))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 z0 z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (fabs.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 z0 (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) (neg.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 z0 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))))
(.f64 (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)) (pow.f64 z0 #s(literal 1/8 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 z0))) (sqrt.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/8 binary64))
(pow.f64 (*.f64 z0 z0) #s(literal 1/4 binary64))
(pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 z0) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 z0) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal -1/4 binary64)))
(neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(sqrt.f64 (fabs.f64 z0))
(fabs.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(fabs.f64 (sqrt.f64 (fabs.f64 z0)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 z0)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
#s(literal 4 binary64)
(.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -2 binary64)) #s(literal -2 binary64))
(.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)) #s(literal 2 binary64))
(.f64 #s(literal -2 binary64) (.f64 #s(literal -2 binary64) (sqrt.f64 (fabs.f64 z0))))
(.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))))
(*.f64 #s(literal 4 binary64) (sqrt.f64 (fabs.f64 z0)))
(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))
(neg.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 4 binary64)))
(neg.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(+.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)) (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))) (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))))

eval46.0ms (3.4%)

Memory: 9.1MiB live, 74.2MiB allocated; 33ms collecting garbage
Compiler: Compiled 4 802 to 958 computations (80.0% saved)

prune4.0ms (0.3%)

Memory

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

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	251	1	252
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	252	2	254

Accuracy

100.0%

Counts

254 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))
✓	0.0%	(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Compiler

Compiled 9 to 8 computations (11.1% saved)

rewrite167.0ms (12.3%)

Memory

15.2MiB live, 196.2MiB allocated; 68ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	12
0	8	12
1	16	12
2	39	12
3	139	12
4	574	12
5	3054	12
0	4458	12

Stop Event

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

Counts

5 → 255

Calls

Call 1

Inputs
z0
(fabs.f64 z0)
(sqrt.f64 (fabs.f64 z0))
#s(literal 4 binary64)
(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))

Outputs
z0
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 z0 #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 z0 z0) z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) (sqrt.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 3/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 3/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 3/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (fabs.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 z0 (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (sqrt.f64 (fabs.f64 z0)) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))))
(*.f64 (sqrt.f64 (neg.f64 (fabs.f64 z0))) (sqrt.f64 (neg.f64 (fabs.f64 z0))))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 3/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (sqrt.f64 (fabs.f64 z0)))
(.f64 (pow.f64 (.f64 z0 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 z0))) (sqrt.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))))
(*.f64 (sqrt.f64 (neg.f64 z0)) (sqrt.f64 (neg.f64 z0)))
(*.f64 (pow.f64 (neg.f64 z0) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 z0 #s(literal 1/2 binary64)) (pow.f64 z0 #s(literal 1/2 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 3/4 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/4 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (sqrt.f64 z0) (sqrt.f64 z0))
(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64))
(pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/4 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 2 binary64))
(pow.f64 (*.f64 z0 z0) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 z0) #s(literal 1 binary64))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal -1 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 z0) #s(literal -1/2 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 z0)) (pow.f64 (*.f64 z0 z0) #s(literal -1/4 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 z0)) (pow.f64 (fabs.f64 z0) #s(literal -1/2 binary64)))
(neg.f64 (neg.f64 (fabs.f64 z0)))
(sqrt.f64 (*.f64 z0 z0))
(fabs.f64 (neg.f64 (fabs.f64 z0)))
(fabs.f64 (neg.f64 z0))
(fabs.f64 (fabs.f64 z0))
(fabs.f64 z0)
(exp.f64 (*.f64 (log.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 z0)) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/16 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 z0 #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 (fabs.f64 z0))) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (neg.f64 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (neg.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 z0 z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (neg.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (fabs.f64 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 z0 (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) (fabs.f64 z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 z0 z0) z0)) #s(literal 1/16 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0))) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (*.f64 (neg.f64 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (*.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (*.f64 z0 z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 z0 z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (neg.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/16 binary64)) (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 (fabs.f64 z0) z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (fabs.f64 z0) z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (.f64 (sqrt.f64 (fabs.f64 z0)) z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 z0 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (neg.f64 (sqrt.f64 (fabs.f64 z0)))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 (fabs.f64 z0)) (.f64 z0 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) (.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (.f64 (.f64 (fabs.f64 z0) z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (neg.f64 z0) (sqrt.f64 (fabs.f64 z0))) (.f64 (neg.f64 z0) (fabs.f64 z0))) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) z0) (.f64 (fabs.f64 z0) z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) (/.f64 #s(literal 1/8 binary64) #s(literal 2 binary64))))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (*.f64 z0 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) (fabs.f64 z0)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (fabs.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) #s(literal 1/8 binary64)) (pow.f64 (*.f64 z0 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (neg.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (neg.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 (fabs.f64 z0) z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)) (pow.f64 z0 #s(literal 1/8 binary64)))
(.f64 (pow.f64 z0 #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 z0 z0) z0) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)) (pow.f64 (.f64 (neg.f64 (fabs.f64 z0)) (sqrt.f64 (fabs.f64 z0))) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) (fabs.f64 z0)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 z0)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 z0 z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 z0 z0) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 z0))) (sqrt.f64 (sqrt.f64 (fabs.f64 z0))))
(*.f64 (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 z0 #s(literal 1/4 binary64)) (pow.f64 z0 #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 z0) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(pow.f64 (.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0) (.f64 (.f64 (*.f64 z0 z0) z0) z0)) #s(literal 1/16 binary64))
(pow.f64 (.f64 (.f64 (*.f64 z0 z0) z0) z0) #s(literal 1/8 binary64))
(pow.f64 (*.f64 z0 z0) #s(literal 1/4 binary64))
(pow.f64 (fabs.f64 z0) #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 z0 z0) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 z0) #s(literal -1/2 binary64)))
(/.f64 (pow.f64 (fabs.f64 z0) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 z0) #s(literal -1/4 binary64)))
(neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(sqrt.f64 (fabs.f64 z0))
(fabs.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))))
(fabs.f64 (sqrt.f64 (fabs.f64 z0)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (.f64 z0 z0) z0) z0)) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 z0 z0)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 z0)) #s(literal 1/2 binary64)))
#s(literal 4 binary64)
(.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal -2 binary64)) #s(literal -2 binary64))
(.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)) #s(literal 2 binary64))
(.f64 #s(literal -2 binary64) (.f64 #s(literal -2 binary64) (sqrt.f64 (fabs.f64 z0))))
(.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))))
(*.f64 #s(literal 4 binary64) (sqrt.f64 (fabs.f64 z0)))
(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))
(neg.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 z0))) #s(literal 4 binary64)))
(neg.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (sqrt.f64 (fabs.f64 z0)))))
(+.f64 (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)) (.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))) (.f64 #s(literal 2 binary64) (sqrt.f64 (fabs.f64 z0))))

eval24.0ms (1.8%)

Memory: -18.0MiB live, 76.3MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 555 to 955 computations (79.0% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	251	0	251
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	251	2	253

Accuracy

100.0%

Counts

253 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))
✓	0.0%	(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Compiler

Compiled 9 to 8 computations (11.1% saved)

regimes18.0ms (1.3%)

Memory

6.2MiB live, 53.3MiB allocated; 2ms collecting garbage

Counts

1 → 1

3 → 1

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Outputs
(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))

Call 2

Inputs
(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))
(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))
(*.f64 (sqrt.f64 (fabs.f64 z0)) (sqrt.f64 #s(literal 16 binary64)))

Outputs
(*.f64 (sqrt.f64 (fabs.f64 z0)) #s(literal 4 binary64))

Calls

6 calls:

4.0ms	(*.f64 #s(literal -16 binary64) z0)
3.0ms	z0
3.0ms	(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))
3.0ms	(*.f64 #s(literal -16 binary64) z0)
2.0ms	z0

Results

Accuracy	Segments	Branch
0.0%	1	`(*.f64 #s(literal -16 binary64) z0)`
0.0%	1	`(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))`
0.0%	1	`z0`
100.0%	1	`(*.f64 #s(literal -16 binary64) z0)`
100.0%	1	`(sqrt.f64 (*.f64 #s(literal -16 binary64) z0))`
100.0%	1	`z0`

Compiler

Compiled 31 to 27 computations (12.9% saved)

derivations40.0ms (2.9%)

Memory

-12.6MiB live, 41.7MiB allocated; 4ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess23.0ms (1.7%)

Memory: -4.6MiB live, 42.3MiB allocated; 2ms collecting garbage
Compiler: Compiled 31 to 30 computations (3.2% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample592.0ms (43.5%)

preprocess73.0ms (5.4%)

rewrite183.0ms (13.5%)

eval17.0ms (1.2%)

prune4.0ms (0.3%)

rewrite164.0ms (12.1%)

eval46.0ms (3.4%)

prune4.0ms (0.3%)

rewrite167.0ms (12.3%)

eval24.0ms (1.8%)

prune5.0ms (0.3%)

regimes18.0ms (1.3%)

derivations40.0ms (2.9%)

preprocess23.0ms (1.7%)

end0.0ms (0.0%)

Profiling