Metrics for (1-cos(x))* sin(x)*exp(x) + sin(0.1)

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 21 to 17 computations (19% saved)

sample1.4s (39.5%)

Memory

129.3MiB live, 692.2MiB allocated

Samples

879.0ms

8 256×

valid

Precisions

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

ival-sin: 260.0ms (39.1% of total)

ival-mult: 93.0ms (14% of total)

ival-cos: 73.0ms (11% of total)

ival-exp: 62.0ms (9.3% of total)

ival-add: 47.0ms (7.1% of total)

ival-sub: 46.0ms (6.9% of total)

ival-<=: 45.0ms (6.8% of total)

exact: 22.0ms (3.3% of total)

ival-and: 13.0ms (2% of total)

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

Bogosity

explain379.0ms (10.9%)

Memory

-153.7MiB live, 102.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
130	-	-	`(-.f64 #s(literal 1 binary64) (cos.f64 x))`
0	-	-	`(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))`
0	-	-	`(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))`
0	-	-	`(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))`
0	-	-	`#s(literal 3602879701896397/36028797018963968 binary64)`
0	-	-	`(cos.f64 x)`
0	-	-	`(exp.f64 x)`
0	-	-	`(sin.f64 x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 #s(literal 1 binary64) (cos.f64 x))`	cancellation	2	0

Confusion

	Predicted +	Predicted -
+	0	0
-	2	254

Precision

0.0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	2	0	254

Precision?

0.0

Recall?

0/0

Freqs

test

number	freq
0	254
1	2

Total Confusion?

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

Precision?

0.0

Recall?

0/0

Samples

244.0ms	382×	2	valid
25.0ms	130×	1	valid

Compiler

Compiled 107 to 37 computations (65.4% saved)

Precisions

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

ival-cos: 163.0ms (69.2% of total)

adjust: 24.0ms (10.2% of total)

ival-sin: 16.0ms (6.8% of total)

ival-mult: 14.0ms (5.9% of total)

ival-sub: 8.0ms (3.4% of total)

ival-add: 6.0ms (2.5% of total)

ival-exp: 4.0ms (1.7% of total)

ival-true: 1.0ms (0.4% of total)

exact: 1.0ms (0.4% of total)

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

preprocess82.0ms (2.4%)

Memory

8.2MiB live, 8.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	35	31
2	91	27
3	329	26
4	1069	26
5	1851	26
6	2694	26
7	2785	26
8	2789	26
9	2789	26
0	11	13
0	19	13
1	28	13
2	45	13
3	89	13
4	228	13
5	383	13
6	514	13
7	751	13
8	1009	13
9	1187	13
10	1290	13
11	1303	13
12	1303	13
0	1303	12

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Outputs

(+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(fma.f64 (exp.f64 x) (*.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify37.0ms (1.1%)

Memory

3.3MiB live, 3.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(-.f64 #s(literal 1 binary64) (cos.f64 x))
cost-diff	0	(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
cost-diff	0	(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
cost-diff	1	(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	45
0	19	45
1	28	45
2	45	45
3	89	45
4	228	45
5	383	45
6	514	45
7	751	45
8	1009	45
9	1187	45
10	1290	45
11	1303	45
12	1303	45
0	1303	44

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
#s(literal 1 binary64)
(cos.f64 x)
x
(sin.f64 x)
(exp.f64 x)
(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
#s(literal 3602879701896397/36028797018963968 binary64)

Outputs
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 x) (*.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(.f64 (exp.f64 x) (.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(*.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
#s(literal 1 binary64)
(cos.f64 x)
x
(sin.f64 x)
(exp.f64 x)
(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
#s(literal 3602879701896397/36028797018963968 binary64)

localize99.0ms (2.9%)

Memory

21.5MiB live, 21.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(cos.f64 x)
accuracy	0.00390625	(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
accuracy	0.0390625	(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
accuracy	29.49405972104929	(-.f64 #s(literal 1 binary64) (cos.f64 x))

Samples

74.0ms	191×	2	valid
12.0ms	65×	1	valid

Compiler

Compiled 47 to 13 computations (72.3% saved)

Precisions

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

ival-cos: 35.0ms (50.1% of total)

adjust: 12.0ms (17.2% of total)

ival-mult: 7.0ms (10% of total)

ival-sin: 7.0ms (10% of total)

ival-sub: 4.0ms (5.7% of total)

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

ival-exp: 2.0ms (2.9% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

5 → 24

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
(cos.f64 x)

Outputs
(sin 3602879701896397/36028797018963968)
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(* 1/2 (pow x 3))
(* (pow x 3) (+ 1/2 (* 1/2 x)))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x)))))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* x (+ 1/8 (* -1/24 x)))))))
(* (pow x 3) (+ 1/2 (* -1/8 (pow x 2))))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* 1/80 (pow x 2)) 1/8))))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/80 (* -17/24192 (pow x 2)))) 1/8))))
(* 1/2 (pow x 2))
(* (pow x 2) (+ 1/2 (* -1/24 (pow x 2))))
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* 1/720 (pow x 2)) 1/24))))
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/720 (* -1/40320 (pow x 2)))) 1/24))))
1
(+ 1 (* -1/2 (pow x 2)))
(+ 1 (* (pow x 2) (- (* 1/24 (pow x 2)) 1/2)))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/24 (* -1/720 (pow x 2)))) 1/2)))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))
(* (exp x) (* (sin x) (- 1 (cos x))))
(* (sin x) (- 1 (cos x)))
(- 1 (cos x))
(cos x)

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))
1.0ms	x	@	0	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))
1.0ms	x	@	inf	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))

Time

Variable

Point

Expression

1.0ms

-inf

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))

1.0ms

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))

1.0ms

inf

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (* (* (- 1 (cos x)) (sin x)) (exp x)) (* (- 1 (cos x)) (sin x)) (- 1 (cos x)) (cos x))

simplify168.0ms (4.8%)

Memory

36.1MiB live, 36.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	265
1	240	265
2	675	265
3	1717	265
4	3395	265
5	3873	265
6	4233	265
7	5010	265
8	6469	265
0	8159	234

Stop Event

1×	iter limit
1×	node limit

Counts

24 → 24

Calls

Call 1

Inputs
(sin 3602879701896397/36028797018963968)
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(* 1/2 (pow x 3))
(* (pow x 3) (+ 1/2 (* 1/2 x)))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x)))))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* x (+ 1/8 (* -1/24 x)))))))
(* (pow x 3) (+ 1/2 (* -1/8 (pow x 2))))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* 1/80 (pow x 2)) 1/8))))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/80 (* -17/24192 (pow x 2)))) 1/8))))
(* 1/2 (pow x 2))
(* (pow x 2) (+ 1/2 (* -1/24 (pow x 2))))
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* 1/720 (pow x 2)) 1/24))))
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/720 (* -1/40320 (pow x 2)))) 1/24))))
1
(+ 1 (* -1/2 (pow x 2)))
(+ 1 (* (pow x 2) (- (* 1/24 (pow x 2)) 1/2)))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/24 (* -1/720 (pow x 2)))) 1/2)))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))
(* (exp x) (* (sin x) (- 1 (cos x))))
(* (sin x) (- 1 (cos x)))
(- 1 (cos x))
(cos x)

Outputs
(sin 3602879701896397/36028797018963968)
(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/2 binary64) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/8 binary64) x #s(literal 1/2 binary64)) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(* 1/2 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/2 binary64))
(* (pow x 3) (+ 1/2 (* 1/2 x)))
(*.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x)))))
(*.f64 (fma.f64 (fma.f64 #s(literal 1/8 binary64) x #s(literal 1/2 binary64)) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (+ 1/2 (* x (+ 1/2 (* x (+ 1/8 (* -1/24 x)))))))
(*.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/24 binary64) x #s(literal 1/8 binary64)) x #s(literal 1/2 binary64)) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (+ 1/2 (* -1/8 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 5 binary64)) #s(literal -1/8 binary64) (*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/2 binary64)))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* 1/80 (pow x 2)) 1/8))))
(.f64 (fma.f64 (fma.f64 #s(literal 1/80 binary64) (.f64 x x) #s(literal -1/8 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/80 (* -17/24192 (pow x 2)))) 1/8))))
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -17/24192 binary64) (.f64 x x) #s(literal 1/80 binary64)) (.f64 x x) #s(literal -1/8 binary64)) (.f64 x x) #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(* 1/2 (pow x 2))
(.f64 (.f64 x x) #s(literal 1/2 binary64))
(* (pow x 2) (+ 1/2 (* -1/24 (pow x 2))))
(.f64 (.f64 (fma.f64 (*.f64 x x) #s(literal -1/24 binary64) #s(literal 1/2 binary64)) x) x)
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* 1/720 (pow x 2)) 1/24))))
(.f64 (.f64 (fma.f64 (fma.f64 #s(literal 1/720 binary64) (.f64 x x) #s(literal -1/24 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x) x)
(* (pow x 2) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/720 (* -1/40320 (pow x 2)))) 1/24))))
(.f64 (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/40320 binary64) (.f64 x x) #s(literal 1/720 binary64)) (.f64 x x) #s(literal -1/24 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x) x)
1
#s(literal 1 binary64)
(+ 1 (* -1/2 (pow x 2)))
(fma.f64 #s(literal -1/2 binary64) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (- (* 1/24 (pow x 2)) 1/2)))
(fma.f64 (fma.f64 #s(literal 1/24 binary64) (.f64 x x) #s(literal -1/2 binary64)) (.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/24 (* -1/720 (pow x 2)))) 1/2)))
(fma.f64 (fma.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 x x) #s(literal 1/24 binary64)) (.f64 x x) #s(literal -1/2 binary64)) (*.f64 x x) #s(literal 1 binary64))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (exp.f64 x)) (sin.f64 x) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(* (exp x) (* (sin x) (- 1 (cos x))))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(* (sin x) (- 1 (cos x)))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(- 1 (cos x))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
(cos x)
(cos.f64 x)

rewrite215.0ms (6.2%)

Memory

-20.8MiB live, 57.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
0	19	36
1	53	36
2	349	36
3	3988	36
0	9896	35

Stop Event

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

Counts

5 → 351

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
(cos.f64 x)

Outputs
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)))) (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))
(.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (-.f64 (.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))
(.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (pow.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) (-.f64 (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))))
(.f64 (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64)) (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (pow.f64 (neg.f64 (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal -1 binary64)))
(.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (/.f64 (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (.f64 (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64))))
(.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (/.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(.f64 (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64))))
(.f64 #s(literal 1 binary64) (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))
(pow.f64 (/.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)))) (neg.f64 (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)))) (neg.f64 (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64)))) (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64)))) (neg.f64 (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)))) (neg.f64 (+.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))))))
(/.f64 (neg.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))))) (neg.f64 (neg.f64 (neg.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)))))) (neg.f64 (neg.f64 (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64))) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))))) (neg.f64 (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal 2 binary64))))
(/.f64 (-.f64 (neg.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (neg.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64))) (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64)))) (neg.f64 (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64)))) (neg.f64 (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64)))) (neg.f64 (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))) (neg.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64)))) (neg.f64 (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64))) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 4 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64))))
(/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 9 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 9 binary64))) (.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 6 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))
(/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (-.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)))) (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))))))
(fma.f64 (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) x)) (exp.f64 (log.f64 (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 (log.f64 (sin.f64 x))) (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 (+.f64 (log.f64 (sin.f64 x)) x)) (exp.f64 (log1p.f64 (cos.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) (log.f64 (sin.f64 x)))) (exp.f64 x) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 (log1p.f64 (cos.f64 x))) (exp.f64 (+.f64 (log.f64 (sin.f64 x)) x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 2 binary64)))) (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (cos.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 3 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 3 binary64)))) (fma.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)))) (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (exp.f64 x)) (/.f64 (exp.f64 x) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (/.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 2 binary64))) (/.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (exp.f64 x)) (sin.f64 x) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 2 binary64)) (/.f64 (pow.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (/.f64 (.f64 (pow.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (exp.f64 x) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (/.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (.f64 (exp.f64 x) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (/.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (.f64 (exp.f64 x) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (/.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (exp.f64 x) (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) (log.f64 (sin.f64 x)))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (exp.f64 x) (/.f64 (.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (exp.f64 x)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(fma.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(fma.f64 (sin.f64 x) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(-.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))))) (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))))))
(-.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))))
(exp.f64 (.f64 (log.f64 (pow.f64 (fma.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))))
(+.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))))
(+.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(*.f64 (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) x)) (exp.f64 (log.f64 (sin.f64 x))))
(*.f64 (exp.f64 (log.f64 (sin.f64 x))) (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) x)))
(*.f64 (exp.f64 (+.f64 (log.f64 (sin.f64 x)) x)) (exp.f64 (log1p.f64 (cos.f64 x))))
(*.f64 (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) (log.f64 (sin.f64 x)))) (exp.f64 x))
(*.f64 (exp.f64 (log1p.f64 (cos.f64 x))) (exp.f64 (+.f64 (log.f64 (sin.f64 x)) x)))
(.f64 (/.f64 (.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(.f64 (/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 2 binary64)))) (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (cos.f64 x)))
(.f64 (/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(.f64 (.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (exp.f64 x)) (sin.f64 x))
(.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (.f64 (exp.f64 x) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (/.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (*.f64 (exp.f64 x) (sin.f64 x))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (/.f64 (.f64 (exp.f64 x) (sin.f64 x)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (*.f64 (exp.f64 x) (sin.f64 x))))
(*.f64 (exp.f64 x) (exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) (log.f64 (sin.f64 x)))))
(.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))
(.f64 (sin.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (exp.f64 x)))
(pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) #s(literal -1 binary64))
(pow.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))) #s(literal 1 binary64))
(/.f64 (neg.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (.f64 (exp.f64 x) (sin.f64 x)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (.f64 (exp.f64 x) (sin.f64 x)))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 (exp.f64 x) (pow.f64 (sin.f64 x) #s(literal 3 binary64)))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (neg.f64 (.f64 #s(literal 1 binary64) (.f64 (exp.f64 x) (sin.f64 x)))) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(/.f64 (neg.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64))) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (exp.f64 (+.f64 (log.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64))) x)) (exp.f64 (log1p.f64 (cos.f64 x))))
(/.f64 (exp.f64 (+.f64 (log1p.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (+.f64 (log.f64 (sin.f64 x)) x))) (exp.f64 (log1p.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (.f64 (exp.f64 x) (sin.f64 x))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (.f64 (exp.f64 x) (sin.f64 x))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (.f64 (exp.f64 x) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 (*.f64 (exp.f64 x) (pow.f64 (sin.f64 x) #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 (exp.f64 x) (sin.f64 x))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(/.f64 (neg.f64 (*.f64 (exp.f64 x) (sin.f64 x))) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(/.f64 (neg.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (neg.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))))))
(/.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (exp.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))))
(fma.f64 (.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (cos.f64 x)) (.f64 (*.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64)))
(fma.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64) (.f64 (*.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (cos.f64 x))))
(fma.f64 (neg.f64 (cos.f64 x)) (.f64 (exp.f64 x) (sin.f64 x)) (.f64 #s(literal 1 binary64) (*.f64 (exp.f64 x) (sin.f64 x))))
(fma.f64 (exp.f64 x) (sin.f64 x) (.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) (exp.f64 x)))
(fma.f64 (exp.f64 x) (sin.f64 x) (.f64 (exp.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))))
(fma.f64 (sin.f64 x) (exp.f64 x) (.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) (exp.f64 x)))
(fma.f64 (sin.f64 x) (exp.f64 x) (.f64 (exp.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))))
(fma.f64 #s(literal 1 binary64) (.f64 (exp.f64 x) (sin.f64 x)) (.f64 (neg.f64 (cos.f64 x)) (*.f64 (exp.f64 x) (sin.f64 x))))
(exp.f64 (*.f64 (+.f64 (log1p.f64 (cos.f64 x)) (+.f64 (log.f64 (sin.f64 x)) x)) #s(literal 1 binary64)))
(exp.f64 (+.f64 (log1p.f64 (cos.f64 x)) (+.f64 (log.f64 (sin.f64 x)) x)))
(+.f64 (.f64 (neg.f64 (cos.f64 x)) (.f64 (exp.f64 x) (sin.f64 x))) (.f64 #s(literal 1 binary64) (.f64 (exp.f64 x) (sin.f64 x))))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 (exp.f64 x) (sin.f64 x))) (.f64 (neg.f64 (cos.f64 x)) (.f64 (exp.f64 x) (sin.f64 x))))
(+.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (cos.f64 x))) (.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64)))
(+.f64 (.f64 (.f64 (exp.f64 x) (sin.f64 x)) #s(literal 1 binary64)) (.f64 (.f64 (exp.f64 x) (sin.f64 x)) (neg.f64 (cos.f64 x))))
(+.f64 (.f64 (exp.f64 x) (sin.f64 x)) (.f64 (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) (exp.f64 x)))
(+.f64 (.f64 (exp.f64 x) (sin.f64 x)) (.f64 (exp.f64 x) (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 2 binary64)))) (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (cos.f64 x)))
(.f64 (/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sin.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(*.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x))
(*.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (tan.f64 (/.f64 x #s(literal 2 binary64))))
(.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (sin.f64 x)))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (/.f64 (sin.f64 x) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (sin.f64 x)))
(*.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(pow.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x))) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (sin.f64 x) #s(literal 3 binary64))) #s(literal -1 binary64))
(/.f64 (neg.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (sin.f64 x))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (*.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (*.f64 (sin.f64 x) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (*.f64 (sin.f64 x) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (sin.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 x) (-.f64 (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (.f64 (sin.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (sin.f64 x)) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (*.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (*.f64 (sin.f64 x) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (*.f64 (sin.f64 x) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (sin.f64 x)) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64))) (-.f64 (sin.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))))
(/.f64 (+.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 3 binary64))) (fma.f64 (sin.f64 x) (sin.f64 x) (-.f64 (pow.f64 (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) #s(literal 2 binary64)) (.f64 (sin.f64 x) (.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))))))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (pow.f64 (sin.f64 x) #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (sin.f64 x) #s(literal 3 binary64)))))
(/.f64 (sin.f64 x) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (sin.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (sin.f64 x) #s(literal 3 binary64))))
(fma.f64 (*.f64 (sin.f64 x) #s(literal -1 binary64)) (cos.f64 x) (sin.f64 x))
(fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 x) (sin.f64 x)) (sin.f64 x))
(fma.f64 (neg.f64 (cos.f64 x)) (sin.f64 x) (sin.f64 x))
(fma.f64 (sin.f64 x) (neg.f64 (cos.f64 x)) (sin.f64 x))
(fma.f64 (sin.f64 x) #s(literal 1 binary64) (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)))
(fma.f64 #s(literal 1 binary64) (sin.f64 x) (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)))
(+.f64 (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)) (sin.f64 x))
(+.f64 (sin.f64 x) (*.f64 (neg.f64 (cos.f64 x)) (sin.f64 x)))
(*.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(*.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(*.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 2 binary64)))) (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (cos.f64 x)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(*.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(.f64 (/.f64 (sin.f64 x) (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)))
(*.f64 (/.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (/.f64 (sin.f64 x) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64))))
(*.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64)))
(*.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))
(*.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(*.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (pow.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 1 binary64))
(*.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x #s(literal 2 binary64))))
(.f64 (sin.f64 x) (.f64 (sin.f64 x) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(pow.f64 (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))) (neg.f64 (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))) (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))) (neg.f64 (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -2 binary64)) (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) #s(literal 2 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) #s(literal 2 binary64)))) (neg.f64 (+.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -3 binary64)) (.f64 (pow.f64 (cos.f64 x) #s(literal 6 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -3 binary64))))) (neg.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (cos.f64 x) #s(literal 9 binary64)) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))))) (neg.f64 (+.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (neg.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64))) #s(literal 1 binary64))) (neg.f64 (.f64 (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (cos.f64 x) #s(literal 2 binary64))))) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) (.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))) (neg.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))) (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64))) (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -2 binary64)) (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) #s(literal 2 binary64))) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) #s(literal 2 binary64))) (+.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -3 binary64)) (.f64 (pow.f64 (cos.f64 x) #s(literal 6 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -3 binary64)))) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (cos.f64 x) #s(literal 9 binary64)) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)))) (+.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64)))) (neg.f64 (*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64)))) (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64)))) (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64)))) (neg.f64 (*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (neg.f64 (-.f64 (neg.f64 (cos.f64 x)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (neg.f64 (-.f64 (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (neg.f64 (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (*.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 (-.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (cos.f64 x) #s(literal 2 binary64)))) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))) (.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64))) (*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (*.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (-.f64 (neg.f64 (cos.f64 x)) #s(literal 1 binary64)))
(/.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (-.f64 (cos.f64 x) #s(literal 1 binary64)))
(/.f64 (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(/.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 2 binary64))) #s(literal -1 binary64)) (-.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (cos.f64 x)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x)) #s(literal 1 binary64)) #s(literal 1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64)))) (fma.f64 (cos.f64 x) (cos.f64 x) #s(literal 1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64)))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 4 binary64))) (pow.f64 (cos.f64 x) #s(literal 2 binary64))) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (/.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 9 binary64)))) (+.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 6 binary64))) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (pow.f64 (sin.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) #s(literal -1 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 #s(literal -1 binary64) (cos.f64 x) #s(literal 1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (pow.f64 (sin.f64 x) #s(literal -2 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (neg.f64 (cos.f64 x)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 x) #s(literal 3 binary64))) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 (cos.f64 x) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (cos.f64 x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(fma.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(fma.f64 #s(literal 1 binary64) (neg.f64 (cos.f64 x)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (cos.f64 x) #s(literal 1 binary64))
(-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x))))
(-.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64))))
(-.f64 #s(literal 0 binary64) (-.f64 (cos.f64 x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (neg.f64 (cos.f64 x)))
(-.f64 #s(literal 1 binary64) (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (cos.f64 x)))))
(+.f64 (pow.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (cos.f64 x) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (cos.f64 x) #s(literal 1 binary64)))))
(+.f64 (neg.f64 (cos.f64 x)) #s(literal 1 binary64))
(+.f64 (cos.f64 x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (cos.f64 x))))
(+.f64 #s(literal 1 binary64) (neg.f64 (cos.f64 x)))
(+.f64 #s(literal 1 binary64) (cos.f64 x))
(*.f64 (cos.f64 x) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (cos.f64 x))
(pow.f64 (cos.f64 x) #s(literal 1 binary64))
(cos.f64 x)
(exp.f64 (*.f64 (log.f64 (cos.f64 x)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (cos.f64 x)))

eval50.0ms (1.4%)

Memory: -41.4MiB live, 34.8MiB allocated
Compiler: Compiled 11 643 to 1 445 computations (87.6% saved)

prune6.0ms (0.2%)

Memory

13.3MiB live, 13.3MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	374	1	375
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	375	1	376

Accuracy

100.0%

Counts

376 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify39.0ms (1.1%)

Memory

3.2MiB live, 3.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
cost-diff	0	#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

New

Metric

Score

Program

cost-diff

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

cost-diff

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
0	14	19
1	23	19
2	40	19
3	84	19
4	225	19
5	371	19
6	502	19
7	741	19
8	997	19
9	1164	19
10	1267	19
11	1280	19
12	1280	19
0	1280	18

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

#s(literal 3602879701896397/36028797018963968 binary64)

Outputs

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

#s(literal 3602879701896397/36028797018963968 binary64)

localize26.0ms (0.7%)

Memory

9.2MiB live, 9.2MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
accuracy	0.0	#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

New

Metric

Score

Program

accuracy

0.0

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

accuracy

0.0

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Samples

20.0ms

256×

valid

Compiler

Compiled 18 to 13 computations (27.8% saved)

Precisions

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

ival-sin: 4.0ms (29.7% of total)

ival-cos: 3.0ms (22.3% of total)

ival-exp: 2.0ms (14.8% of total)

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

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

ival-sub: 1.0ms (7.4% of total)

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

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

exact: 0.0ms (0% of total)

series2.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

2 → 5

Calls

Call 1

Inputs

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

Outputs
(sin 3602879701896397/36028797018963968)
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))
1.0ms	x	@	-inf	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))
0.0ms	x	@	0	((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))

Time

Variable

Point

Expression

1.0ms

inf

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))

1.0ms

-inf

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))

0.0ms

((+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin 3602879701896397/36028797018963968))

simplify460.0ms (13.2%)

Memory

19.1MiB live, 19.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	51
1	66	51
2	172	51
3	402	51
4	748	51
5	904	51
6	1162	51
7	1463	51
8	1731	51
9	1922	51
10	2385	51
11	3648	51
12	4158	51
13	4734	51
14	5030	51
15	5428	51
16	5582	51
17	5761	51
18	6029	51
19	6126	51
20	6127	51
21	6127	51
22	6127	51
23	6127	51
24	7665	51
25	7665	51
26	7665	51
27	7665	51
28	7665	51
29	7671	51
0	7671	44

Stop Event

1×	iter limit
1×	saturated

Counts

5 → 5

Calls

Call 1

Inputs
(sin 3602879701896397/36028797018963968)
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))

Outputs
(sin 3602879701896397/36028797018963968)
(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
(+ (sin 3602879701896397/36028797018963968) (* 1/2 (pow x 3)))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/2 binary64) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* 1/2 x))))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(+ (sin 3602879701896397/36028797018963968) (* (pow x 3) (+ 1/2 (* x (+ 1/2 (* 1/8 x))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/8 binary64) x #s(literal 1/2 binary64)) x #s(literal 1/2 binary64)) (pow.f64 x #s(literal 3 binary64)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(+ (sin 3602879701896397/36028797018963968) (* (exp x) (* (sin x) (- 1 (cos x)))))
(fma.f64 (*.f64 (sin.f64 x) (-.f64 #s(literal 1 binary64) (cos.f64 x))) (exp.f64 x) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

rewrite214.0ms (6.2%)

Memory

-41.2MiB live, 41.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
0	14	18
1	48	18
2	344	18
3	3976	18
0	9884	17

Stop Event

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

Counts

2 → 5

Calls

Call 1

Inputs

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))

Outputs
#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))
(pow.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)) #s(literal 1 binary64))
(sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))
(exp.f64 (*.f64 (log.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))) #s(literal 1 binary64)))
(exp.f64 (log.f64 (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64))))

eval1.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated
Compiler: Compiled 186 to 43 computations (76.9% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	9	0	9
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	9	1	10

Accuracy

100.0%

Counts

10 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Compiler

Compiled 45 to 36 computations (20% saved)

regimes3.0ms (0.1%)

Memory

3.5MiB live, 3.5MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

(+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Outputs
#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Calls

3 calls:

1.0ms

(+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

1.0ms

(*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(+.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))`
100.0%	1	`(.f64 (.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (sin.f64 x)) (exp.f64 x))`

Compiler

Compiled 24 to 20 computations (16.7% saved)

simplify111.0ms (3.2%)

Memory

12.2MiB live, 12.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	22	16
2	39	16
3	84	16
4	230	16
5	408	16
6	661	16
7	2373	16
8	4407	16
9	6955	16

Stop Event

1×	node limit

Calls

Call 1

Inputs
#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

Outputs
#s(approx (+ (* (* (- 1 (cos x)) (sin x)) (exp x)) (sin 3602879701896397/36028797018963968)) (sin.f64 #s(literal 3602879701896397/36028797018963968 binary64)))

soundness187.0ms (5.4%)

Memory

0.7MiB live, 0.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	265
1	240	265
2	675	265
3	1717	265
4	3395	265
5	3873	265
6	4233	265
7	5010	265
8	6469	265
0	8159	234

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 18 to 17 computations (5.6% saved)

preprocess14.0ms (0.4%)

Memory: 10.4MiB live, 10.4MiB allocated
Compiler: Compiled 58 to 50 computations (13.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.4s (39.5%)

explain379.0ms (10.9%)

preprocess82.0ms (2.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify37.0ms (1.1%)

localize99.0ms (2.9%)

series4.0ms (0.1%)

simplify168.0ms (4.8%)

rewrite215.0ms (6.2%)

eval50.0ms (1.4%)

prune6.0ms (0.2%)

simplify39.0ms (1.1%)

localize26.0ms (0.7%)

series2.0ms (0%)

simplify460.0ms (13.2%)

rewrite214.0ms (6.2%)

eval1.0ms (0%)

prune1.0ms (0%)

regimes3.0ms (0.1%)

simplify111.0ms (3.2%)

soundness187.0ms (5.4%)

preprocess14.0ms (0.4%)

end0.0ms (0%)

Profiling