Metrics for tanh(x)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 10 to 7 computations (30% saved)

sample621.0ms (28.9%)

Memory

55.1MiB live, 689.4MiB allocated

Samples

340.0ms

8 256×

valid

Precisions

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

ival-tanh: 54.0ms (45.4% of total)

ival-<=: 42.0ms (35.3% of total)

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

exact: 7.0ms (5.9% of total)

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

Bogosity

explain26.0ms (1.2%)

Memory

31.5MiB live, 31.5MiB allocated

FPErrors

Click to see full error table

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

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

13.0ms

512×

valid

Compiler

Compiled 12 to 10 computations (16.7% saved)

Precisions

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

ival-tanh: 3.0ms (90.8% of total)

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

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

preprocess345.0ms (16.1%)

Memory

-41.8MiB live, 200.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	29	7
2	95	7
3	222	7
4	491	7
5	1101	7
6	2833	7
7	3957	7
8	5281	7
9	6452	7
10	7220	7
11	7556	7
0	2	2
0	3	2
1	22	2
2	52	2
3	77	2
4	126	2
5	218	2
6	449	2
7	813	2
8	1482	2
9	4002	2
10	7297	2
0	8063	2

Stop Event

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

Calls

Call 1

Inputs
(tanh.f64 x)

Outputs
(tanh.f64 x)

Compiler

Compiled 2 to 2 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 2 to 2 computations (0% saved)

simplify163.0ms (7.6%)

Memory

-41.3MiB live, 112.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	3
0	3	3
1	22	3
2	52	3
3	77	3
4	126	3
5	218	3
6	449	3
7	813	3
8	1482	3
9	4002	3
10	7297	3
0	8063	3

Stop Event

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

Calls

Call 1

Inputs
(tanh.f64 x)
x

Outputs
(tanh.f64 x)
x

localize9.0ms (0.4%)

Memory

11.2MiB live, 11.2MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(tanh.f64 x)

Samples

6.0ms

256×

valid

Compiler

Compiled 5 to 4 computations (20% saved)

Precisions

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

ival-tanh: 1.0ms (62.5% of total)

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

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

series3.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB allocated

Counts

1 → 5

Calls

Call 1

Inputs
(tanh.f64 x)

Outputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((tanh x))
1.0ms	x	@	-inf	((tanh x))
1.0ms	x	@	0	((tanh x))

simplify671.0ms (31.2%)

Memory

12.1MiB live, 170.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	59
1	74	59
2	165	53
3	460	53
4	948	53
5	1540	53
6	1925	53
7	2684	53
8	3748	53
9	4846	53
10	5896	53
11	6875	53
12	6982	53
13	7007	53
14	7007	53
15	7078	53
16	7087	53
17	7087	53
18	7087	53
19	7585	53
20	7801	53
21	7801	53
22	7801	53
23	7801	53
24	7801	53
25	7801	53
26	7829	53
0	7829	47

Stop Event

1×	iter limit
1×	saturated

Counts

5 → 4

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))

Outputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 5 binary64)) #s(literal 2/15 binary64) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 7 binary64)) #s(literal -17/315 binary64) (fma.f64 (pow.f64 x #s(literal 5 binary64)) #s(literal 2/15 binary64) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))

rewrite175.0ms (8.2%)

Memory

-22.8MiB live, 126.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
0	3	2
1	22	2
2	122	2
3	997	2
0	9164	2

Stop Event

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

Counts

1 → 450

Calls

Call 1

Inputs
(tanh.f64 x)

Outputs
(tanh.f64 x)
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))))
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) #s(literal 1 binary64)) (*.f64 (sinh.f64 x) #s(literal 2 binary64)))
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (*.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)))
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (sinh.f64 x)) #s(literal 2 binary64))
(.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) #s(literal 2 binary64)) (sinh.f64 x))
(.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (expm1.f64 (*.f64 x #s(literal 4 binary64)))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(.f64 (.f64 #s(literal 1 binary64) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(.f64 (.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))))
(.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)) (neg.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(*.f64 (pow.f64 (pow.f64 (tanh.f64 x) #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 (pow.f64 (tanh.f64 x) #s(literal -1 binary64)) #s(literal -1/2 binary64)))
(.f64 (/.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal 1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)))
(.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)))
(.f64 (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))))) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64)) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) x)))))
(.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))))) (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) #s(literal 1 binary64)) (/.f64 (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))))) (/.f64 (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (/.f64 (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -2 binary64) x)))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(.f64 (/.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(.f64 (/.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (pow.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (/.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) #s(literal 1 binary64)) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 #s(literal -1 binary64) (*.f64 (sinh.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) (cosh.f64 x)) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal 2 binary64)))
(.f64 (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (cosh.f64 x)) (/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) #s(literal 2 binary64)))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) #s(literal 1 binary64)) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (.f64 (sinh.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (cosh.f64 x)) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) #s(literal 2 binary64)))
(.f64 (/.f64 (sinh.f64 x) #s(literal 1 binary64)) (/.f64 #s(literal 2 binary64) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (sinh.f64 x) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 #s(literal 2 binary64) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (sinh.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 #s(literal 2 binary64) (/.f64 #s(literal -1 binary64) (*.f64 (sinh.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (sinh.f64 x) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (/.f64 #s(literal 2 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 #s(literal 2 binary64) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 (sinh.f64 x) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 (sinh.f64 x) (/.f64 #s(literal -1 binary64) (*.f64 (sinh.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (/.f64 (sinh.f64 x) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (tanh.f64 x))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))))) (/.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))) (tanh.f64 x))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal 1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(.f64 (/.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) #s(literal 2 binary64)) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (cosh.f64 x)))
(.f64 (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (cosh.f64 x)) #s(literal 1/2 binary64))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) #s(literal 2 binary64)) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (cosh.f64 x)))
(*.f64 (/.f64 #s(literal 2 binary64) (cosh.f64 x)) (/.f64 (sinh.f64 x) #s(literal 2 binary64)))
(*.f64 (/.f64 (sinh.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal 2 binary64) (cosh.f64 x)))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))))) (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(*.f64 (/.f64 #s(literal 1 binary64) (cosh.f64 x)) (sinh.f64 x))
(.f64 #s(literal -1/2 binary64) (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (neg.f64 (cosh.f64 x))))
(.f64 (pow.f64 (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) #s(literal -1 binary64)) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x)) (/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))))
(.f64 (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (pow.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal 2 binary64)))
(.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (pow.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (*.f64 (sinh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)))
(.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64))) #s(literal -1 binary64)) (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64))))
(.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))))
(.f64 (.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (*.f64 (sinh.f64 x) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (cosh.f64 x)))
(.f64 #s(literal 1/2 binary64) (/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (cosh.f64 x)))
(.f64 #s(literal 1/2 binary64) (pow.f64 (/.f64 (cosh.f64 x) (.f64 (sinh.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (tanh.f64 x)) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(.f64 (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (tanh.f64 x)) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (tanh.f64 x)) (/.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (*.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))))))
(.f64 (-.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(*.f64 (-.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(.f64 (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x))) (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 (sinh.f64 x)) (cosh.f64 x)))
(*.f64 #s(literal -1 binary64) (/.f64 (sinh.f64 x) (neg.f64 (cosh.f64 x))))
(*.f64 #s(literal -1 binary64) (neg.f64 (tanh.f64 x)))
(.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (/.f64 #s(literal 1 binary64) (.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1 binary64) (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (cosh.f64 x) #s(literal 2 binary64)))))
(.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))))
(.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)))
(.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (/.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))))
(.f64 (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))))
(.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))))
(.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)))
(.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (expm1.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 (sinh.f64 x) #s(literal -2 binary64)) (neg.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(*.f64 (sinh.f64 x) (/.f64 #s(literal 1 binary64) (cosh.f64 x)))
(.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 #s(literal -2 binary64) (/.f64 (neg.f64 (sinh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (tanh.f64 x))
(.f64 #s(literal 2 binary64) (.f64 (sinh.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)))
(*.f64 (tanh.f64 x) #s(literal 1 binary64))
(pow.f64 (pow.f64 (tanh.f64 x) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (*.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))) (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))) (-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))) (-.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))))
(/.f64 (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (pow.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (-.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))))
(/.f64 (fma.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)) (pow.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 3 binary64))) (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (-.f64 (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (pow.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))) (.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (neg.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))) (neg.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(/.f64 (neg.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)))) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (neg.f64 (.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (tanh.f64 x))) (neg.f64 (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (tanh.f64 x))) (neg.f64 (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (tanh.f64 x))) (neg.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (cosh.f64 x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))))) (neg.f64 (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)))) (neg.f64 (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (neg.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)))) (neg.f64 (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (*.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64))) (*.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))) (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (-.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) #s(literal -1 binary64))) (.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))) (.f64 (*.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))) (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 x) #s(literal 1/2 binary64)) (cosh.f64 x)) (.f64 (cosh.f64 x) (.f64 (exp.f64 (neg.f64 x)) #s(literal 1/2 binary64)))) (*.f64 (cosh.f64 x) (cosh.f64 x)))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 x) #s(literal 1/2 binary64)) (.f64 (cosh.f64 x) #s(literal -2 binary64))) (.f64 (cosh.f64 x) (/.f64 #s(literal -1 binary64) (exp.f64 x)))) (.f64 (cosh.f64 x) (.f64 (cosh.f64 x) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 x) #s(literal 1/2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (.f64 (cosh.f64 x) #s(literal 1 binary64))) (.f64 (cosh.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (.f64 (exp.f64 x) #s(literal 1/2 binary64)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (.f64 (cosh.f64 x) (exp.f64 (neg.f64 x)))) (.f64 (cosh.f64 x) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (exp.f64 x)) (cosh.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (.f64 (exp.f64 (neg.f64 x)) #s(literal 1/2 binary64)))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (cosh.f64 x)))
(/.f64 (-.f64 (.f64 (neg.f64 (exp.f64 x)) (.f64 (cosh.f64 x) #s(literal -2 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (/.f64 #s(literal -1 binary64) (exp.f64 x)))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (*.f64 (cosh.f64 x) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (exp.f64 x)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) #s(literal 1 binary64))) (.f64 (*.f64 (cosh.f64 x) #s(literal -2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 (exp.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (exp.f64 (neg.f64 x)))) (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (cosh.f64 x)) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) #s(literal 1/2 binary64)))) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (cosh.f64 x)))
(/.f64 (-.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (/.f64 #s(literal -1 binary64) (exp.f64 x)))) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (.f64 (cosh.f64 x) #s(literal -2 binary64))))
(/.f64 (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) #s(literal 1 binary64))) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (exp.f64 (neg.f64 x)))) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (cosh.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (exp.f64 (neg.f64 x)) #s(literal 1/2 binary64)))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (cosh.f64 x)))
(/.f64 (-.f64 (.f64 (exp.f64 x) (.f64 (cosh.f64 x) #s(literal -2 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal -1 binary64) (exp.f64 x)))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (*.f64 (cosh.f64 x) #s(literal -2 binary64))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))
(/.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))
(/.f64 (neg.f64 (sinh.f64 x)) (neg.f64 (cosh.f64 x)))
(/.f64 (.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (tanh.f64 x)) (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(/.f64 (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (tanh.f64 x)) (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (tanh.f64 x)) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)))) (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64))))))
(/.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))) (neg.f64 (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (*.f64 (cosh.f64 x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))) (neg.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal -2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (neg.f64 (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) (neg.f64 (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) (neg.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(/.f64 (neg.f64 (expm1.f64 (*.f64 x #s(literal 4 binary64)))) (neg.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (neg.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x))) (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)))
(/.f64 (expm1.f64 (*.f64 x #s(literal 4 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (tanh.f64 x)))
(/.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 #s(literal -1 binary64) (*.f64 (sinh.f64 x) #s(literal -2 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (*.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (*.f64 (cosh.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))
(/.f64 (neg.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x))) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))))
(/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(/.f64 (.f64 (sinh.f64 x) #s(literal -2 binary64)) (.f64 (cosh.f64 x) #s(literal -2 binary64)))
(/.f64 (sinh.f64 x) (cosh.f64 x))
(/.f64 (neg.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))
(/.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (.f64 (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (tanh.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (.f64 (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (tanh.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (cosh.f64 x) #s(literal 2 binary64))) (tanh.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64))))) (-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))) (-.f64 (*.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))) (-.f64 (pow.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (*.f64 (cosh.f64 x) #s(literal 2 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)) (-.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64)) (expm1.f64 (*.f64 x #s(literal 4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 x) #s(literal -1 binary64)))
(/.f64 (.f64 (sinh.f64 x) #s(literal 2 binary64)) (.f64 (cosh.f64 x) #s(literal 2 binary64)))
(neg.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (tanh.f64 x) #s(literal -1 binary64))))
(neg.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (tanh.f64 x))))
(neg.f64 (neg.f64 (tanh.f64 x)))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (*.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (*.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (tanh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) #s(literal 1 binary64)) (*.f64 (sinh.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (*.f64 (sinh.f64 x) #s(literal 2 binary64)))) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (pow.f64 (exp.f64 x) #s(literal -3 binary64)))) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (sinh.f64 x)) #s(literal 2 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) #s(literal 2 binary64)) (sinh.f64 x) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) #s(literal 1 binary64)) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) #s(literal 1 binary64)) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (expm1.f64 (*.f64 x #s(literal 4 binary64)))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (fma.f64 (*.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (neg.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))))) (neg.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (neg.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))))) (.f64 (sinh.f64 x) #s(literal 2 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64))))) (.f64 (sinh.f64 x) #s(literal 2 binary64)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64))))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64))))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (neg.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (neg.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (neg.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (neg.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1/2 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (/.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (exp.f64 x) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (/.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (/.f64 (exp.f64 x) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (exp.f64 x) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (/.f64 (exp.f64 x) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (exp.f64 x) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 (exp.f64 x) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (exp.f64 x) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (exp.f64 x) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) #s(literal -1 binary64)) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)))) #s(literal -1 binary64)) (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (.f64 (/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) #s(literal 1 binary64) (.f64 (/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(fma.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)))))
(fma.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (expm1.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))))
(fma.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (expm1.f64 (.f64 #s(literal -2 binary64) x))))
(fma.f64 (/.f64 (exp.f64 x) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (.f64 (sinh.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (exp.f64 x) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (expm1.f64 (.f64 x #s(literal 4 binary64)))) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (neg.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (pow.f64 (expm1.f64 (.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (fma.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (+.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (expm1.f64 (*.f64 #s(literal 2 binary64) x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (+.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (expm1.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (/.f64 (exp.f64 (neg.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (.f64 (sinh.f64 x) #s(literal -2 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (/.f64 (exp.f64 (neg.f64 x)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (.f64 (sinh.f64 x) #s(literal 2 binary64)))) (.f64 (sinh.f64 x) #s(literal -2 binary64)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (/.f64 (exp.f64 (neg.f64 x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x)))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (/.f64 (exp.f64 (neg.f64 x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (pow.f64 (exp.f64 x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x)))) (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64)))) (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64))) (neg.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (*.f64 (exp.f64 x) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) (cosh.f64 x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (neg.f64 (exp.f64 x)) (neg.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal -1 binary64) (exp.f64 x)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (/.f64 #s(literal -1 binary64) (exp.f64 x)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 #s(literal -1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 #s(literal -1 binary64) (exp.f64 x)) (*.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (exp.f64 x)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (exp.f64 x) (*.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 #s(literal -1 binary64) (exp.f64 x))))
(fma.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))))
(fma.f64 (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (.f64 (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))))
(fma.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (pow.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))))
(fma.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64) (*.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64) (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64) (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))))
(fma.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 1 binary64) (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 (neg.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x))) (pow.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))))
(fma.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(fma.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(fma.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (exp.f64 (neg.f64 x)) (neg.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(fma.f64 (exp.f64 (neg.f64 x)) (neg.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(fma.f64 (exp.f64 x) (/.f64 (exp.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(fma.f64 (exp.f64 x) (/.f64 (exp.f64 x) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(fma.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(-.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64))) (*.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)))))
(-.f64 (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64))) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (*.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))
(-.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (.f64 (cosh.f64 x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (*.f64 (cosh.f64 x) #s(literal 2 binary64)))))
(-.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64)) (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))))) (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -3 binary64))) (+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (*.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))))))
(-.f64 (/.f64 (*.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64))) (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)) (fma.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(-.f64 (/.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))) (/.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -3 binary64)) (+.f64 (pow.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)))))))
(-.f64 (/.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))) (/.f64 (+.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))) (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))) (/.f64 (/.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (exp.f64 x)) (pow.f64 (*.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (pow.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))) (/.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (.f64 (.f64 (cosh.f64 x) #s(literal 2 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))) (/.f64 #s(literal 1 binary64) (.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64)))) (neg.f64 (tanh.f64 x)))
(-.f64 (/.f64 (pow.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) #s(literal -1 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -6 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (exp.f64 x) #s(literal -4 binary64))) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(-.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -2 binary64)))
(-.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64)))) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (/.f64 (pow.f64 (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) #s(literal -1 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(-.f64 (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (/.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(-.f64 (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 3 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (cosh.f64 x) #s(literal 2 binary64))) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -3 binary64)) (fma.f64 (.f64 (exp.f64 x) #s(literal 2 binary64)) (cosh.f64 x) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (cosh.f64 x) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (neg.f64 (tanh.f64 x)))
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 (cosh.f64 x) #s(literal -2 binary64))) (neg.f64 (tanh.f64 x)))
(-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64)) (/.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(-.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64))))
(-.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(-.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (neg.f64 (tanh.f64 x)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (tanh.f64 x) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))) (.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))))
(+.f64 (.f64 #s(literal 1 binary64) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))) (.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64))) (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64)))))
(+.f64 (.f64 (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (/.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))))
(+.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 4 binary64)) (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))) (.f64 (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64)))))
(+.f64 (.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))) (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))))
(+.f64 (.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))) (.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x))))
(+.f64 (.f64 (.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) #s(literal 1 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(+.f64 (.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) #s(literal 1 binary64)))
(+.f64 (.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) #s(literal 1 binary64)) (.f64 (/.f64 (expm1.f64 (.f64 #s(literal -2 binary64) x)) (fma.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -6 binary64)) #s(literal -1 binary64))) (-.f64 (pow.f64 (exp.f64 x) #s(literal -4 binary64)) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(+.f64 (.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)))) (.f64 (/.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) #s(literal 4 binary64))))
(+.f64 (.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) #s(literal 4 binary64))) (.f64 (/.f64 (expm1.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (pow.f64 (exp.f64 x) #s(literal 6 binary64)) #s(literal 1 binary64))) (neg.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) x)))))
(+.f64 (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (expm1.f64 (.f64 #s(literal -2 binary64) x))) (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (*.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) (expm1.f64 (.f64 #s(literal -2 binary64) x))) #s(literal -1 binary64)) (tanh.f64 x)) (expm1.f64 (*.f64 #s(literal -2 binary64) x))))
(+.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 #s(literal -1 binary64) (exp.f64 x))) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (exp.f64 x)))
(+.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (exp.f64 x)) (.f64 (/.f64 #s(literal 1/2 binary64) (cosh.f64 x)) (/.f64 #s(literal -1 binary64) (exp.f64 x))))
(+.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(+.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)) (.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) #s(literal 1 binary64)))
(+.f64 (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 1 binary64)) (.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (neg.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(+.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))))
(+.f64 (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) (.f64 (pow.f64 (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))) (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)))
(+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))))
(+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))))
(+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64))))))
(+.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 (exp.f64 x) #s(literal -2 binary64)) (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal -2 binary64)))))
(+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (*.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 (pow.f64 (exp.f64 x) #s(literal 2 binary64)) (fma.f64 (exp.f64 x) (exp.f64 x) #s(literal 1 binary64))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(+.f64 (*.f64 (exp.f64 x) (/.f64 #s(literal 1/2 binary64) (cosh.f64 x))) (pow.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (exp.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))

eval36.0ms (1.7%)

Memory: 49.6MiB live, 49.6MiB allocated
Compiler: Compiled 12 788 to 1 077 computations (91.6% saved)

prune76.0ms (3.6%)

Memory

-28.7MiB live, 50.9MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	454	0	454
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	454	1	455

Accuracy

100.0%

Counts

455 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(tanh.f64 x)

Compiler

Compiled 4 to 4 computations (0% saved)

simplify10.0ms (0.5%)

Memory

10.4MiB live, 10.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2

Stop Event

1×

saturated

Calls

Call 1

Inputs
(tanh.f64 x)

Outputs
(tanh.f64 x)

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

done

Compiler

Compiled 2 to 2 computations (0% saved)

preprocess12.0ms (0.6%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample621.0ms (28.9%)

explain26.0ms (1.2%)

preprocess345.0ms (16.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify163.0ms (7.6%)

localize9.0ms (0.4%)

series3.0ms (0.1%)

simplify671.0ms (31.2%)

rewrite175.0ms (8.2%)

eval36.0ms (1.7%)

prune76.0ms (3.6%)

simplify10.0ms (0.5%)

soundness0.0ms (0%)

preprocess12.0ms (0.6%)

end0.0ms (0%)

Profiling