Metrics for Kahan p13 Example 1

start0.0ms (0%)

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

analyze2.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 37 to 12 computations (67.6% saved)

sample1.5s (38.9%)

Memory

-79.5MiB live, 1 537.6MiB allocated; 1.3s collecting garbage

Samples

1.2s

8 256×

valid

Precisions

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

ival-add!: 716.0ms (81% of total)

ival-mult!: 89.0ms (10.1% of total)

ival-div!: 77.0ms (8.7% of total)

adjust: 2.0ms (0.2% of total)

Bogosity

explain134.0ms (3.5%)

Memory

16.2MiB live, 255.2MiB allocated; 15ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))`
-	-	`t`
-	-	`#s(literal 1 binary64)`
-	-	`(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))`
-	-	`(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))`
-	-	`(+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))`
-	-	`#s(literal 2 binary64)`
-	-	`(+.f64 #s(literal 1 binary64) t)`
-	-	`(*.f64 #s(literal 2 binary64) t)`
-	-	`(+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))`

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

29.0ms

512×

valid

Compiler

Compiled 239 to 34 computations (85.8% saved)

Precisions

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

ival-add!: 4.0ms (30.9% of total)

ival-mult!: 4.0ms (30.9% of total)

ival-div!: 4.0ms (30.9% of total)

adjust: 0.0ms (0% of total)

preprocess26.0ms (0.7%)

Memory

-38.5MiB live, 14.1MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	122
1	69	110
2	270	101
3	1508	93

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Status

Accuracy

Program

▶

100.0%

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Compiler

Compiled 70 to 20 computations (71.4% saved)

series6.0ms (0.2%)

Memory

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

Counts

10 → 56

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))
#s(literal 1 binary64)
(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))
(*.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
t
(+.f64 #s(literal 1 binary64) t)
(+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))

Outputs
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 1/2))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (pow t 2))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* -2 t))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* t (- t 2)))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 1))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* 4 (pow t 2)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* 2 t)))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* -2 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* 2 t) 2))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* t (+ 2 (* -2 t))) 2))))))
#s(approx (* 2 t) #s(hole binary64 (* 2 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 1))
#s(approx (+ 1 t) #s(hole binary64 (+ 1 t)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 2))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* 4 (pow t 2)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 5/6))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- 5/6 (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- (+ 5/6 (/ 1/27 (pow t 2))) (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- (+ 5/6 (+ (/ 1/27 (pow t 2)) (* 4/81 (/ 1 (pow t 3))))) (* 2/9 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 5))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 5 (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 4))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 2))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- 2 (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))))))
#s(approx (+ 1 t) #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 6))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 6 (* 8 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 5/6 (* -1 (/ (- 2/9 (* 1/27 (/ 1 t))) t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 5/6 (* -1 (/ (+ 2/9 (* -1 (/ (+ 1/27 (* 4/81 (/ 1 t))) t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t))) t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 6 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 6 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	t	@	-inf	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
2.0ms	t	@	inf	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1.0ms	t	@	0	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

Time

Variable

Point

Expression

2.0ms

-inf

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

2.0ms

inf

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

1.0ms

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

rewrite180.0ms (4.7%)

Memory

48.9MiB live, 364.5MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	206	1646
0	217	1241
1	1282	1239
0	8193	1166

Stop Event

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

Counts

66 → 162

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))
#s(literal 1 binary64)
(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))
(*.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
t
(+.f64 #s(literal 1 binary64) t)
(+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 1/2))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (pow t 2))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* -2 t))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* t (- t 2)))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 1))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* 4 (pow t 2)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* 2 t)))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* -2 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* 2 t) 2))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* t (+ 2 (* -2 t))) 2))))))
#s(approx (* 2 t) #s(hole binary64 (* 2 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 1))
#s(approx (+ 1 t) #s(hole binary64 (+ 1 t)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 2))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* 4 (pow t 2)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 5/6))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- 5/6 (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- (+ 5/6 (/ 1/27 (pow t 2))) (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (- (+ 5/6 (+ (/ 1/27 (pow t 2)) (* 4/81 (/ 1 (pow t 3))))) (* 2/9 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 5))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 5 (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 4))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 2))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- 2 (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))))))
#s(approx (+ 1 t) #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 6))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 6 (* 8 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 5/6 (* -1 (/ (- 2/9 (* 1/27 (/ 1 t))) t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(hole binary64 (+ 5/6 (* -1 (/ (+ 2/9 (* -1 (/ (+ 1/27 (* 4/81 (/ 1 t))) t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t))) t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 6 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 6 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))

Outputs
(/.f64 (-.f64 (.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64))) (.f64 (/.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))) (/.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))))) (-.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal 3 binary64))) (+.f64 (.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64))) (-.f64 (.f64 (/.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))) (/.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))) (.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (/.f64 (fma.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))))
(/.f64 (fma.f64 #s(literal 1 binary64) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) (.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))) (*.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (/.f64 (fma.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (/.f64 (fma.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))
(-.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (/.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))))
(+.f64 (/.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))) (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))) (+.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 1 binary64)) (-.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64)) (fma.f64 (neg.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (neg.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))))) (neg.f64 (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64))))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (/.f64 (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))))))
(/.f64 (fma.f64 (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64) (.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (*.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))) #s(literal 2 binary64) (.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (*.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))) (*.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64))))
(/.f64 (fma.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))))) (*.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64))))
(/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (/.f64 (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))))))
(fma.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (fabs.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 1 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))) (/.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (/.f64 (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))))) (/.f64 (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (/.f64 (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))))))
(+.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
#s(literal 1 binary64)
(.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(.f64 (neg.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(.f64 (fabs.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (fabs.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(pow.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 2 binary64))
(/.f64 (neg.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64)))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (neg.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 (neg.f64 (.f64 t #s(literal 2 binary64))) (.f64 t #s(literal 2 binary64))) (.f64 (neg.f64 (+.f64 t #s(literal 1 binary64))) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (neg.f64 (.f64 t #s(literal 2 binary64)))) (.f64 (+.f64 t #s(literal 1 binary64)) (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal -2 binary64)))
(fabs.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (*.f64 t #s(literal 2 binary64)))) (neg.f64 (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (neg.f64 (*.f64 t #s(literal 2 binary64))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (*.f64 t #s(literal 2 binary64)) (+.f64 t #s(literal 1 binary64)))
(+.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) (/.f64 t (+.f64 t #s(literal 1 binary64))))
(*.f64 t #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) t)
(/.f64 (-.f64 (.f64 t t) (.f64 t t)) (-.f64 t t))
(/.f64 (fma.f64 (.f64 t t) t (.f64 (.f64 t t) t)) (fma.f64 (fabs.f64 t) (fabs.f64 t) (-.f64 (.f64 t t) (*.f64 t t))))
(+.f64 t t)
#s(literal 2 binary64)
t
(/.f64 (-.f64 (*.f64 t t) #s(literal 1 binary64)) (-.f64 t #s(literal 1 binary64)))
(/.f64 (fma.f64 (pow.f64 t #s(literal 3/2 binary64)) (pow.f64 t #s(literal 3/2 binary64)) #s(literal 1 binary64)) (fma.f64 t t (-.f64 #s(literal 1 binary64) (*.f64 t #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t))) (neg.f64 (-.f64 #s(literal 1 binary64) t)))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t)) (-.f64 #s(literal 1 binary64) t))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 t t) (-.f64 #s(literal 1 binary64) t)))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))) (/.f64 (.f64 (.f64 t t) t) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(+.f64 t #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) t)
(/.f64 (-.f64 #s(literal 4 binary64) (.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))) (+.f64 #s(literal 2 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (fma.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 8 binary64)) (fma.f64 (neg.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (neg.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (-.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))))) (neg.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 8 binary64) (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64))))) (neg.f64 (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))))))
(/.f64 (-.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))) (-.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))))
(/.f64 (+.f64 #s(literal 8 binary64) (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)))) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))))))
(fma.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 2 binary64))
(fma.f64 (neg.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 2 binary64))
(fma.f64 (fabs.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (fabs.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 2 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 2 binary64))
(fma.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(fma.f64 (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64))
(fma.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (-.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))) (/.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))))
(-.f64 #s(literal 2 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 8 binary64) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))))) (/.f64 (/.f64 (pow.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))))))
(+.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(literal 1/2 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (fma.f64 t t #s(literal 1/2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (fma.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 1 binary64)) (*.f64 t t) #s(literal 1/2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (fma.f64 (fma.f64 (-.f64 t #s(literal 2 binary64)) t #s(literal 1 binary64)) (*.f64 t t) #s(literal 1/2 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 1 binary64))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 #s(literal 4 binary64) (*.f64 t t) #s(literal 1 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (*.f64 t t) #s(literal 1 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (.f64 t t) #s(literal 1 binary64)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (.f64 #s(literal 4 binary64) (.f64 t t)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (.f64 t t)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -16 binary64) t #s(literal 12 binary64)) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (/ (* 2 t) (+ 1 t)) (*.f64 t #s(literal 2 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (*.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 2 binary64)) t))
#s(approx (/ (* 2 t) (+ 1 t)) (.f64 (fma.f64 (-.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) t #s(literal 2 binary64)) t))
#s(approx (/ (* 2 t) (+ 1 t)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 2 binary64)) t) #s(literal 2 binary64)) t #s(literal 2 binary64)) t))
#s(approx (* 2 t) (*.f64 t #s(literal 2 binary64)))
#s(approx t t)
#s(approx (+ 1 t) #s(literal 1 binary64))
#s(approx (+ 1 t) (+.f64 t #s(literal 1 binary64)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 2 binary64))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 #s(literal 4 binary64) (*.f64 t t) #s(literal 2 binary64)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (*.f64 t t) #s(literal 2 binary64)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (.f64 t t) #s(literal 2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) #s(literal 5/6 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (-.f64 #s(literal 5/6 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (-.f64 (+.f64 (/.f64 #s(literal 1/27 binary64) (.f64 t t)) #s(literal 5/6 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (-.f64 (+.f64 (fma.f64 (pow.f64 (.f64 (.f64 t t) t) #s(literal -1 binary64)) #s(literal 4/81 binary64) (/.f64 #s(literal 1/27 binary64) (.f64 t t))) #s(literal 5/6 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 5 binary64))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 #s(literal 5 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 5 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 5 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 #s(literal 16 binary64) (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(literal 4 binary64))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 #s(literal 16 binary64) (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(literal 2 binary64))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 (fma.f64 (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 (-.f64 (fma.f64 (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (+ 1 t) t)
#s(approx (+ 1 t) (*.f64 (+.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 1 binary64)) t))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 6 binary64))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 #s(literal 6 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (+.f64 #s(literal 6 binary64) (/.f64 #s(literal 12 binary64) (.f64 t t))) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (-.f64 (+.f64 #s(literal 6 binary64) (/.f64 #s(literal 12 binary64) (.f64 t t))) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 #s(literal 16 binary64) (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (fma.f64 (/.f64 (-.f64 #s(literal 2/9 binary64) (*.f64 #s(literal 1/27 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 5/6 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (fma.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 #s(literal 4/81 binary64) (pow.f64 t #s(literal -1 binary64)) #s(literal 1/27 binary64)) t) #s(literal -1 binary64) #s(literal 2/9 binary64)) t) #s(literal -1 binary64) #s(literal 5/6 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 5 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 #s(literal 16 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 5 binary64)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 #s(literal 16 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)) t) #s(literal -1 binary64) #s(literal 2 binary64)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 6 binary64)))
#s(approx (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 #s(literal 16 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 6 binary64)))

eval42.0ms (1.1%)

Memory: -13.4MiB live, 97.3MiB allocated; 6ms collecting garbage
Compiler: Compiled 13 975 to 1 009 computations (92.8% saved)

prune605.0ms (15.7%)

Memory

-0.1MiB live, 1 051.0MiB allocated; 52ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	322	1	323
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	322	2	324

Accuracy

100.0%

Counts

324 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))
✓	100.0%	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Status

Accuracy

Program

▶

100.0%

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))

✓

100.0%

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Compiler

Compiled 86 to 28 computations (67.4% saved)

series9.0ms (0.2%)

Memory

-40.1MiB live, 13.6MiB allocated; 2ms collecting garbage

Counts

18 → 120

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))
#s(literal 1 binary64)
(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))
(*.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
t
(+.f64 #s(literal 1 binary64) t)
(/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64)))
(-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64))
(.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
(*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
#s(literal 4 binary64)
(pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 t (+.f64 t #s(literal 1 binary64)))
(+.f64 t #s(literal 1 binary64))
(-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))

Outputs
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 1/2))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (pow t 2))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* -2 t))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* t (- t 2)))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 1))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* 4 (pow t 2)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* 2 t)))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* -2 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* 2 t) 2))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* t (+ 2 (* -2 t))) 2))))))
#s(approx (* 2 t) #s(hole binary64 (* 2 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 1))
#s(approx (+ 1 t) #s(hole binary64 (+ 1 t)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 2))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* 4 (pow t 2)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 -4))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* 16 (pow t 4)) 4)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* (pow t 4) (+ 16 (* -64 t))) 4)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* (pow t 4) (+ 16 (* t (- (* 160 t) 64)))) 4)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* 16 (pow t 4))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* -64 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* t (- (* 160 t) 64))))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* t (- (* t (+ 160 (* -320 t))) 64))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (pow t 2)))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* -2 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* t (- (* 3 t) 2))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* t (- (* t (+ 3 (* -4 t))) 2))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 t))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* -1 t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* t (- t 1))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* t (- (* t (+ 1 (* -1 t))) 1))))))
#s(approx (+ t 1) #s(hole binary64 1))
#s(approx (+ t 1) #s(hole binary64 (+ 1 t)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 -2))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* 4 (pow t 2)) 2)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* (pow t 2) (+ 4 (* -8 t))) 2)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))) 2)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 5/6))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- 5/6 (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- (+ 5/6 (/ 1/27 (pow t 2))) (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- (+ 5/6 (+ (/ 1/27 (pow t 2)) (* 4/81 (/ 1 (pow t 3))))) (* 2/9 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 5))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 5 (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 4))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 2))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- 2 (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))))))
#s(approx (+ 1 t) #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 6))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- 6 (* 8 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 12))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- 12 (* 64 (/ 1 t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (+ 12 (/ 160 (pow t 2))) (* 64 (/ 1 t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (+ 12 (/ 160 (pow t 2))) (+ (* 64 (/ 1 t)) (* 320 (/ 1 (pow t 3)))))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 16))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- 16 (* 64 (/ 1 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- (+ 16 (/ 160 (pow t 2))) (* 64 (/ 1 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- (+ 16 (/ 160 (pow t 2))) (+ (* 64 (/ 1 t)) (* 320 (/ 1 (pow t 3)))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 4))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 1))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- 1 (* 2 (/ 1 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- (+ 1 (/ 3 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- (+ 1 (/ 3 (pow t 2))) (+ (* 2 (/ 1 t)) (* 4 (/ 1 (pow t 3)))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 1))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- 1 (/ 1 t))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- (+ 1 (/ 1 (pow t 2))) (/ 1 t))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- (+ 1 (/ 1 (pow t 2))) (+ (/ 1 t) (/ 1 (pow t 3))))))
#s(approx (+ t 1) #s(hole binary64 t))
#s(approx (+ t 1) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 2))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- 2 (* 8 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (+ 2 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (+ 2 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 5/6 (* -1 (/ (- 2/9 (* 1/27 (/ 1 t))) t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 5/6 (* -1 (/ (+ 2/9 (* -1 (/ (+ 1/27 (* 4/81 (/ 1 t))) t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t))) t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 6 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 6 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (+ 12 (* -1 (/ (- 64 (* 160 (/ 1 t))) t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (+ 12 (* -1 (/ (+ 64 (* -1 (/ (- 160 (* 320 (/ 1 t))) t))) t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (+ 16 (* -1 (/ (- 64 (* 160 (/ 1 t))) t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (+ 16 (* -1 (/ (+ 64 (* -1 (/ (- 160 (* 320 (/ 1 t))) t))) t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (+ 1 (* -1 (/ (- 2 (* 3 (/ 1 t))) t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (+ 1 (* -1 (/ (+ 2 (* -1 (/ (- 3 (* 4 (/ 1 t))) t))) t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (+ 1 (* -1 (/ (- 1 (/ 1 t)) t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (+ 1 (* -1 (/ (+ 1 (* -1 (/ (- 1 (/ 1 t)) t))) t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (+ 2 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (+ 2 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))

Calls

3 calls:

Time	Variable		Point	Expression
4.0ms	t	@	-inf	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))
2.0ms	t	@	inf	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))
1.0ms	t	@	0	((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))

Time

Variable

Point

Expression

4.0ms

-inf

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))

2.0ms

inf

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))

1.0ms

((/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)) (* 2 t) 2 t (+ 1 t) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (* 4 (pow (/ t (+ t 1)) 2)) 4 (pow (/ t (+ t 1)) 2) (/ t (+ t 1)) (+ t 1) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))

rewrite208.0ms (5.4%)

Memory

44.8MiB live, 276.3MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	401	3544
0	425	2833
1	2414	2741
0	11133	2666

Stop Event

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

Counts

138 → 321

Calls

Call 1

Inputs
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))))
#s(literal 1 binary64)
(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))
(*.f64 #s(literal 2 binary64) t)
#s(literal 2 binary64)
t
(+.f64 #s(literal 1 binary64) t)
(/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64)))
(-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64))
(.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
(*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
#s(literal 4 binary64)
(pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 t (+.f64 t #s(literal 1 binary64)))
(+.f64 t #s(literal 1 binary64))
(-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 1/2))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (pow t 2))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* -2 t))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 1/2 (* (pow t 2) (+ 1 (* t (- t 2)))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 1))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* 4 (pow t 2)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 1 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* 2 t)))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* -2 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* 2 t) 2))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (* t (+ 2 (* t (- (* t (+ 2 (* -2 t))) 2))))))
#s(approx (* 2 t) #s(hole binary64 (* 2 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 1))
#s(approx (+ 1 t) #s(hole binary64 (+ 1 t)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 2))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* 4 (pow t 2)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* -8 t))))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 2 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 -4))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* 16 (pow t 4)) 4)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* (pow t 4) (+ 16 (* -64 t))) 4)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (* (pow t 4) (+ 16 (* t (- (* 160 t) 64)))) 4)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* 16 (pow t 4))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* -64 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* t (- (* 160 t) 64))))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (* (pow t 4) (+ 16 (* t (- (* t (+ 160 (* -320 t))) 64))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* 4 (pow t 2))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* -8 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* 12 t) 8))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (* (pow t 2) (+ 4 (* t (- (* t (+ 12 (* -16 t))) 8))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (pow t 2)))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* -2 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* t (- (* 3 t) 2))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (* (pow t 2) (+ 1 (* t (- (* t (+ 3 (* -4 t))) 2))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 t))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* -1 t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* t (- t 1))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (* t (+ 1 (* t (- (* t (+ 1 (* -1 t))) 1))))))
#s(approx (+ t 1) #s(hole binary64 1))
#s(approx (+ t 1) #s(hole binary64 (+ 1 t)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 -2))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* 4 (pow t 2)) 2)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* (pow t 2) (+ 4 (* -8 t))) 2)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (* (pow t 2) (+ 4 (* t (- (* 12 t) 8)))) 2)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 5/6))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- 5/6 (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- (+ 5/6 (/ 1/27 (pow t 2))) (* 2/9 (/ 1 t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (- (+ 5/6 (+ (/ 1/27 (pow t 2)) (* 4/81 (/ 1 (pow t 3))))) (* 2/9 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 5))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- 5 (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (- (+ 5 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 4))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 2))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- 2 (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (- (+ 2 (/ 2 (pow t 2))) (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))))))
#s(approx (+ 1 t) #s(hole binary64 t))
#s(approx (+ 1 t) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 6))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- 6 (* 8 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (- (+ 6 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 12))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- 12 (* 64 (/ 1 t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (+ 12 (/ 160 (pow t 2))) (* 64 (/ 1 t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (- (+ 12 (/ 160 (pow t 2))) (+ (* 64 (/ 1 t)) (* 320 (/ 1 (pow t 3)))))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 16))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- 16 (* 64 (/ 1 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- (+ 16 (/ 160 (pow t 2))) (* 64 (/ 1 t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (- (+ 16 (/ 160 (pow t 2))) (+ (* 64 (/ 1 t)) (* 320 (/ 1 (pow t 3)))))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 4))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- 4 (* 8 (/ 1 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (- (+ 4 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 1))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- 1 (* 2 (/ 1 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- (+ 1 (/ 3 (pow t 2))) (* 2 (/ 1 t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (- (+ 1 (/ 3 (pow t 2))) (+ (* 2 (/ 1 t)) (* 4 (/ 1 (pow t 3)))))))
#s(approx (/ t (+ t 1)) #s(hole binary64 1))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- 1 (/ 1 t))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- (+ 1 (/ 1 (pow t 2))) (/ 1 t))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (- (+ 1 (/ 1 (pow t 2))) (+ (/ 1 t) (/ 1 (pow t 3))))))
#s(approx (+ t 1) #s(hole binary64 t))
#s(approx (+ t 1) #s(hole binary64 (* t (+ 1 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 2))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- 2 (* 8 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (+ 2 (/ 12 (pow t 2))) (* 8 (/ 1 t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (- (+ 2 (/ 12 (pow t 2))) (+ (* 8 (/ 1 t)) (* 16 (/ 1 (pow t 3)))))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 5/6 (* -1 (/ (- 2/9 (* 1/27 (/ 1 t))) t)))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(hole binary64 (+ 5/6 (* -1 (/ (+ 2/9 (* -1 (/ (+ 1/27 (* 4/81 (/ 1 t))) t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(hole binary64 (+ 5 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t)))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(hole binary64 (+ 2 (* -1 (/ (+ 2 (* -1 (/ (- 2 (* 2 (/ 1 t))) t))) t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 6 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(hole binary64 (+ 6 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (+ 12 (* -1 (/ (- 64 (* 160 (/ 1 t))) t)))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(hole binary64 (+ 12 (* -1 (/ (+ 64 (* -1 (/ (- 160 (* 320 (/ 1 t))) t))) t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (+ 16 (* -1 (/ (- 64 (* 160 (/ 1 t))) t)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(hole binary64 (+ 16 (* -1 (/ (+ 64 (* -1 (/ (- 160 (* 320 (/ 1 t))) t))) t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (+ 4 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(hole binary64 (+ 4 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (+ 1 (* -1 (/ (- 2 (* 3 (/ 1 t))) t)))))
#s(approx (pow (/ t (+ t 1)) 2) #s(hole binary64 (+ 1 (* -1 (/ (+ 2 (* -1 (/ (- 3 (* 4 (/ 1 t))) t))) t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (+ 1 (* -1 (/ (- 1 (/ 1 t)) t)))))
#s(approx (/ t (+ t 1)) #s(hole binary64 (+ 1 (* -1 (/ (+ 1 (* -1 (/ (- 1 (/ 1 t)) t))) t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (+ 2 (* -1 (/ (- 8 (* 12 (/ 1 t))) t)))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(hole binary64 (+ 2 (* -1 (/ (+ 8 (* -1 (/ (- 12 (* 16 (/ 1 t))) t))) t)))))

Outputs
(.f64 (/.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))))) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(/.f64 (+.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (-.f64 (.f64 (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))) (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))) (.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))))))) (neg.f64 (neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))))
(/.f64 (.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))))) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal 8 binary64))) (.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (fma.f64 (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 4 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))))
(/.f64 (.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))))) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) (.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 2 binary64))))
(/.f64 (fma.f64 #s(literal 1 binary64) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64)))))) (neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))))) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))
(-.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(+.f64 (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))) (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)))
(+.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64) #s(literal 1 binary64)) (fma.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))))
(/.f64 (fma.f64 (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64) (.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (*.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))) #s(literal 2 binary64) (.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))) (*.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))) (*.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64))))
(/.f64 (fma.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))))) (*.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64))))
(/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(/.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))))
(fma.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (fabs.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 1 binary64))
(fma.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 1 binary64))
(fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (/.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))) (/.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))))
(+.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))
#s(literal 1 binary64)
(.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(.f64 (neg.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (fabs.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(*.f64 (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 4 binary64))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))
(.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(*.f64 #s(literal 4 binary64) (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
(*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
(pow.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 2 binary64))
(/.f64 (neg.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64)))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (neg.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 (neg.f64 (.f64 t #s(literal 2 binary64))) (.f64 t #s(literal 2 binary64))) (.f64 (neg.f64 (+.f64 t #s(literal 1 binary64))) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (neg.f64 (.f64 t #s(literal 2 binary64)))) (.f64 (+.f64 t #s(literal 1 binary64)) (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal -2 binary64)))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(fabs.f64 (neg.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(fabs.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (*.f64 t #s(literal 2 binary64)))) (neg.f64 (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (.f64 #s(literal 4 binary64) (.f64 #s(literal -1 binary64) t)) (*.f64 #s(literal 2 binary64) (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (.f64 #s(literal 4 binary64) t) (.f64 #s(literal 2 binary64) (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 t #s(literal 2 binary64))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (*.f64 t #s(literal 2 binary64)) (+.f64 t #s(literal 1 binary64)))
(+.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) (/.f64 t (+.f64 t #s(literal 1 binary64))))
(*.f64 t #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) t)
(/.f64 (fma.f64 (.f64 t t) t (.f64 (.f64 t t) t)) (fma.f64 (fabs.f64 t) (fabs.f64 t) (-.f64 (.f64 t t) (*.f64 t t))))
(+.f64 t t)
#s(literal 2 binary64)
t
(/.f64 (neg.f64 (-.f64 (*.f64 t t) #s(literal 1 binary64))) (neg.f64 (-.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t))) (neg.f64 (-.f64 #s(literal 1 binary64) t)))
(/.f64 (neg.f64 (fma.f64 (.f64 t t) t #s(literal 1 binary64))) (neg.f64 (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(/.f64 (-.f64 (*.f64 t t) #s(literal 1 binary64)) (-.f64 t #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t)) (-.f64 #s(literal 1 binary64) t))
(/.f64 (fma.f64 (.f64 t t) t #s(literal 1 binary64)) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t))))
(-.f64 (/.f64 (*.f64 t t) (-.f64 t #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 t t) (-.f64 #s(literal 1 binary64) t)))
(+.f64 (/.f64 (.f64 (.f64 t t) t) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))) (/.f64 (.f64 (.f64 t t) t) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(+.f64 t #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) t)
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (.f64 (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) (.f64 (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) (neg.f64 (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(-.f64 (/.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))) (/.f64 #s(literal 4 binary64) (-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64))) (neg.f64 (fma.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64))) (neg.f64 (fma.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (+.f64 #s(literal 16 binary64) (.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64)) (fma.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)))
(/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) #s(literal 64 binary64)) (fma.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (+.f64 #s(literal 16 binary64) (.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(-.f64 (/.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 16 binary64) (fma.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))))
(-.f64 (/.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (+.f64 #s(literal 16 binary64) (.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))))) (/.f64 #s(literal 64 binary64) (fma.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (+.f64 #s(literal 16 binary64) (.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))))))
(-.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))
(.f64 (neg.f64 (neg.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (neg.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(.f64 (.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 16 binary64))
(.f64 (neg.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) (neg.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(*.f64 #s(literal 16 binary64) (pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 2 binary64)))
(.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))
(.f64 #s(literal 4 binary64) (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(pow.f64 (neg.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 4 binary64))
(/.f64 (.f64 (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64)))) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (.f64 (+.f64 t #s(literal 1 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))) (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))) (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64)))) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64))) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (.f64 (+.f64 t #s(literal 1 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 t #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (.f64 t #s(literal 2 binary64)))) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal -2 binary64)))
(fabs.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 2 binary64)))
(.f64 (neg.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))))
(.f64 (neg.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (fabs.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(*.f64 (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 4 binary64))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(.f64 (neg.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))))
(.f64 (sqrt.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))
(.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(*.f64 #s(literal 4 binary64) (fabs.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))))
(*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))
(pow.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal 2 binary64))
(/.f64 (neg.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64)))) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64))) (neg.f64 (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64))))
(/.f64 (.f64 (neg.f64 (.f64 t #s(literal 2 binary64))) (.f64 t #s(literal 2 binary64))) (.f64 (neg.f64 (+.f64 t #s(literal 1 binary64))) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (neg.f64 (.f64 t #s(literal 2 binary64)))) (.f64 (+.f64 t #s(literal 1 binary64)) (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (.f64 (.f64 t #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) (*.f64 t #s(literal 2 binary64))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (pow.f64 (*.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64)))) #s(literal -2 binary64)))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))
(fabs.f64 (neg.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64))))
(fabs.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 t (+.f64 t #s(literal 1 binary64))))) #s(literal 2 binary64)))
#s(literal 4 binary64)
(*.f64 (neg.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))) (neg.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(*.f64 (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))) (fabs.f64 (/.f64 t (+.f64 t #s(literal 1 binary64)))))
(*.f64 (exp.f64 (-.f64 (log.f64 t) (log1p.f64 t))) (exp.f64 (-.f64 (log.f64 t) (log1p.f64 t))))
(*.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) (/.f64 t (+.f64 t #s(literal 1 binary64))))
(pow.f64 (exp.f64 (-.f64 (log.f64 t) (log1p.f64 t))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 #s(literal -1 binary64) t) t) (*.f64 (neg.f64 (+.f64 t #s(literal 1 binary64))) (+.f64 t #s(literal 1 binary64))))
(/.f64 (.f64 t (.f64 #s(literal -1 binary64) t)) (*.f64 (+.f64 t #s(literal 1 binary64)) (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (*.f64 t t) (pow.f64 (+.f64 t #s(literal 1 binary64)) #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal -2 binary64)))
(exp.f64 (*.f64 (-.f64 (log.f64 t) (log1p.f64 t)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (-.f64 (log.f64 t) (log1p.f64 t)) #s(literal 2 binary64))) (sinh.f64 (.f64 (-.f64 (log.f64 t) (log1p.f64 t)) #s(literal 2 binary64))))
(pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 1 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) t)) (neg.f64 (neg.f64 (+.f64 t #s(literal 1 binary64)))))
(/.f64 (*.f64 #s(literal -1 binary64) t) (neg.f64 (+.f64 t #s(literal 1 binary64))))
(/.f64 t (+.f64 t #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (-.f64 (log.f64 t) (log1p.f64 t)) #s(literal 1 binary64)))
(/.f64 (neg.f64 (-.f64 (*.f64 t t) #s(literal 1 binary64))) (neg.f64 (-.f64 t #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t))) (neg.f64 (-.f64 #s(literal 1 binary64) t)))
(/.f64 (neg.f64 (fma.f64 (.f64 t t) t #s(literal 1 binary64))) (neg.f64 (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(/.f64 (-.f64 (*.f64 t t) #s(literal 1 binary64)) (-.f64 t #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 t t)) (-.f64 #s(literal 1 binary64) t))
(/.f64 (fma.f64 (.f64 t t) t #s(literal 1 binary64)) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 t t) t)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t))))
(-.f64 (/.f64 (*.f64 t t) (-.f64 t #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 t t) (-.f64 #s(literal 1 binary64) t)))
(+.f64 (/.f64 (.f64 (.f64 t t) t) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (-.f64 #s(literal 1 binary64) (.f64 t #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))) (/.f64 (.f64 (.f64 t t) t) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 t t) (.f64 #s(literal 1 binary64) t)))))
(+.f64 t #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) t)
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal 8 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 4 binary64) (.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal 8 binary64)) (fma.f64 (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 4 binary64) (.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) (neg.f64 (fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) (fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 2 binary64)))
(-.f64 (/.f64 (pow.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 4 binary64) (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))) (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 (.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 4 binary64) (.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))))))
(-.f64 (/.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64)) (fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 2 binary64))) (/.f64 #s(literal 4 binary64) (fma.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 2 binary64))))
(-.f64 (*.f64 (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 2 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(literal 1/2 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (fma.f64 t t #s(literal 1/2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (fma.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 1 binary64)) (*.f64 t t) #s(literal 1/2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (fma.f64 (fma.f64 (-.f64 t #s(literal 2 binary64)) t #s(literal 1 binary64)) (*.f64 t t) #s(literal 1/2 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 1 binary64))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (*.f64 t t) #s(literal 4 binary64) #s(literal 1 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (*.f64 t t) #s(literal 1 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (.f64 t t) #s(literal 1 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (.f64 t t) #s(literal 4 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (.f64 t t)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -16 binary64) t #s(literal 12 binary64)) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (/ (* 2 t) (+ 1 t)) (*.f64 t #s(literal 2 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (*.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 2 binary64)) t))
#s(approx (/ (* 2 t) (+ 1 t)) (.f64 (fma.f64 (-.f64 (.f64 t #s(literal 2 binary64)) #s(literal 2 binary64)) t #s(literal 2 binary64)) t))
#s(approx (/ (* 2 t) (+ 1 t)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 2 binary64)) t) #s(literal 2 binary64)) t #s(literal 2 binary64)) t))
#s(approx (* 2 t) (*.f64 t #s(literal 2 binary64)))
#s(approx t t)
#s(approx (+ t 1) #s(literal 1 binary64))
#s(approx (+ t 1) (+.f64 t #s(literal 1 binary64)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(literal 2 binary64))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (fma.f64 (*.f64 t t) #s(literal 4 binary64) #s(literal 2 binary64)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (fma.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (*.f64 t t) #s(literal 2 binary64)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (fma.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (.f64 t t) #s(literal 2 binary64)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(literal -4 binary64))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 (.f64 (pow.f64 (.f64 t t) #s(literal 2 binary64)) #s(literal 16 binary64)) #s(literal 4 binary64)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 (.f64 (fma.f64 #s(literal -64 binary64) t #s(literal 16 binary64)) (pow.f64 (.f64 t t) #s(literal 2 binary64))) #s(literal 4 binary64)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 (.f64 (fma.f64 (-.f64 (.f64 #s(literal 160 binary64) t) #s(literal 64 binary64)) t #s(literal 16 binary64)) (pow.f64 (*.f64 t t) #s(literal 2 binary64))) #s(literal 4 binary64)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (.f64 (pow.f64 (.f64 t t) #s(literal 2 binary64)) #s(literal 16 binary64)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (.f64 (fma.f64 #s(literal -64 binary64) t #s(literal 16 binary64)) (pow.f64 (.f64 t t) #s(literal 2 binary64))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 160 binary64) t) #s(literal 64 binary64)) t #s(literal 16 binary64)) (pow.f64 (*.f64 t t) #s(literal 2 binary64))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -320 binary64) t #s(literal 160 binary64)) t) #s(literal 64 binary64)) t #s(literal 16 binary64)) (pow.f64 (*.f64 t t) #s(literal 2 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (.f64 t t) #s(literal 4 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (.f64 t t)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -16 binary64) t #s(literal 12 binary64)) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)))
#s(approx (pow (/ t (+ t 1)) 2) (*.f64 t t))
#s(approx (pow (/ t (+ t 1)) 2) (.f64 (fma.f64 #s(literal -2 binary64) t #s(literal 1 binary64)) (.f64 t t)))
#s(approx (pow (/ t (+ t 1)) 2) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 3 binary64) t) #s(literal 2 binary64)) t #s(literal 1 binary64)) (*.f64 t t)))
#s(approx (pow (/ t (+ t 1)) 2) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -4 binary64) t #s(literal 3 binary64)) t) #s(literal 2 binary64)) t #s(literal 1 binary64)) (*.f64 t t)))
#s(approx (/ t (+ t 1)) t)
#s(approx (/ t (+ t 1)) (*.f64 (fma.f64 #s(literal -1 binary64) t #s(literal 1 binary64)) t))
#s(approx (/ t (+ t 1)) (*.f64 (fma.f64 (-.f64 t #s(literal 1 binary64)) t #s(literal 1 binary64)) t))
#s(approx (/ t (+ t 1)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1 binary64) t #s(literal 1 binary64)) t) #s(literal 1 binary64)) t #s(literal 1 binary64)) t))
#s(approx (+ t 1) #s(literal 1 binary64))
#s(approx (+ t 1) (+.f64 t #s(literal 1 binary64)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(literal -2 binary64))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 (.f64 (.f64 t t) #s(literal 4 binary64)) #s(literal 2 binary64)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 (.f64 (fma.f64 #s(literal -8 binary64) t #s(literal 4 binary64)) (.f64 t t)) #s(literal 2 binary64)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 (.f64 (fma.f64 (-.f64 (.f64 #s(literal 12 binary64) t) #s(literal 8 binary64)) t #s(literal 4 binary64)) (*.f64 t t)) #s(literal 2 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) #s(literal 5/6 binary64))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (-.f64 #s(literal 5/6 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (-.f64 (+.f64 (/.f64 #s(literal 1/27 binary64) (.f64 t t)) #s(literal 5/6 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (-.f64 (+.f64 (fma.f64 (pow.f64 (.f64 (.f64 t t) t) #s(literal -1 binary64)) #s(literal 4/81 binary64) (/.f64 #s(literal 1/27 binary64) (.f64 t t))) #s(literal 5/6 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2/9 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) #s(literal 5 binary64))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 #s(literal 5 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 5 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 5 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 16 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(literal 4 binary64))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 16 binary64))))
#s(approx (/ (* 2 t) (+ 1 t)) #s(literal 2 binary64))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 (fma.f64 (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (/ (* 2 t) (+ 1 t)) (-.f64 (-.f64 (fma.f64 (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (+ t 1) t)
#s(approx (+ t 1) (*.f64 (+.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 1 binary64)) t))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) #s(literal 6 binary64))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (-.f64 #s(literal 6 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (-.f64 (+.f64 #s(literal 6 binary64) (/.f64 #s(literal 12 binary64) (.f64 t t))) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (-.f64 (-.f64 (+.f64 #s(literal 6 binary64) (/.f64 #s(literal 12 binary64) (.f64 t t))) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 16 binary64))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) #s(literal 12 binary64))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 (+.f64 (/.f64 #s(literal 160 binary64) (.f64 t t)) #s(literal 12 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 160 binary64) (.f64 t t)) #s(literal 12 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))) (.f64 #s(literal 320 binary64) (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) #s(literal 16 binary64))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (-.f64 #s(literal 16 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (-.f64 (+.f64 (/.f64 #s(literal 160 binary64) (.f64 t t)) #s(literal 16 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 160 binary64) (.f64 t t)) #s(literal 16 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 64 binary64))) (.f64 #s(literal 320 binary64) (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) #s(literal 4 binary64))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 4 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 16 binary64))))
#s(approx (pow (/ t (+ t 1)) 2) #s(literal 1 binary64))
#s(approx (pow (/ t (+ t 1)) 2) (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (pow (/ t (+ t 1)) 2) (-.f64 (+.f64 (/.f64 #s(literal 3 binary64) (.f64 t t)) #s(literal 1 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))))
#s(approx (pow (/ t (+ t 1)) 2) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 3 binary64) (.f64 t t)) #s(literal 1 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 4 binary64))))
#s(approx (/ t (+ t 1)) #s(literal 1 binary64))
#s(approx (/ t (+ t 1)) (-.f64 #s(literal 1 binary64) (pow.f64 t #s(literal -1 binary64))))
#s(approx (/ t (+ t 1)) (-.f64 (fma.f64 (pow.f64 t #s(literal -1 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 1 binary64)) (pow.f64 t #s(literal -1 binary64))))
#s(approx (/ t (+ t 1)) (-.f64 (-.f64 (fma.f64 (pow.f64 t #s(literal -1 binary64)) (pow.f64 t #s(literal -1 binary64)) #s(literal 1 binary64)) (pow.f64 t #s(literal -1 binary64))) (pow.f64 (.f64 (.f64 t t) t) #s(literal -1 binary64))))
#s(approx (+ t 1) t)
#s(approx (+ t 1) (*.f64 (+.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 1 binary64)) t))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) #s(literal 2 binary64))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 12 binary64) (.f64 t t)) #s(literal 2 binary64)) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 8 binary64))) (.f64 (pow.f64 (.f64 (*.f64 t t) t) #s(literal -1 binary64)) #s(literal 16 binary64))))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (fma.f64 (/.f64 (-.f64 #s(literal 2/9 binary64) (*.f64 #s(literal 1/27 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 5/6 binary64)))
#s(approx (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2))) (fma.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 #s(literal 4/81 binary64) (pow.f64 t #s(literal -1 binary64)) #s(literal 1/27 binary64)) t) #s(literal -1 binary64) #s(literal 2/9 binary64)) t) #s(literal -1 binary64) #s(literal 5/6 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 5 binary64)))
#s(approx (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 16 binary64))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 5 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 16 binary64))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)))
#s(approx (/ (* 2 t) (+ 1 t)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)) t) #s(literal -1 binary64) #s(literal 2 binary64)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 6 binary64)))
#s(approx (/ (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (- (* 4 (pow (/ t (+ t 1)) 2)) 2)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 16 binary64))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 6 binary64)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (fma.f64 (/.f64 (-.f64 #s(literal 64 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 160 binary64))) t) #s(literal -1 binary64) #s(literal 12 binary64)))
#s(approx (- (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) 4) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 160 binary64) (*.f64 #s(literal 320 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 64 binary64)) t) #s(literal -1 binary64) #s(literal 12 binary64)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (fma.f64 (/.f64 (-.f64 #s(literal 64 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 160 binary64))) t) #s(literal -1 binary64) #s(literal 16 binary64)))
#s(approx (* (* 4 (pow (/ t (+ t 1)) 2)) (* 4 (pow (/ t (+ t 1)) 2))) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 160 binary64) (*.f64 #s(literal 320 binary64) (pow.f64 t #s(literal -1 binary64)))) t) #s(literal -1 binary64) #s(literal 64 binary64)) t) #s(literal -1 binary64) #s(literal 16 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (* 4 (pow (/ t (+ t 1)) 2)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 16 binary64))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 4 binary64)))
#s(approx (pow (/ t (+ t 1)) 2) (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 3 binary64))) t) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(approx (pow (/ t (+ t 1)) 2) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 3 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 4 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)) t) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(approx (/ t (+ t 1)) (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 t #s(literal -1 binary64))) t) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(approx (/ t (+ t 1)) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 t #s(literal -1 binary64))) t) #s(literal -1 binary64) #s(literal 1 binary64)) t) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (fma.f64 (/.f64 (-.f64 #s(literal 8 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 12 binary64))) t) #s(literal -1 binary64) #s(literal 2 binary64)))
#s(approx (- (* 4 (pow (/ t (+ t 1)) 2)) 2) (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 #s(literal 12 binary64) (*.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 16 binary64))) t) #s(literal -1 binary64) #s(literal 8 binary64)) t) #s(literal -1 binary64) #s(literal 2 binary64)))

eval58.0ms (1.5%)

Memory: 6.0MiB live, 99.3MiB allocated; 4ms collecting garbage
Compiler: Compiled 24 394 to 1 730 computations (92.9% saved)

prune1.1s (27.6%)

Memory

-40.6MiB live, 1 602.7MiB allocated; 37ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	413	0	413
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	413	2	415

Accuracy

100.0%

Counts

415 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))
✓	100.0%	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Status

Accuracy

Program

✓

100.0%

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))

✓

100.0%

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Compiler

Compiled 172 to 48 computations (72.1% saved)

regimes5.0ms (0.1%)

Memory

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

Accuracy

Total -0.0b remaining (-100%)

Threshold costs -0b (-100%)

Counts

2 → 1

Calls

Call 1

Inputs

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (/.f64 (-.f64 (*.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64)))) #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 t (+.f64 t #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 2 binary64))))

Outputs

(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (*.f64 (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Calls

4 calls:

1.0ms	(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))
1.0ms	t
1.0ms	(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))
1.0ms	(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))

Results

Accuracy	Segments	Branch
100.0%	1	`(/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t))`
100.0%	1	`(.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (*.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))`
100.0%	1	`(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))) (+.f64 #s(literal 2 binary64) (.f64 (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)) (/.f64 (.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) t)))))`
100.0%	1	`t`

Compiler

Compiled 58 to 24 computations (58.6% saved)

derivations0.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 35 to 10 computations (71.4% saved)

preprocess10.0ms (0.3%)

Memory: 19.8MiB live, 19.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 140 to 40 computations (71.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze2.0ms (0%)

sample1.5s (38.9%)

explain134.0ms (3.5%)

preprocess26.0ms (0.7%)

series6.0ms (0.2%)

rewrite180.0ms (4.7%)

eval42.0ms (1.1%)

prune605.0ms (15.7%)

series9.0ms (0.2%)

rewrite208.0ms (5.4%)

eval58.0ms (1.5%)

prune1.1s (27.6%)

regimes5.0ms (0.1%)

derivations0.0ms (0%)

preprocess10.0ms (0.3%)

end0.0ms (0%)

Profiling