Metrics for sin(x+0.001)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample803.0ms (26.9%)

Memory

-3.4MiB live, 337.4MiB allocated

Samples

438.0ms

8 256×

valid

Precisions

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

ival-sin: 124.0ms (45.6% of total)

ival-add: 74.0ms (27.2% of total)

ival-<=: 44.0ms (16.2% of total)

exact: 14.0ms (5.2% of total)

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

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

Bogosity

explain55.0ms (1.8%)

Memory

65.3MiB live, 65.3MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 1152921504606847/1152921504606846976 binary64)`
-	-	`(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))`
-	-	`(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))`
-	-	`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

22.0ms

512×

valid

Compiler

Compiled 26 to 16 computations (38.5% saved)

Precisions

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

ival-sin: 6.0ms (58.2% of total)

ival-add: 3.0ms (29.1% of total)

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

exact: 0.0ms (0% of total)

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

preprocess75.0ms (2.5%)

Memory

-90.9MiB live, 21.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	13	9
2	21	9
3	30	9
4	42	8
5	66	8
6	91	8
7	101	8
0	4	4
0	6	4
1	7	4
0	7	4

Stop Event

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

Calls

Call 1

Inputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Outputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))

Compiler

Compiled 4 to 4 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.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Compiler

Compiled 4 to 4 computations (0% saved)

simplify3.0ms (0.1%)

Memory

3.4MiB live, 3.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))
cost-diff	0	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	9
0	6	9
1	7	9
0	7	9

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))
x
#s(literal 1152921504606847/1152921504606846976 binary64)

Outputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))
(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))
(+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)
x
#s(literal 1152921504606847/1152921504606846976 binary64)

localize16.0ms (0.5%)

Memory

24.1MiB live, 24.1MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))
accuracy	0.00390625	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Samples

11.0ms

256×

valid

Compiler

Compiled 11 to 6 computations (45.5% saved)

Precisions

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

ival-sin: 3.0ms (61.5% of total)

ival-add: 2.0ms (41% of total)

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

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Counts

2 → 10

Calls

Call 1

Inputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))

Outputs
(sin 1152921504606847/1152921504606846976)
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
1152921504606847/1152921504606846976
(+ 1152921504606847/1152921504606846976 x)
(sin (+ 1152921504606847/1152921504606846976 x))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))
0.0ms	x	@	inf	((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))
0.0ms	x	@	-inf	((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

Time

Variable

Point

Expression

1.0ms

((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

0.0ms

inf

((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

0.0ms

-inf

((sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

simplify324.0ms (10.9%)

Memory

-15.4MiB live, 53.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	60
1	85	60
2	186	60
3	631	60
4	1873	60
5	3078	60
6	3792	60
7	4043	60
8	4075	60
9	4079	60
10	4079	60
11	4409	60
12	4888	60
13	4888	60
14	5016	60
15	5263	60
16	5293	60
17	5297	60
18	5297	60
0	5297	54

Stop Event

1×	iter limit
1×	saturated

Counts

10 → 9

Calls

Call 1

Inputs
(sin 1152921504606847/1152921504606846976)
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
1152921504606847/1152921504606846976
(+ 1152921504606847/1152921504606846976 x)
(sin (+ 1152921504606847/1152921504606846976 x))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))

Outputs
(sin 1152921504606847/1152921504606846976)
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(fma.f64 (fma.f64 (*.f64 #s(literal -1/2 binary64) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (.f64 #s(literal -1/2 binary64) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) x (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
1152921504606847/1152921504606846976
#s(literal 1152921504606847/1152921504606846976 binary64)
(+ 1152921504606847/1152921504606846976 x)
(-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64))
(sin (+ 1152921504606847/1152921504606846976 x))
(sin.f64 (-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64)))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))
(sin.f64 (-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64)))

rewrite210.0ms (7%)

Memory

52.7MiB live, 52.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
0	6	7
1	29	7
2	150	7
3	1202	7
0	8641	7

Stop Event

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

Counts

2 → 197

Calls

Call 1

Inputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))

Outputs
(.f64 (.f64 (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (pow.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)))
(.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (fma.f64 (/.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))))
(/.f64 (-.f64 (pow.f64 (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) #s(literal 3 binary64))) (fma.f64 (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (fma.f64 (.f64 (cos.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (cos.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (cos.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)))) (neg.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))) (neg.f64 (neg.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64))))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)))) (pow.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))
(/.f64 (fma.f64 (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 (+.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))))) #s(literal -4 binary64))
(/.f64 (fma.f64 (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) (/.f64 #s(literal 1 binary64) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x))) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)))))
(/.f64 (fma.f64 (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))) #s(literal 4 binary64))
(/.f64 (fma.f64 (neg.f64 (+.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))) #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x))) (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x))) #s(literal 2 binary64)))
(/.f64 (fma.f64 (+.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))) #s(literal 4 binary64))
(/.f64 (-.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64))) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(/.f64 (neg.f64 (*.f64 (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (neg.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (.f64 (.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (cos.f64 x))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))))
(/.f64 (*.f64 (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (-.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (cos.f64 x)))) (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))
(/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (.f64 (.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (cos.f64 x)))))
(/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 3 binary64))) (fma.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64))))
(neg.f64 (sin.f64 (/.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(neg.f64 (sin.f64 (-.f64 (/.f64 #s(literal 0 binary64) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))
(neg.f64 (sin.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(neg.f64 (sin.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))))
(fma.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (cos.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))))
(fma.f64 (+.f64 (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) #s(literal 1/2 binary64) (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)))
(fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)))
(fma.f64 (cos.f64 x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x) (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)))
(fma.f64 (sin.f64 x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)))
(sin.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))
(-.f64 (/.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))
(-.f64 (.f64 (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) (cos.f64 (/.f64 (.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))) (.f64 (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))) (sin.f64 (/.f64 (.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))))
(-.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) #s(literal 2 binary64)) (sin.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(-.f64 (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (cos.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))
(+.f64 (.f64 (sin.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (cos.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))) (.f64 (cos.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (sin.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))))
(+.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)))
(+.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 x)) (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (cos.f64 x)))
(.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x)))) (pow.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))) (pow.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))) (pow.f64 (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x)))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (pow.f64 (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x)))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (+.f64 (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (/.f64 (pow.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) #s(literal -1 binary64)) (pow.f64 (fma.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (*.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (+.f64 (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (/.f64 (pow.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64))) #s(literal -1 binary64)) (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))) #s(literal -1 binary64)) (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64))))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 2 binary64)))) (-.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x)))
(.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (fma.f64 #s(literal -1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))
(*.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (/.f64 (pow.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64))))
(.f64 (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x)) (pow.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64)))
(*.f64 (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))
(*.f64 (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)) (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))
(*.f64 #s(literal 1 binary64) (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))
(*.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64)))
(*.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))
(.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 (pow.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64))))
(*.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))
(pow.f64 (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (fma.f64 (/.f64 (.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (/.f64 (.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (/.f64 (*.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))))
(/.f64 (+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (pow.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))))
(/.f64 (neg.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))) (neg.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))) (neg.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (neg.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))) (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))))
(/.f64 (neg.f64 (.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))) (neg.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)))
(/.f64 (neg.f64 (*.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))) (neg.f64 (fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (neg.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x)))) (neg.f64 (neg.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))))
(/.f64 (neg.f64 (neg.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (neg.f64 (neg.f64 (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))) (neg.f64 (neg.f64 (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(/.f64 (neg.f64 (.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (*.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (neg.f64 (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) (.f64 x x))) (.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 x x)) #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 x x)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 x x)) #s(literal 1 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 x x)) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 x x)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 x x)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (-.f64 (.f64 (.f64 x x) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (-.f64 (.f64 (.f64 x x) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1 binary64))) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (-.f64 (neg.f64 (*.f64 x x)) #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)))
(/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64))) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64))) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)))
(/.f64 (.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (*.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 1 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(/.f64 (*.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))
(/.f64 (-.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) (fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))))
(/.f64 (neg.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64)))) (neg.f64 (.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x))) (neg.f64 (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (neg.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (neg.f64 (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64))) (neg.f64 (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))) (neg.f64 (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))) (neg.f64 (*.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) #s(literal 1 binary64)) (.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64)) (.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (*.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (-.f64 (.f64 (.f64 x x) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x)) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) (*.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (pow.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (*.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (-.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))) (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (*.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (*.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 x x) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64)))) (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64)))))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (*.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))))
(/.f64 (+.f64 #s(literal 3599131035634557780546117674403163612082065276469088976288830470778945944725179421604900290311212302638471529991523938660479640138595967/3599131035634557106248430806148785487095757694641533306480604458089470064537190296255232548883112685719936728506816716098566612844395439751206812144692131084107776 binary64) (pow.f64 x #s(literal 9 binary64))) (.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64)) (.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))))
(/.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64)))
(/.f64 (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
(/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))
(neg.f64 (/.f64 (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(neg.f64 (-.f64 (/.f64 #s(literal 0 binary64) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(neg.f64 (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(neg.f64 (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(fma.f64 (/.f64 x (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (*.f64 x x)))) (/.f64 x (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))) (/.f64 x (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (neg.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64)))))) (/.f64 x (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))))) (/.f64 x (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (/.f64 x (pow.f64 (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) #s(literal -1 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 (*.f64 x x) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (fma.f64 x x (fma.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 (*.f64 x x) (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (/.f64 x (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (/.f64 x (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 (*.f64 x x) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal -1 binary64)) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(-.f64 (/.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))) (/.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (fma.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))) (/.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))))))
(-.f64 (/.f64 (.f64 (.f64 x x) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (/.f64 (*.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (pow.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (/.f64 #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))))) (/.f64 #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64) (.f64 (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64))))))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)))) (/.f64 #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64) (.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64)))))
(-.f64 (/.f64 #s(literal 0 binary64) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 (fma.f64 x x #s(literal -1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)) (fma.f64 #s(literal -1 binary64) x #s(literal 1152921504606847/1152921504606846976 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))) (/.f64 (+.f64 #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64)))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 (/.f64 #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64) (fma.f64 x x #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64)))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 (/.f64 #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64) (+.f64 (fma.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (.f64 x x) #s(literal 1766847064778384476702869423868253512040751935974621093025281/1766847064778384329583297500742918515827483896875618958121606201292619776 binary64)) (pow.f64 x #s(literal 4 binary64)))) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))) (/.f64 (/.f64 #s(literal 2348542582773833521222661188955348715590501365099806366176284679201179871178711717110300929/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976 binary64) (-.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1532495540865888954062762723664254024941207423/1532495540865888858358347027150309183618739122183602176 binary64))) (fma.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64))))
(-.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)) (/.f64 (*.f64 x x) (-.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)))
(-.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (*.f64 x (/.f64 x (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 #s(literal 1329227995784915928244039281409/1329227995784915872903807060280344576 binary64) (-.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))))
(+.f64 #s(literal 1152921504606847/1152921504606846976 binary64) x)
(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))

eval54.0ms (1.8%)

Memory: -61.6MiB live, 20.3MiB allocated
Compiler: Compiled 4 863 to 793 computations (83.7% saved)

prune3.0ms (0.1%)

Memory

7.7MiB live, 7.7MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	202	2	204
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	202	3	205

Accuracy

100.0%

Counts

205 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
▶	99.3%	(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
▶	100.0%	#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Status

Accuracy

Program

✓

100.0%

(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

▶

99.3%

(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

▶

100.0%

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Compiler

Compiled 21 to 19 computations (9.5% saved)

simplify4.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))
cost-diff	0	(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
cost-diff	0	(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
cost-diff	0	(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
cost-diff	0	(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
cost-diff	0	#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	35
0	15	35
1	18	35
0	18	35

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
#s(literal 1152921504606847/1152921504606846976 binary64)
x
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))
#s(literal 1152921504606847/1152921504606846976 binary64)

Outputs
#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
#s(literal 1152921504606847/1152921504606846976 binary64)
x
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))
#s(literal 1152921504606847/1152921504606846976 binary64)

localize26.0ms (0.9%)

Memory

8.9MiB live, 8.9MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
accuracy	0.4609011596539238	#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))
accuracy	0.0	(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
accuracy	0.0	(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
accuracy	0.0	(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
accuracy	0.0	#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Samples

19.0ms

256×

valid

Compiler

Compiled 27 to 10 computations (63% saved)

Precisions

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

ival-sin: 5.0ms (42.7% of total)

ival-add: 3.0ms (25.6% of total)

ival-cos: 2.0ms (17.1% of total)

ival-mult: 2.0ms (17.1% of total)

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

6 → 13

Calls

Call 1

Inputs
#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))

Outputs
(sin 1152921504606847/1152921504606846976)
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
1152921504606847/1152921504606846976
(+ 1152921504606847/1152921504606846976 x)
(sin (+ 1152921504606847/1152921504606846976 x))
(* x (cos 1152921504606847/1152921504606846976))
(* x (+ (cos 1152921504606847/1152921504606846976) (/ (sin 1152921504606847/1152921504606846976) x)))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))
(* -1 (* x (+ (* -1 (cos 1152921504606847/1152921504606846976)) (* -1 (/ (sin 1152921504606847/1152921504606846976) x)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))
1.0ms	x	@	0	((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))
1.0ms	x	@	-inf	((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

Time

Variable

Point

Expression

1.0ms

inf

((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

1.0ms

((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

1.0ms

-inf

((sin (+ x 1152921504606847/1152921504606846976)) (+ (* (cos 1152921504606847/1152921504606846976) x) (sin 1152921504606847/1152921504606846976)) (cos 1152921504606847/1152921504606846976) (sin 1152921504606847/1152921504606846976) (sin (+ x 1152921504606847/1152921504606846976)) (+ x 1152921504606847/1152921504606846976))

simplify342.0ms (11.5%)

Memory

23.0MiB live, 23.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	78
1	118	78
2	292	78
3	923	78
4	2523	78
5	3983	78
6	5832	78
7	6522	78
8	6912	78
9	6940	78
10	6946	78
11	6948	78
12	7263	78
13	7794	78
14	7874	78
15	7890	78
16	7908	78
17	7928	78
18	7936	78
19	7956	78
0	8016	70

Stop Event

1×	iter limit
1×	node limit

Counts

13 → 12

Calls

Call 1

Inputs
(sin 1152921504606847/1152921504606846976)
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
1152921504606847/1152921504606846976
(+ 1152921504606847/1152921504606846976 x)
(sin (+ 1152921504606847/1152921504606846976 x))
(* x (cos 1152921504606847/1152921504606846976))
(* x (+ (cos 1152921504606847/1152921504606846976) (/ (sin 1152921504606847/1152921504606846976) x)))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))
(* -1 (* x (+ (* -1 (cos 1152921504606847/1152921504606846976)) (* -1 (/ (sin 1152921504606847/1152921504606846976) x)))))

Outputs
(sin 1152921504606847/1152921504606846976)
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(+ (sin 1152921504606847/1152921504606846976) (* x (cos 1152921504606847/1152921504606846976)))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* -1/2 (* x (sin 1152921504606847/1152921504606846976))))))
(fma.f64 (fma.f64 (*.f64 #s(literal -1/2 binary64) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(+ (sin 1152921504606847/1152921504606846976) (* x (+ (cos 1152921504606847/1152921504606846976) (* x (+ (* -1/2 (sin 1152921504606847/1152921504606846976)) (* -1/6 (* x (cos 1152921504606847/1152921504606846976))))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (.f64 #s(literal -1/2 binary64) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) x (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
1152921504606847/1152921504606846976
#s(literal 1152921504606847/1152921504606846976 binary64)
(+ 1152921504606847/1152921504606846976 x)
(-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64))
(sin (+ 1152921504606847/1152921504606846976 x))
(sin.f64 (-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64)))
(* x (cos 1152921504606847/1152921504606846976))
(*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)
(* x (+ (cos 1152921504606847/1152921504606846976) (/ (sin 1152921504606847/1152921504606846976) x)))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
x
(* x (+ 1 (* 1152921504606847/1152921504606846976 (/ 1 x))))
(-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64))
(sin (- 1152921504606847/1152921504606846976 (* -1 x)))
(sin.f64 (-.f64 x #s(literal -1152921504606847/1152921504606846976 binary64)))
(* -1 (* x (+ (* -1 (cos 1152921504606847/1152921504606846976)) (* -1 (/ (sin 1152921504606847/1152921504606846976) x)))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))

rewrite200.0ms (6.7%)

Memory

-28.4MiB live, 48.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32
0	15	32
1	50	32
2	308	32
3	2801	32
0	8767	32

Stop Event

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

Counts

6 → 100

Calls

Call 1

Inputs
#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))

Outputs
#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (+.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 9 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)))) (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))
(.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (-.f64 (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (pow.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) (pow.f64 (pow.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))
(.f64 (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64)) (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (pow.f64 (neg.f64 (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal -1 binary64)))
(.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (pow.f64 (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (/.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64))))
(.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64))))
(pow.f64 (/.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (-.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x))) (.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))) (pow.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 1 binary64))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (-.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1152921504606847/576460752303423488 binary64))))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (neg.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (neg.f64 (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal 1 binary64))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (/.f64 (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1152921504606847/576460752303423488 binary64))))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (.f64 (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (.f64 (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 1 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (/.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 #s(literal 1152921504606847/576460752303423488 binary64))))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))))
(/.f64 (-.f64 (neg.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (neg.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64))) (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))) (neg.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64))) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 9 binary64))) (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (*.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (-.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)))) (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (pow.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))))))
(fma.f64 (exp.f64 (log.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(fma.f64 (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(fma.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 3 binary64)))) (fma.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)))) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) x) (/.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (.f64 (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) x) (/.f64 x (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (/.f64 (.f64 x x) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (.f64 x x) (/.f64 (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (/.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (/.f64 (.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) x) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(fma.f64 x (exp.f64 (log.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(fma.f64 x (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(fma.f64 x (/.f64 (.f64 (pow.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) x) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(fma.f64 x (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(-.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x))) (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x))))
(-.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) #s(literal 2 binary64)) (-.f64 (.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 2 binary64)) (-.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))))
(+.f64 (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x) (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)))
(+.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) (*.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x))
(cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(pow.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) #s(literal 1 binary64))
(sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))
(exp.f64 (*.f64 (log.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))) #s(literal 1 binary64)))
(exp.f64 (log.f64 (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
#s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64))

eval13.0ms (0.4%)

Memory: 10.5MiB live, 10.5MiB allocated
Compiler: Compiled 3 586 to 432 computations (88% saved)

prune3.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	107	3	110

Accuracy

100.0%

Counts

110 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

✓

99.3%

(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

✓

100.0%

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Compiler

Compiled 42 to 32 computations (23.8% saved)

regimes4.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Outputs

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

Calls

3 calls:

1.0ms	x
1.0ms	(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))
1.0ms	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))`
100.0%	1	`(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes3.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Outputs
(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

Calls

3 calls:

1.0ms	x
1.0ms	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
1.0ms	(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))`
100.0%	1	`(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))`

Compiler

Compiled 8 to 8 computations (0% saved)

regimes3.0ms (0.1%)

Memory

3.5MiB live, 3.5MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

Outputs
(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

Calls

3 calls:

1.0ms	x
1.0ms	(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))
1.0ms	(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))

Results

Accuracy	Segments	Branch
99.3%	1	`x`
99.3%	1	`(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))`
99.3%	1	`(+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64))`

Compiler

Compiled 8 to 8 computations (0% saved)

simplify10.0ms (0.3%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	13	21

Stop Event

1×

saturated

Calls

Call 1

Inputs

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

Outputs

#s(approx (sin (+ x 1152921504606847/1152921504606846976)) (fma.f64 (cos.f64 #s(literal 1152921504606847/1152921504606846976 binary64)) x (sin.f64 #s(literal 1152921504606847/1152921504606846976 binary64))))

(sin.f64 (+.f64 x #s(literal 1152921504606847/1152921504606846976 binary64)))

(sin.f64 #s(approx (+ x 1152921504606847/1152921504606846976) #s(literal 1152921504606847/1152921504606846976 binary64)))

soundness807.0ms (27.1%)

Memory

2.7MiB live, 2.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	60
1	85	60
2	186	60
3	631	60
4	1873	60
5	3078	60
6	3792	60
7	4043	60
8	4075	60
9	4079	60
10	4079	60
11	4409	60
12	4888	60
13	4888	60
14	5016	60
15	5263	60
16	5293	60
17	5297	60
18	5297	60
0	5297	54

Stop Event

1×	done
1×	iter limit
1×	saturated

Compiler

Compiled 29 to 21 computations (27.6% saved)

preprocess19.0ms (0.6%)

Memory: 13.3MiB live, 13.3MiB allocated
Compiler: Compiled 50 to 34 computations (32% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample803.0ms (26.9%)

explain55.0ms (1.8%)

preprocess75.0ms (2.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize16.0ms (0.5%)

series1.0ms (0%)

simplify324.0ms (10.9%)

rewrite210.0ms (7%)

eval54.0ms (1.8%)

prune3.0ms (0.1%)

simplify4.0ms (0.1%)

localize26.0ms (0.9%)

series3.0ms (0.1%)

simplify342.0ms (11.5%)

rewrite200.0ms (6.7%)

eval13.0ms (0.4%)

prune3.0ms (0.1%)

regimes4.0ms (0.1%)

regimes3.0ms (0.1%)

regimes3.0ms (0.1%)

simplify10.0ms (0.3%)

soundness807.0ms (27.1%)

preprocess19.0ms (0.6%)

end0.0ms (0%)

Profiling