Metrics for acos(x)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze2.0ms (0.1%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
50%	0%	0%	100%	0%	0%	0%	2
66.7%	0%	0%	100%	0%	0%	0%	3
83.3%	0%	0%	100%	0%	0%	0%	4
90.9%	0%	0%	100%	0%	0%	0%	5
95.5%	0%	0%	100%	0%	0%	0%	6
97.7%	0%	0%	100%	0%	0%	0%	7
98.8%	0%	0%	100%	0%	0%	0%	8
99.4%	0%	0%	100%	0%	0%	0%	9
99.7%	0%	0%	100%	0%	0%	0%	10
99.9%	0%	0%	100%	0%	0%	0%	11
99.9%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample704.0ms (47%)

Memory

21.9MiB live, 313.4MiB allocated

Samples

400.0ms	8 256×	0	valid
0.0ms	7×	0	invalid

Precisions

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

ival-acos: 154.0ms (68.1% of total)

ival-<=: 46.0ms (20.3% of total)

ival-and: 12.0ms (5.3% of total)

exact: 12.0ms (5.3% of total)

ival-assert: 3.0ms (1.3% of total)

Bogosity

explain35.0ms (2.3%)

Memory

54.2MiB live, 54.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
0	0	-	0	-	`(acos.f64 x)`
0	0	-	0	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

21.0ms

512×

valid

Compiler

Compiled 12 to 10 computations (16.7% saved)

Precisions

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

ival-acos: 10.0ms (98.2% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess59.0ms (3.9%)

Memory

-29.2MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	10	7
2	14	7
3	17	7
4	21	7
5	28	7
6	35	7
0	2	2
0	3	2
0	3	2

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(acos.f64 x)

Outputs
(acos.f64 x)

Compiler

Compiled 2 to 2 computations (0% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(acos.f64 x)

Compiler

Compiled 2 to 2 computations (0% saved)

simplify2.0ms (0.2%)

Memory

2.8MiB live, 2.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(acos.f64 x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	3
0	3	3
0	3	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(acos.f64 x)
x

Outputs
(acos.f64 x)
x

localize14.0ms (0.9%)

Memory

19.4MiB live, 19.4MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0.00390625	(acos.f64 x)

Samples

10.0ms

256×

valid

Compiler

Compiled 5 to 4 computations (20% saved)

Precisions

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

ival-acos: 5.0ms (100.9% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Counts

1 → 1

Calls

Call 1

Inputs
(acos.f64 x)

Outputs
(acos x)

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	((acos x))
0.0ms	x	@	inf	((acos x))
0.0ms	x	@	-inf	((acos x))

simplify2.0ms (0.1%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
0	2	2

Stop Event

1×	iter limit
1×	saturated

Counts

1 → 1

Calls

Call 1

Inputs
(acos x)

Outputs
(acos x)
(acos.f64 x)

rewrite168.0ms (11.2%)

Memory

51.2MiB live, 51.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
0	3	2
1	8	2
2	48	2
3	403	2
4	7832	2
0	8555	2

Stop Event

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

Counts

1 → 168

Calls

Call 1

Inputs
(acos.f64 x)

Outputs
(.f64 (/.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (-.f64 (asin.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64))))))
(.f64 (/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 2 binary64)))) (-.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))
(.f64 (/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))))
(.f64 (/.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (acos.f64 x))
(.f64 (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64)) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)))
(.f64 (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))
(.f64 (neg.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (PI.f64) (acos.f64 x)))))
(.f64 (neg.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(*.f64 (-.f64 (PI.f64) (acos.f64 x)) (/.f64 (acos.f64 x) (-.f64 (PI.f64) (acos.f64 x))))
(.f64 (-.f64 (PI.f64) (acos.f64 x)) (.f64 (acos.f64 x) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64))))
(.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64)))
(.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (/.f64 (acos.f64 x) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (acos.f64 x) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64))))
(.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (-.f64 (neg.f64 (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))))))
(.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (acos.f64 x))
(pow.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x)) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (asin.f64 x) #s(literal 4 binary64))) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64))) (fma.f64 #s(literal 1/4 binary64) (*.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64))) (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64))) (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64)) (pow.f64 (asin.f64 x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64))) (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (+.f64 (/.f64 (pow.f64 (*.f64 (asin.f64 x) (PI.f64)) #s(literal 3 binary64)) #s(literal 8 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x))))) (.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))))) (fma.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (/.f64 #s(literal 1/8 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (acos.f64 x) #s(literal 2 binary64))) (neg.f64 (acos.f64 x)))
(/.f64 (-.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)))) (-.f64 (neg.f64 (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (fma.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))) (.f64 (.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (fma.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (acos.f64 x) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (acos.f64 x) #s(literal 2 binary64)) (*.f64 #s(literal 0 binary64) (acos.f64 x)))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)))) (neg.f64 (neg.f64 (-.f64 (PI.f64) (acos.f64 x)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) #s(literal 1 binary64)) (-.f64 (PI.f64) (acos.f64 x)))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (asin.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (-.f64 (PI.f64) (acos.f64 x))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))) (-.f64 (PI.f64) (acos.f64 x))))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64)) (pow.f64 (asin.f64 x) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (+.f64 (/.f64 (pow.f64 (.f64 (asin.f64 x) (PI.f64)) #s(literal 3 binary64)) #s(literal 8 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (-.f64 (PI.f64) (acos.f64 x))) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (-.f64 (PI.f64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (-.f64 (PI.f64) (asin.f64 x))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (.f64 (-.f64 (PI.f64) (asin.f64 x)) (asin.f64 x)))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (-.f64 (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (neg.f64 (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (PI.f64)) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 2 binary64))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (-.f64 (-.f64 (PI.f64) (acos.f64 x)) (.f64 (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64)) (acos.f64 x))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (-.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (*.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (PI.f64) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal -2 binary64))))) (.f64 (/.f64 #s(literal -2 binary64) (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (-.f64 (PI.f64) (asin.f64 x))) (.f64 #s(literal -2 binary64) (.f64 (-.f64 (PI.f64) (asin.f64 x)) (asin.f64 x)))) (.f64 #s(literal -2 binary64) (-.f64 (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))) (.f64 #s(literal -2 binary64) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal -2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))) (.f64 #s(literal -2 binary64) (fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (neg.f64 (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (.f64 #s(literal -2 binary64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))) (.f64 #s(literal -2 binary64) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (PI.f64)) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 2 binary64))))) (.f64 #s(literal -2 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))) (.f64 #s(literal -2 binary64) (-.f64 (-.f64 (PI.f64) (acos.f64 x)) (.f64 (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64)) (acos.f64 x))))) (.f64 #s(literal -2 binary64) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (.f64 #s(literal -2 binary64) (-.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))))) (.f64 #s(literal -2 binary64) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))) (.f64 #s(literal -2 binary64) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (*.f64 #s(literal -2 binary64) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))) (.f64 #s(literal -2 binary64) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (PI.f64) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal -2 binary64))))) (.f64 #s(literal -2 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 (PI.f64) (asin.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (-.f64 (PI.f64) (asin.f64 x)) (asin.f64 x)))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (neg.f64 (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (PI.f64)) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 2 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (-.f64 (PI.f64) (acos.f64 x)) (.f64 (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64)) (acos.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (PI.f64) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal -2 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (PI.f64) (-.f64 (PI.f64) (asin.f64 x))) (.f64 #s(literal 2 binary64) (.f64 (-.f64 (PI.f64) (asin.f64 x)) (asin.f64 x)))) (.f64 #s(literal 2 binary64) (-.f64 (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal 2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (-.f64 (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))) (.f64 #s(literal 2 binary64) (fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (neg.f64 (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (.f64 #s(literal 2 binary64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))) (.f64 #s(literal 2 binary64) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (PI.f64)) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (PI.f64) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))) (.f64 #s(literal 2 binary64) (-.f64 (-.f64 (PI.f64) (acos.f64 x)) (.f64 (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64)) (acos.f64 x))))) (.f64 #s(literal 2 binary64) (/.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (PI.f64))))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (.f64 #s(literal 2 binary64) (-.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))))) (.f64 #s(literal 2 binary64) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (PI.f64)) (.f64 (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64)) (acos.f64 x))))) (*.f64 #s(literal 2 binary64) (fma.f64 (asin.f64 x) #s(literal 2 binary64) (PI.f64))))
(/.f64 (-.f64 (.f64 (PI.f64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (PI.f64) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal -2 binary64))))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (asin.f64 x) #s(literal 4 binary64))) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (fma.f64 #s(literal 1/4 binary64) (*.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64)) (pow.f64 (asin.f64 x) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (+.f64 (/.f64 (pow.f64 (*.f64 (asin.f64 x) (PI.f64)) #s(literal 3 binary64)) #s(literal 8 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))))))
(/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (pow.f64 (asin.f64 x) #s(literal 6 binary64))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (neg.f64 (-.f64 (PI.f64) (acos.f64 x))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (-.f64 (neg.f64 (asin.f64 x)) (.f64 #s(literal 1/2 binary64) (PI.f64)))))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x))))
(/.f64 (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (-.f64 (PI.f64) (acos.f64 x)))
(/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (asin.f64 x) (asin.f64 x) (-.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (.f64 (neg.f64 (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64))))))
(/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (-.f64 (neg.f64 (asin.f64 x)) (.f64 #s(literal 1/2 binary64) (PI.f64))))))
(/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (-.f64 (neg.f64 (asin.f64 x)) (.f64 #s(literal 1/2 binary64) (PI.f64))))) (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (acos.f64 x)))
(neg.f64 (+.f64 (asin.f64 x) (*.f64 (PI.f64) #s(literal -1/2 binary64))))
(neg.f64 (fma.f64 (PI.f64) #s(literal -1/2 binary64) (asin.f64 x)))
(neg.f64 (neg.f64 (acos.f64 x)))
(fma.f64 (/.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (-.f64 (asin.f64 x) (.f64 #s(literal 1/2 binary64) (PI.f64))))) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 2 binary64)))) (-.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)))) (pow.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))) (cbrt.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 2 binary64)))) (-.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (pow.f64 (PI.f64) #s(literal 6 binary64)) #s(literal 1/64 binary64) (pow.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (-.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)) (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64)))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (fma.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (-.f64 (asin.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64))))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (acos.f64 x) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (/.f64 (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (acos.f64 x) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (cbrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (.f64 (PI.f64) (PI.f64))) (/.f64 #s(literal 1/2 binary64) (-.f64 (PI.f64) (acos.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (neg.f64 (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (PI.f64)) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (neg.f64 (sqrt.f64 (PI.f64))) (/.f64 (sqrt.f64 (PI.f64)) #s(literal -2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (*.f64 (cbrt.f64 (PI.f64)) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (/.f64 (cbrt.f64 (PI.f64)) #s(literal -2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) #s(literal -3/2 binary64)) (/.f64 (pow.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) #s(literal -3/2 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 #s(literal -1/2 binary64) (neg.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64)) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64)) (-.f64 (*.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (PI.f64) (acos.f64 x)))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) #s(literal 0 binary64))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal -1 binary64) (*.f64 (PI.f64) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal -1 binary64) (asin.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (/.f64 (acos.f64 x) (-.f64 (PI.f64) (acos.f64 x))) #s(literal 0 binary64))
(fma.f64 (-.f64 (PI.f64) (acos.f64 x)) (*.f64 (acos.f64 x) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64))) #s(literal 0 binary64))
(fma.f64 (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (acos.f64 x)) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (pow.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal 1/2 binary64) (PI.f64) (neg.f64 (asin.f64 x)))
(fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (/.f64 (acos.f64 x) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) #s(literal 0 binary64))
(fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) (.f64 (acos.f64 x) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64))) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (/.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (pow.f64 (-.f64 (PI.f64) (acos.f64 x)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (-.f64 (neg.f64 (asin.f64 x)) (.f64 #s(literal 1/2 binary64) (PI.f64)))))) #s(literal 0 binary64))
(fma.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (neg.f64 (PI.f64)) #s(literal -1/2 binary64) (neg.f64 (asin.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (*.f64 (neg.f64 (sqrt.f64 (PI.f64))) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))) #s(literal 1 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) (/.f64 #s(literal 1/8 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (*.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 (neg.f64 (cbrt.f64 (PI.f64))) #s(literal -1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 1/2 binary64) (cbrt.f64 (PI.f64))) #s(literal 1 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (cbrt.f64 (PI.f64))) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 #s(literal 1/2 binary64) (cbrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal 1 binary64) (acos.f64 x) #s(literal 0 binary64))
(fma.f64 (asin.f64 x) #s(literal -1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (PI.f64) (PI.f64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(fma.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (/.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (-.f64 (PI.f64) (acos.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 1 binary64) (neg.f64 (asin.f64 x)))
(fma.f64 (PI.f64) (/.f64 (*.f64 #s(literal 1/4 binary64) (PI.f64)) (-.f64 (PI.f64) (acos.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (neg.f64 (asin.f64 x)))
(-.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 0 binary64)) (asin.f64 x))
(-.f64 (+.f64 #s(literal 0 binary64) (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x))))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))))
(-.f64 (+.f64 #s(literal 0 binary64) (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(-.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64))) (asin.f64 x))
(-.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) #s(literal 0 binary64)) (asin.f64 x))
(-.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x))))
(-.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))))
(-.f64 #s(literal 0 binary64) (-.f64 (asin.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64))))
(-.f64 #s(literal 0 binary64) (neg.f64 (acos.f64 x)))
(-.f64 (neg.f64 (asin.f64 x)) (*.f64 (PI.f64) #s(literal -1/2 binary64)))
(-.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (asin.f64 x))
(+.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 0 binary64)) (neg.f64 (asin.f64 x)))
(+.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64))) (neg.f64 (asin.f64 x)))
(+.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (/.f64 #s(literal 1/4 binary64) (-.f64 (PI.f64) (acos.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (acos.f64 x)))))
(+.f64 (/.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x)))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (-.f64 (PI.f64) (acos.f64 x)) (asin.f64 x))))))
(+.f64 #s(literal 0 binary64) (acos.f64 x))
(+.f64 (neg.f64 (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(+.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (asin.f64 x)))
(+.f64 (acos.f64 x) #s(literal 0 binary64))
(acos.f64 x)

eval46.0ms (3.1%)

Memory: -61.1MiB live, 16.5MiB allocated
Compiler: Compiled 4 651 to 529 computations (88.6% saved)

prune2.0ms (0.2%)

Memory

6.4MiB live, 6.4MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	168	2	170

Accuracy

100.0%

Counts

170 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
✓	100.0%	(acos.f64 x)

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify50.0ms (3.3%)

Memory

4.6MiB live, 4.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(PI.f64)
cost-diff	0	(pow.f64 (PI.f64) #s(literal 1/4 binary64))
cost-diff	1	(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))))
cost-diff	8	(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	41
0	20	41
1	33	37
2	57	36
3	109	31
4	201	31
5	324	31
6	511	31
7	736	31
8	956	31
9	1088	31
10	1216	31
11	1258	31
12	1262	31
13	1414	31
14	1414	31
0	1414	31

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(pow.f64 (PI.f64) #s(literal 1/4 binary64))
(PI.f64)
#s(literal 1/4 binary64)
(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))))
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))
#s(literal 1/2 binary64)
(sqrt.f64 (PI.f64))
(neg.f64 (asin.f64 x))
(asin.f64 x)
x

Outputs
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(neg.f64 (fma.f64 #s(literal -1/2 binary64) (PI.f64) (asin.f64 x)))
(pow.f64 (PI.f64) #s(literal 1/4 binary64))
(PI.f64)
#s(literal 1/4 binary64)
(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal 3 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(sqrt.f64 (PI.f64))
(neg.f64 (asin.f64 x))
(asin.f64 x)
x

localize39.0ms (2.6%)

Memory

19.7MiB live, 19.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(asin.f64 x)
accuracy	0.0	(PI.f64)
accuracy	0.5875014523148235	(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
accuracy	1.0	(sqrt.f64 (PI.f64))

Samples

29.0ms

256×

valid

Compiler

Compiled 44 to 14 computations (68.2% saved)

Precisions

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

ival-mult: 5.0ms (24.1% of total)

ival-pow: 5.0ms (24.1% of total)

ival-asin: 4.0ms (19.2% of total)

ival-sqrt: 2.0ms (9.6% of total)

ival-pi: 1.0ms (4.8% of total)

ival-add: 1.0ms (4.8% of total)

ival-neg: 1.0ms (4.8% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated

Counts

6 → 2

Calls

Call 1

Inputs
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))))
(pow.f64 (PI.f64) #s(literal 1/4 binary64))
(PI.f64)
(sqrt.f64 (PI.f64))
(asin.f64 x)

Outputs
(- (* 1/2 (PI)) (asin x))
(asin x)

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))
1.0ms	x	@	inf	((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))
0.0ms	x	@	-inf	((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))

Time

Variable

Point

Expression

1.0ms

((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))

1.0ms

inf

((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))

0.0ms

-inf

((+ (* (pow (PI) 1/4) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI))))) (neg (asin x))) (* (pow (PI) 1/4) (* 1/2 (sqrt (PI)))) (pow (PI) 1/4) (PI) (sqrt (PI)) (asin x))

simplify7.0ms (0.5%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	9	8
2	14	8
3	20	8
4	35	8
5	54	8
6	100	8
7	145	8
8	200	8
9	218	8
10	226	8
0	226	8

Stop Event

1×	iter limit
1×	saturated

Counts

2 → 2

Calls

Call 1

Inputs
(- (* 1/2 (PI)) (asin x))
(asin x)

Outputs
(- (* 1/2 (PI)) (asin x))
(neg.f64 (fma.f64 #s(literal -1/2 binary64) (PI.f64) (asin.f64 x)))
(asin x)
(asin.f64 x)

rewrite235.0ms (15.7%)

Memory

-61.4MiB live, 60.1MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
0	20	31
1	71	18
2	460	15
3	5963	15
0	8578	15

Stop Event

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

Counts

6 → 518

Calls

Call 1

Inputs
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64))))
(pow.f64 (PI.f64) #s(literal 1/4 binary64))
(PI.f64)
(sqrt.f64 (PI.f64))
(asin.f64 x)

Outputs
(.f64 (/.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (acos.f64 x))))
(.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 2 binary64)))) (fma.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x) (.f64 (.f64 (PI.f64) #s(literal -1/2 binary64)) (asin.f64 x))))
(.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)))) (fma.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (-.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64))) (pow.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))))
(.f64 (/.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (acos.f64 x))
(.f64 (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)))
(.f64 (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64)) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))
(.f64 (neg.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)))
(.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (/.f64 (acos.f64 x) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 (acos.f64 x) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64))))
(.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (acos.f64 x))
(*.f64 (acos.f64 x) (/.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(.f64 (acos.f64 x) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64))))
(pow.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x)) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 4 binary64))) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64))) (fma.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64))) (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64))) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 9 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (pow.f64 (.f64 (*.f64 (PI.f64) #s(literal -1/2 binary64)) (asin.f64 x)) #s(literal 3 binary64))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) (fma.f64 (PI.f64) (/.f64 (*.f64 #s(literal 1/4 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (acos.f64 x)) (neg.f64 (acos.f64 x)))) (neg.f64 (acos.f64 x)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (acos.f64 x) #s(literal 2 binary64))) (neg.f64 (acos.f64 x)))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (fma.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 (/.f64 (.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (acos.f64 x)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (acos.f64 x)) (neg.f64 (acos.f64 x)) (*.f64 #s(literal 0 binary64) (neg.f64 (acos.f64 x))))))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (acos.f64 x) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (acos.f64 x) #s(literal 2 binary64)) (*.f64 #s(literal 0 binary64) (acos.f64 x)))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)))) (neg.f64 (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (.f64 (+.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 9 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 (PI.f64) #s(literal -1/2 binary64)) (asin.f64 x)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) #s(literal 1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))
(/.f64 (.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))) (.f64 #s(literal -2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)))) (.f64 #s(literal -2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))) (.f64 #s(literal -2 binary64) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal -2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)))) (.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal 2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(/.f64 (fma.f64 (neg.f64 (PI.f64)) (asin.f64 x) (.f64 #s(literal -2 binary64) (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))))) (.f64 #s(literal -2 binary64) (asin.f64 x)))
(/.f64 (fma.f64 (neg.f64 (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (.f64 #s(literal -2 binary64) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)))) (.f64 #s(literal -2 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (+.f64 (asin.f64 x) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (asin.f64 x)))
(/.f64 (fma.f64 (asin.f64 x) (asin.f64 x) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (fma.f64 (PI.f64) (asin.f64 x) (.f64 #s(literal 2 binary64) (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) (asin.f64 x)))
(/.f64 (fma.f64 (PI.f64) (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (fma.f64 (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))) #s(literal -2 binary64) (.f64 (asin.f64 x) (neg.f64 (PI.f64)))) (.f64 (asin.f64 x) #s(literal -2 binary64)))
(/.f64 (fma.f64 (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) (PI.f64)) (asin.f64 x)) (*.f64 (asin.f64 x) (/.f64 #s(literal 2 binary64) (PI.f64))))
(/.f64 (fma.f64 (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))) #s(literal 2 binary64) (.f64 (asin.f64 x) (PI.f64))) (.f64 (asin.f64 x) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) #s(literal -2 binary64) (.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (neg.f64 (PI.f64)))) (.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) #s(literal -2 binary64)))
(/.f64 (fma.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 2 binary64) (PI.f64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (*.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal 2 binary64) (PI.f64))))
(/.f64 (fma.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (PI.f64))) (.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 4 binary64))) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (fma.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (fma.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 9 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (-.f64 (+.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)) (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 6 binary64))) (pow.f64 (.f64 (*.f64 (PI.f64) #s(literal -1/2 binary64)) (asin.f64 x)) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (acos.f64 x)))
(neg.f64 (neg.f64 (acos.f64 x)))
(fma.f64 (/.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (neg.f64 (asin.f64 x)) (acos.f64 x))) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64)) (pow.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 2 binary64)))) (fma.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x) (.f64 (*.f64 (PI.f64) #s(literal -1/2 binary64)) (asin.f64 x))) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 6 binary64)))) (fma.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (-.f64 (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64))) (pow.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 4 binary64))) #s(literal 0 binary64))
(fma.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (neg.f64 (asin.f64 x)) (acos.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (acos.f64 x) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (/.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (acos.f64 x) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (sqrt.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (neg.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))) (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (sqrt.f64 (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (neg.f64 (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (/.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (pow.f64 (PI.f64) #s(literal 3/4 binary64))) (/.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (.f64 (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (PI.f64)) (/.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (neg.f64 (asin.f64 x)))
(fma.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/4 binary64)) (/.f64 (sqrt.f64 (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64)) (-.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) #s(literal 0 binary64))
(fma.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (neg.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (PI.f64)) #s(literal -1/2 binary64) (neg.f64 (asin.f64 x)))
(fma.f64 (neg.f64 (PI.f64)) #s(literal 1/2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (neg.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (neg.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (asin.f64 x)))
(fma.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 #s(literal -1 binary64) (asin.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (/.f64 (acos.f64 x) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) #s(literal 0 binary64))
(fma.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 (acos.f64 x) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64))) #s(literal 0 binary64))
(fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (neg.f64 (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (asin.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal 1 binary64) (*.f64 (PI.f64) #s(literal -1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 #s(literal 1 binary64) (acos.f64 x) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (acos.f64 x) (/.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) #s(literal 0 binary64))
(fma.f64 (acos.f64 x) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64))) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (/.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal -1 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 1 binary64) (neg.f64 (asin.f64 x)))
(fma.f64 (asin.f64 x) #s(literal -1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (/.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (neg.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (neg.f64 (sqrt.f64 (PI.f64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)) (neg.f64 (asin.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (/.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (neg.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 #s(literal 1/2 binary64) (PI.f64) (neg.f64 (asin.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (/.f64 (.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (pow.f64 (PI.f64) #s(literal 3/4 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (neg.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (neg.f64 (asin.f64 x)))
(fma.f64 (PI.f64) (/.f64 (*.f64 #s(literal 1/4 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(fma.f64 (PI.f64) #s(literal -1/2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (neg.f64 (asin.f64 x)))
(-.f64 (+.f64 #s(literal 0 binary64) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(-.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(-.f64 (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(-.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(-.f64 #s(literal 0 binary64) (neg.f64 (acos.f64 x)))
(-.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (asin.f64 x))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (acos.f64 x))) #s(literal -1 binary64)))
(+.f64 (*.f64 (PI.f64) #s(literal -1/2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(+.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (neg.f64 (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(+.f64 #s(literal 0 binary64) (acos.f64 x))
(+.f64 (acos.f64 x) #s(literal 0 binary64))
(+.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (asin.f64 x)))
(+.f64 (neg.f64 (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(acos.f64 x)
(.f64 (.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)))
(.f64 (.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(.f64 (.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)))
(.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)))
(.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) #s(literal 1 binary64)) (sqrt.f64 (PI.f64)))
(.f64 (.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(.f64 (.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)))
(.f64 (.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))
(.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)))))
(.f64 (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (sqrt.f64 (PI.f64)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))))
(.f64 #s(literal 1 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))))
(*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 3/4 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)))
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64)) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/24 binary64)))
(.f64 (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/16 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(*.f64 #s(literal 1 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1/3 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 (PI.f64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 3 binary64)) (log.f64 (cbrt.f64 (PI.f64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1 binary64)) (log.f64 (PI.f64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 2 binary64)) (log.f64 (sqrt.f64 (PI.f64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) #s(literal 1/2 binary64)) (*.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 1/4 binary64)) (log.f64 (PI.f64)))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/12 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/8 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3/4 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal 1 binary64))
(pow.f64 (PI.f64) #s(literal 1/4 binary64))
(sqrt.f64 (sqrt.f64 (PI.f64)))
(fabs.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 1/4 binary64))) (log.f64 (PI.f64))))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (PI.f64))) #s(literal 1/12 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 3/4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (PI.f64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/8 binary64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))) (cbrt.f64 (cbrt.f64 (PI.f64))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 3/8 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)))
(.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64))) (*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(.f64 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64)) (PI.f64))) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))))
(.f64 (exp.f64 (.f64 #s(literal 2/3 binary64) (log.f64 (PI.f64)))) (exp.f64 (log.f64 (cbrt.f64 (PI.f64)))))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(.f64 (exp.f64 (.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64)) (PI.f64))) #s(literal 1/3 binary64))) (cbrt.f64 (cbrt.f64 (PI.f64))))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 5/2 binary64))) #s(literal 1/3 binary64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))) #s(literal 1/3 binary64))) (exp.f64 (*.f64 (log.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))) #s(literal 1/3 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(.f64 (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/2 binary64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) #s(literal 3 binary64)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) #s(literal 3 binary64)) (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))))
(.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (sqrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (sqrt.f64 (PI.f64))))))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (log.f64 (exp.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (cbrt.f64 (PI.f64)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64))))
(.f64 (cbrt.f64 (PI.f64)) (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/2 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (log.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) (PI.f64))
(*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (log.f64 (exp.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 3/4 binary64)))
(*.f64 (PI.f64) #s(literal 1 binary64))
(pow.f64 (pow.f64 (E.f64) #s(literal 1/3 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 (PI.f64))))
(pow.f64 (pow.f64 (E.f64) #s(literal 3 binary64)) (log.f64 (cbrt.f64 (PI.f64))))
(pow.f64 (pow.f64 (E.f64) #s(literal 2 binary64)) (log.f64 (sqrt.f64 (PI.f64))))
(pow.f64 (pow.f64 (E.f64) #s(literal 1/2 binary64)) (*.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)))
(pow.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/4 binary64))
(pow.f64 (E.f64) (log.f64 (PI.f64)))
(pow.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/2 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal 4 binary64))
(pow.f64 (PI.f64) #s(literal 1 binary64))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))
(sqrt.f64 (*.f64 (PI.f64) (PI.f64)))
(fabs.f64 (PI.f64))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (.f64 (PI.f64) (PI.f64)))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (PI.f64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 3 binary64)))
(exp.f64 (log.f64 (PI.f64)))
(+.f64 (log.f64 (pow.f64 (exp.f64 (PI.f64)) #s(literal 1/2 binary64))) (log.f64 (pow.f64 (exp.f64 (PI.f64)) #s(literal 1/2 binary64))))
(log.f64 (exp.f64 (PI.f64)))
(PI.f64)
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)))
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)))
(.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64))) (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))))
(*.f64 (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64))) (fabs.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 5 binary64)) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(.f64 (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (log.f64 (exp.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (log.f64 (exp.f64 (cbrt.f64 (PI.f64)))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (pow.f64 (.f64 (cbrt.f64 (PI.f64)) (PI.f64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (cbrt.f64 (PI.f64)))
(.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (pow.f64 (PI.f64) #s(literal 3/8 binary64))))
(.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (pow.f64 (PI.f64) #s(literal 3/8 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (log.f64 (exp.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 3/2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (pow.f64 (PI.f64) #s(literal 3/8 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (fabs.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 1 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (log.f64 (exp.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (*.f64 (PI.f64) (PI.f64))) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3/2 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (PI.f64) #s(literal 1/2 binary64))
(sqrt.f64 (PI.f64))
(fabs.f64 (neg.f64 (sqrt.f64 (PI.f64))))
(fabs.f64 (sqrt.f64 (PI.f64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (.f64 (PI.f64) (PI.f64)))) #s(literal 1/8 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/8 binary64) (log.f64 (PI.f64))) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (PI.f64))) #s(literal 1/6 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (PI.f64))) #s(literal 3/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(*.f64 #s(literal -1 binary64) (neg.f64 (asin.f64 x)))
(*.f64 #s(literal 1 binary64) (asin.f64 x))
(*.f64 (neg.f64 (asin.f64 x)) #s(literal -1 binary64))
(*.f64 (asin.f64 x) #s(literal 1 binary64))
(asin.f64 x)
(/.f64 (*.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) #s(literal -1 binary64)) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (*.f64 (neg.f64 (acos.f64 x)) (neg.f64 (acos.f64 x)))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(/.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (neg.f64 (acos.f64 x)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (-.f64 (.f64 (neg.f64 (acos.f64 x)) (neg.f64 (acos.f64 x))) (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (acos.f64 x))))))
(/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (neg.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64))) (pow.f64 (asin.f64 x) #s(literal 2 binary64)))
(/.f64 (neg.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x))) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x))) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 #s(literal -2 binary64) (neg.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))))) (.f64 #s(literal -2 binary64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))) (.f64 #s(literal -2 binary64) (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))) (.f64 #s(literal -2 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 #s(literal -2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)))) (.f64 #s(literal -2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) (.f64 #s(literal -2 binary64) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal -2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (neg.f64 (PI.f64)) (/.f64 #s(literal 1 binary64) (acos.f64 x))) #s(literal -2 binary64)) (.f64 #s(literal -2 binary64) (/.f64 #s(literal 1 binary64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (neg.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(/.f64 (-.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (acos.f64 x))) (.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) #s(literal 1 binary64))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 1 binary64) (acos.f64 x))))
(/.f64 (-.f64 (.f64 (PI.f64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (.f64 #s(literal 2 binary64) (neg.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))))) (.f64 #s(literal 2 binary64) (neg.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))
(/.f64 (-.f64 (.f64 (PI.f64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))) (.f64 #s(literal 2 binary64) (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))))) (.f64 #s(literal 2 binary64) (neg.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)))) (.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(/.f64 (-.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))) (.f64 #s(literal 2 binary64) (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))))) (.f64 #s(literal 2 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))))
(/.f64 (-.f64 (.f64 (PI.f64) (/.f64 #s(literal 1 binary64) (acos.f64 x))) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (acos.f64 x))))
(/.f64 (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))) (neg.f64 (asin.f64 x)))
(/.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))
(/.f64 (pow.f64 (neg.f64 (asin.f64 x)) #s(literal 3 binary64)) (neg.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))))
(/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (asin.f64 x))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)))) (-.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64)))))
(neg.f64 (neg.f64 (asin.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64))) (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64))) (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (sqrt.f64 (PI.f64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (sqrt.f64 (PI.f64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (sqrt.f64 (PI.f64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64))) (neg.f64 (acos.f64 x)))
(fma.f64 (*.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x)) (asin.f64 x)) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))) #s(literal 0 binary64))
(fma.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (acos.f64 x) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x))) (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64)) (.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64)) (.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (neg.f64 (PI.f64)) #s(literal -1/2 binary64) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (PI.f64)) #s(literal -1/2 binary64) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (neg.f64 (PI.f64)) #s(literal -1/2 binary64) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64))) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/24 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/16 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)))) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 (PI.f64) #s(literal 1/4 binary64))) (pow.f64 (PI.f64) #s(literal 3/4 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/8 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/8 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (acos.f64 x)) (neg.f64 (pow.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) #s(literal -1 binary64))) (.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 #s(literal -1 binary64) (acos.f64 x) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 #s(literal -1 binary64) (neg.f64 (asin.f64 x)) #s(literal 0 binary64))
(fma.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (pow.f64 (asin.f64 x) #s(literal 3 binary64))) (neg.f64 (pow.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (asin.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) #s(literal -1 binary64))) (.f64 #s(literal 1/2 binary64) (PI.f64)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (PI.f64)) (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (cbrt.f64 (PI.f64)) (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (acos.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64))) (neg.f64 (acos.f64 x)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (cbrt.f64 (PI.f64)) (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) (PI.f64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 1/2 binary64) (PI.f64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (acos.f64 x)))
(fma.f64 #s(literal 1 binary64) (asin.f64 x) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 1 binary64) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 1 binary64) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) #s(literal 1 binary64) (neg.f64 (acos.f64 x)))
(fma.f64 (neg.f64 (asin.f64 x)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (asin.f64 x) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (sqrt.f64 (PI.f64)) (neg.f64 (acos.f64 x)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) #s(literal 1/2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 #s(literal 1/2 binary64) (PI.f64) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 #s(literal 1/2 binary64) (PI.f64) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 #s(literal 1/2 binary64) (PI.f64) (neg.f64 (acos.f64 x)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (neg.f64 (acos.f64 x)))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (*.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(fma.f64 (PI.f64) #s(literal 1/2 binary64) (neg.f64 (acos.f64 x)))
(-.f64 (/.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))) (/.f64 (pow.f64 (acos.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))
(-.f64 (/.f64 (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))) (/.f64 (pow.f64 (acos.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/4 binary64) (PI.f64)) (PI.f64) (*.f64 (acos.f64 x) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (acos.f64 x))))))
(-.f64 (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(-.f64 #s(literal 0 binary64) (neg.f64 (asin.f64 x)))
(-.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (acos.f64 x))
(+.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (/.f64 (.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x)))) (/.f64 (pow.f64 (asin.f64 x) #s(literal 2 binary64)) (fma.f64 #s(literal 1/2 binary64) (PI.f64) (asin.f64 x))))
(+.f64 (neg.f64 (acos.f64 x)) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
(+.f64 #s(literal 0 binary64) (asin.f64 x))
(+.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (.f64 (neg.f64 (acos.f64 x)) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) (.f64 #s(literal 1 binary64) (neg.f64 (acos.f64 x))))
(+.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) (neg.f64 (acos.f64 x)))
(+.f64 (asin.f64 x) #s(literal 0 binary64))

eval100.0ms (6.7%)

Memory: -11.1MiB live, 69.4MiB allocated
Compiler: Compiled 16 183 to 2 239 computations (86.2% saved)

prune8.0ms (0.5%)

Memory

25.6MiB live, 25.6MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	709	1	710
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	710	2	712

Accuracy

100.0%

Counts

712 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.1%	(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))
✓	100.0%	(acos.f64 x)

Compiler

Compiled 49 to 29 computations (40.8% saved)

regimes3.0ms (0.2%)

Memory

3.4MiB live, 3.4MiB allocated

Accuracy

Total -0.6b remaining (-15040%)

Threshold costs -0.6b (-15040%)

Counts

3 → 1

Calls

Call 1

Inputs

(acos.f64 x)

(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))

(fma.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 (pow.f64 (PI.f64) #s(literal 1/4 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (PI.f64)))) (neg.f64 (asin.f64 x)))

Outputs
(acos.f64 x)

Calls

2 calls:

1.0ms	(acos.f64 x)
1.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(acos.f64 x)`

Compiler

Compiled 3 to 3 computations (0% saved)

simplify9.0ms (0.6%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2

Stop Event

1×

saturated

Calls

Call 1

Inputs
(acos.f64 x)

Outputs
(acos.f64 x)

soundness0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 2 to 2 computations (0% saved)

preprocess12.0ms (0.8%)

Memory: 8.1MiB live, 8.1MiB allocated
Compiler: Compiled 8 to 8 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze2.0ms (0.1%)

sample704.0ms (47%)

explain35.0ms (2.3%)

preprocess59.0ms (3.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify2.0ms (0.2%)

localize14.0ms (0.9%)

series0.0ms (0%)

simplify2.0ms (0.1%)

rewrite168.0ms (11.2%)

eval46.0ms (3.1%)

prune2.0ms (0.2%)

simplify50.0ms (3.3%)

localize39.0ms (2.6%)

series2.0ms (0.1%)

simplify7.0ms (0.5%)

rewrite235.0ms (15.7%)

eval100.0ms (6.7%)

prune8.0ms (0.5%)

regimes3.0ms (0.2%)

simplify9.0ms (0.6%)

soundness0.0ms (0%)

preprocess12.0ms (0.8%)

end0.0ms (0%)

Profiling