Metrics for sintan (problem 3.4.5)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze669.0ms (4.6%)

Memory

41.2MiB live, 409.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.9%	50.1%	0%	0%	0%	0
0%	0%	49.9%	50.1%	0%	0%	0%	1
0%	0%	49.9%	50.1%	0%	0%	0%	2
0%	0%	49.9%	50.1%	0%	0%	0%	3
0%	0%	49.9%	50.1%	0%	0%	0%	4
0%	0%	49.9%	50.1%	0%	0%	0%	5
0%	0%	49.9%	50.1%	0%	0%	0%	6
0%	0%	49.9%	50.1%	0%	0%	0%	7
0%	0%	49.9%	50.1%	0%	0%	0%	8
0%	0%	49.9%	50.1%	0%	0%	0%	9
0%	0%	49.9%	50.1%	0%	0%	0%	10
0%	0%	49.9%	50.1%	0%	0%	0%	11
0%	0%	49.9%	50.1%	0%	0%	0%	12

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample9.1s (61.7%)

Memory

100.8MiB live, 8 652.1MiB allocated

Samples

6.5s	4 511×	2	valid
1.2s	1 178×	3	valid
796.0ms	2 437×	1	valid
12.0ms	130×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 8.1s

ival-tan: 4.6s (56.6% of total)

ival-sin: 2.4s (29.7% of total)

adjust: 344.0ms (4.3% of total)

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

const: 255.0ms (3.2% of total)

ival-div: 153.0ms (1.9% of total)

ival-<=: 67.0ms (0.8% of total)

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

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

Bogosity

explain724.0ms (4.9%)

Memory

-18.8MiB live, 492.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
174	0	-	3	(2.6650285968080847e-108)	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
83	2	(2.6650285968080847e-108)	0	-	`(-.f64 eps (tan.f64 eps))`
83	2	(2.6650285968080847e-108)	0	-	`(-.f64 eps (sin.f64 eps))`
0	0	-	0	-	`(tan.f64 eps)`
0	0	-	0	-	`eps`
0	0	-	0	-	`(sin.f64 eps)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`	u/u	171	0
↳	`(-.f64 eps (sin.f64 eps))`	underflow	171
↳	`(-.f64 eps (tan.f64 eps))`	underflow	171
`-.f64`	`(-.f64 eps (sin.f64 eps))`	cancellation	85	0
`-.f64`	`(-.f64 eps (tan.f64 eps))`	cancellation	85	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	171
2	85

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

475.0ms	290×	2	valid
125.0ms	72×	3	valid
29.0ms	146×	1	valid
2.0ms	4×	0	valid

Compiler

Compiled 57 to 22 computations (61.4% saved)

Precisions

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

ival-tan: 410.0ms (67.8% of total)

ival-sin: 131.0ms (21.7% of total)

ival-sub: 39.0ms (6.4% of total)

adjust: 18.0ms (3% of total)

ival-div: 6.0ms (1% of total)

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

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

preprocess343.0ms (2.3%)

Memory

-0.5MiB live, 267.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	22	27
2	39	27
3	62	27
4	102	27
5	199	27
6	421	27
7	1106	27
8	3013	27
0	6	9
0	11	9
1	17	9
2	20	9
3	25	9
4	34	9
5	56	9
6	96	9
7	195	9
8	466	9
9	800	9
10	1477	9
11	2569	9
12	3078	9
13	3457	9
14	3742	9
15	3869	9
16	3896	9
17	3899	9
18	3902	9
19	3914	9
20	3917	9
21	3920	9
22	3923	9
23	3926	9
24	3929	9
25	3932	9
26	3935	9
27	7533	9
0	8078	9

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Compiler

Compiled 9 to 6 computations (33.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	0.5%	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify253.0ms (1.7%)

Memory

-29.0MiB live, 205.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 eps (tan.f64 eps))
cost-diff	0	(sin.f64 eps)
cost-diff	0	(-.f64 eps (sin.f64 eps))
cost-diff	0	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	22
0	11	22
1	17	22
2	20	22
3	25	22
4	34	22
5	56	22
6	96	22
7	195	22
8	466	22
9	800	22
10	1477	22
11	2569	22
12	3078	22
13	3457	22
14	3742	22
15	3869	22
16	3896	22
17	3899	22
18	3902	22
19	3914	22
20	3917	22
21	3920	22
22	3923	22
23	3926	22
24	3929	22
25	3932	22
26	3935	22
27	7533	22
0	8078	22

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)

Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)

localize301.0ms (2.1%)

Memory

30.0MiB live, 349.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(sin.f64 eps)
accuracy	18.92266751086546	(-.f64 eps (sin.f64 eps))
accuracy	18.92561292115503	(-.f64 eps (tan.f64 eps))
accuracy	42.761337315460025	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Samples

254.0ms	145×	2	valid
24.0ms	36×	3	valid
14.0ms	73×	1	valid
0.0ms	2×	0	valid

Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions

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

ival-tan: 188.0ms (67.2% of total)

ival-sin: 71.0ms (25.4% of total)

adjust: 10.0ms (3.6% of total)

ival-sub: 7.0ms (2.5% of total)

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

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

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

series4.0ms (0%)

Memory

3.2MiB live, 3.2MiB allocated

Counts

4 → 28

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))

Outputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 1/6 (pow eps 3))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(* -1/3 (pow eps 3))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(sin eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	inf	((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))
1.0ms	eps	@	-inf	((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))
1.0ms	eps	@	0	((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))

Time

Variable

Point

Expression

1.0ms

eps

inf

((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))

1.0ms

eps

-inf

((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))

1.0ms

eps

((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))

simplify183.0ms (1.2%)

Memory

10.2MiB live, 140.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	148	475
1	428	433
2	1443	405
3	7531	405
0	8354	389

Stop Event

1×	iter limit
1×	node limit

Counts

28 → 27

Calls

Call 1

Inputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 1/6 (pow eps 3))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(* -1/3 (pow eps 3))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(sin eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))

Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 27/112000 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(* 1/6 (pow eps 3))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal 1/6 binary64))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(.f64 (fma.f64 #s(literal -1/120 binary64) (.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/5040 binary64) (.f64 eps eps)) #s(literal 1/120 binary64)) (.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
(.f64 (fma.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/362880 binary64) (-.f64 (.f64 #s(literal 1/5040 binary64) (.f64 eps eps)) #s(literal 1/120 binary64))) (.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(fma.f64 #s(literal -1/6 binary64) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 eps eps)) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(fma.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/5040 binary64) (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 eps eps)) #s(literal 1/6 binary64))) (pow.f64 eps #s(literal 3 binary64)) eps)
(* -1/3 (pow eps 3))
(*.f64 #s(literal -1/3 binary64) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(.f64 (-.f64 (.f64 #s(literal -2/15 binary64) (*.f64 eps eps)) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 #s(literal -17/315 binary64) (*.f64 eps eps)) #s(literal 2/15 binary64)) eps) eps) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
(.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 #s(literal -62/2835 binary64) (.f64 eps eps)) #s(literal 17/315 binary64)) eps) eps) #s(literal 2/15 binary64)) (*.f64 eps eps)) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) eps)) eps)
(sin eps)
(sin.f64 eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(fma.f64 (/.f64 eps (cos.f64 eps)) (/.f64 (sin.f64 eps) (neg.f64 eps)) eps)
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(*.f64 (neg.f64 eps) (-.f64 (/.f64 (sin.f64 eps) eps) #s(literal 1 binary64)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(*.f64 (neg.f64 eps) (-.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64)))

rewrite325.0ms (2.2%)

Memory

19.3MiB live, 168.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
0	11	19
1	45	19
2	334	19
3	3817	19
0	8508	19

Stop Event

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

Counts

4 → 172

Calls

Call 1

Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))

Outputs
(.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))))
(.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))))
(*.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))))
(.f64 (/.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))))
(.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps))
(.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)))
(.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))))
(.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))))
(/.f64 (/.f64 (-.f64 (.f64 (-.f64 eps (tan.f64 eps)) eps) (.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (-.f64 eps (tan.f64 eps))) (-.f64 eps (tan.f64 eps)))
(/.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(/.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(/.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (.f64 eps eps) (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(/.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))) (neg.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (.f64 (-.f64 eps (tan.f64 eps)) eps) (.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)))) (neg.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (.f64 eps eps))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (tan.f64 eps) eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))
(/.f64 (-.f64 (.f64 (neg.f64 eps) (neg.f64 (-.f64 eps (tan.f64 eps)))) (.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (neg.f64 (sin.f64 eps)))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 eps) (-.f64 eps (tan.f64 eps))) (.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (sin.f64 eps))) (*.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (.f64 eps (neg.f64 (-.f64 eps (tan.f64 eps)))) (.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (sin.f64 eps)))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (neg.f64 eps) (neg.f64 (sin.f64 eps))) (neg.f64 (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (.f64 (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (.f64 (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (.f64 (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64))) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (.f64 (+.f64 (sin.f64 eps) eps) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (neg.f64 (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (.f64 (-.f64 eps (tan.f64 eps)) eps) (.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (neg.f64 (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 eps eps) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(fma.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(fma.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))) (/.f64 (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(-.f64 (/.f64 (.f64 (-.f64 eps (tan.f64 eps)) eps) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))) (/.f64 (.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(-.f64 (/.f64 (.f64 eps eps) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))))
(+.f64 (.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (.f64 (*.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (.f64 (.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (.f64 (.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(+.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(+.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (tan.f64 eps) eps)))
(+.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 eps eps)))
(+.f64 (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 eps eps)) (.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(+.f64 (/.f64 (.f64 eps eps) (.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)))
(.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 2 binary64)))) (-.f64 (.f64 eps eps) (.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps))))
(.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (-.f64 (.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)))
(*.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (sin.f64 eps) eps)))
(.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64)) (.f64 (.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))) (+.f64 (sin.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (.f64 (.f64 eps eps) (+.f64 (sin.f64 eps) eps)) (*.f64 (+.f64 (sin.f64 eps) eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (*.f64 (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (.f64 (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(neg.f64 (neg.f64 (-.f64 eps (sin.f64 eps))))
(fma.f64 (/.f64 (.f64 eps eps) (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (.f64 eps eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (/.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (fabs.f64 eps) (/.f64 (fabs.f64 eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (neg.f64 eps) (/.f64 (neg.f64 eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (.f64 eps eps))))
(-.f64 eps (sin.f64 eps))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(pow.f64 (sin.f64 eps) #s(literal 1 binary64))
(sin.f64 eps)
(exp.f64 (*.f64 (log.f64 (sin.f64 eps)) #s(literal 1 binary64)))
(.f64 (/.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(.f64 (/.f64 (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (.f64 eps eps) (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (tan.f64 eps)) (+.f64 (tan.f64 eps) eps)))
(.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (/.f64 (-.f64 eps (tan.f64 eps)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64)) (.f64 (.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (.f64 (.f64 eps eps) (+.f64 (tan.f64 eps) eps)) (*.f64 (+.f64 (tan.f64 eps) eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (tan.f64 eps) #s(literal 4 binary64))) (*.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (tan.f64 eps) #s(literal 9 binary64))) (.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (.f64 (tan.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (.f64 (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(neg.f64 (neg.f64 (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (.f64 eps eps) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (.f64 eps eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (fabs.f64 eps) (/.f64 (fabs.f64 eps) (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (neg.f64 eps) (/.f64 (neg.f64 eps) (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (.f64 eps eps))))
(-.f64 eps (tan.f64 eps))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))

eval24.0ms (0.2%)

Memory: -23.2MiB live, 22.9MiB allocated
Compiler: Compiled 5 951 to 686 computations (88.5% saved)

prune3.0ms (0%)

Memory

9.7MiB live, 9.7MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	193	3	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	194	3	197

Accuracy

100.0%

Counts

197 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
▶	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
▶	99.7%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Status

Accuracy

Program

▶

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

▶

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

▶

99.7%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 50 to 36 computations (28% saved)

simplify194.0ms (1.3%)

Memory

1.5MiB live, 144.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
cost-diff	0	(pow.f64 eps #s(literal 4 binary64))
cost-diff	0	(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
cost-diff	0	(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	104
0	25	104
1	42	104
2	88	104
3	182	104
4	278	104
5	330	104
6	409	104
7	634	104
8	1255	104
9	2499	104
10	5511	104
11	7777	104
0	8031	104

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
eps
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
eps
#s(literal 4 binary64)
#s(literal -27/2800 binary64)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(.f64 #s(literal 9/40 binary64) (.f64 eps eps))
(*.f64 eps eps)
eps
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
eps
#s(literal 4 binary64)
#s(literal -27/2800 binary64)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(.f64 #s(literal 9/40 binary64) (.f64 eps eps))
(*.f64 eps eps)
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

localize380.0ms (2.6%)

Memory

-3.0MiB live, 239.1MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
accuracy	0.0	(*.f64 eps eps)
accuracy	0.0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
accuracy	0.15234375	(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0.0	(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
accuracy	0.0	(*.f64 eps eps)
accuracy	0.00390625	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
accuracy	0.15234375	(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0.20387766279602204	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Samples

311.0ms	145×	2	valid
30.0ms	36×	3	valid
24.0ms	73×	1	valid
0.0ms	2×	0	valid

Compiler

Compiled 84 to 19 computations (77.4% saved)

Precisions

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

ival-tan: 153.0ms (44.7% of total)

ival-sin: 108.0ms (31.5% of total)

adjust: 18.0ms (5.3% of total)

ival-add: 18.0ms (5.3% of total)

exact: 17.0ms (5% of total)

ival-sub: 9.0ms (2.6% of total)

const: 7.0ms (2% of total)

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

ival-pow: 4.0ms (1.2% of total)

ival-div: 3.0ms (0.9% of total)

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

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

series5.0ms (0%)

Memory

4.9MiB live, 4.9MiB allocated

Counts

8 → 18

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))

Outputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 9/40 (pow eps 2))
(pow eps 2)
(pow eps 4)
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	eps	@	inf	((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))
1.0ms	eps	@	0	((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))
1.0ms	eps	@	-inf	((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))

Time

Variable

Point

Expression

2.0ms

eps

inf

((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))

1.0ms

eps

((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))

1.0ms

eps

-inf

((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))

simplify145.0ms (1%)

Memory

7.1MiB live, 101.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	328
1	271	294
2	900	266
3	4907	266
0	8143	258

Stop Event

1×	iter limit
1×	node limit

Counts

18 → 18

Calls

Call 1

Inputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 9/40 (pow eps 2))
(pow eps 2)
(pow eps 4)
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))

Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 27/112000 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(* 9/40 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 4)
(pow.f64 eps #s(literal 4 binary64))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(.f64 (-.f64 #s(literal 9/40 binary64) (/.f64 (/.f64 #s(literal 1/2 binary64) eps) eps)) (.f64 eps eps))
(* -27/2800 (pow eps 4))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(.f64 (-.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 eps #s(literal 4 binary64)))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))

rewrite227.0ms (1.5%)

Memory

-20.6MiB live, 126.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	80
0	25	80
1	102	80
2	764	80
0	8408	80

Stop Event

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

Counts

8 → 144

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))))) (+.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))))) (.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))))) (+.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (fma.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)))) (neg.f64 (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)))) (neg.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)) #s(literal 1/4 binary64))) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))) #s(literal 1/8 binary64))) (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64))) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64)))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64))) (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))
(/.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))))
(neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))))
(-.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))
(.f64 (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps)
(.f64 (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) eps)
(.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps))
(.f64 (.f64 #s(literal 9/40 binary64) eps) eps)
(.f64 (neg.f64 eps) (.f64 (neg.f64 eps) #s(literal 9/40 binary64)))
(.f64 #s(literal 9/40 binary64) (.f64 eps eps))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(.f64 eps (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))))
(.f64 eps (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)))
(.f64 eps (.f64 #s(literal 9/40 binary64) eps))
(neg.f64 (.f64 #s(literal -9/40 binary64) (.f64 eps eps)))
(sqrt.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (.f64 #s(literal -9/40 binary64) (.f64 eps eps)))
(fabs.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(*.f64 eps eps)
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(sqrt.f64 (pow.f64 eps #s(literal 4 binary64)))
(fabs.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (neg.f64 eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))) (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (+.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 (.f64 #s(literal 9/40 binary64) eps) eps (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))) (-.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (fma.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(/.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (-.f64 (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))))) (neg.f64 (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 3 binary64)) #s(literal 1/8 binary64))) (neg.f64 (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (fma.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)))) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(neg.f64 (/.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(neg.f64 (/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) (neg.f64 eps)) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) eps) eps (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 3 binary64))) eps (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (.f64 (neg.f64 eps) eps)) (.f64 (neg.f64 eps) eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (.f64 (neg.f64 eps) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) (.f64 eps eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (neg.f64 eps) eps) (.f64 (.f64 (neg.f64 eps) eps) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (.f64 eps #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (neg.f64 eps) (.f64 (.f64 eps eps) #s(literal -27/2800 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (.f64 eps eps) (.f64 (.f64 eps eps) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (.f64 eps (.f64 (.f64 eps eps) #s(literal -27/2800 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (.f64 #s(literal 9/40 binary64) eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/4 binary64) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 3 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/8 binary64) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (+.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (-.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (+.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (-.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (.f64 #s(literal 9/40 binary64) (.f64 eps eps))) #s(literal 1/2 binary64))
(-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))
(-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (neg.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(+.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(+.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(+.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(.f64 (.f64 eps (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (neg.f64 eps))
(.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) eps))
(.f64 (.f64 (neg.f64 eps) eps) (*.f64 (neg.f64 eps) eps))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) eps)
(*.f64 (neg.f64 eps) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)))
(.f64 (.f64 eps eps) (*.f64 eps eps))
(*.f64 eps (pow.f64 eps #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 eps))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 2 binary64))
(pow.f64 (neg.f64 eps) #s(literal 4 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 4 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64)))) (.f64 (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))))) (-.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (-.f64 (.f64 (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64)))) (.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64)))))))
(neg.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (pow.f64 eps #s(literal 4 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 4 binary64))))
(exp.f64 (fma.f64 (log.f64 eps) #s(literal 2 binary64) (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 eps eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))

eval28.0ms (0.2%)

Memory: 5.6MiB live, 50.2MiB allocated
Compiler: Compiled 7 647 to 730 computations (90.5% saved)

prune3.0ms (0%)

Memory

12.4MiB live, 12.4MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	0	0
Picked	1	2	3
Done	0	0	0
Total	203	3	206

Accuracy

100.0%

Counts

206 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

✓

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

✓

99.7%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 54 to 35 computations (35.2% saved)

simplify123.0ms (0.8%)

Memory

-8.2MiB live, 133.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
cost-diff	4	(.f64 (.f64 eps eps) (*.f64 eps eps))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	68
0	21	68
1	48	60
2	161	56
3	665	56
4	1435	56
5	1724	56
6	1834	56
7	2082	56
8	2708	56
9	3931	56
10	6958	56
0	8030	56

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(.f64 (.f64 eps eps) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(.f64 (.f64 eps eps) (*.f64 eps eps))
(pow.f64 eps #s(literal 4 binary64))
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(.f64 #s(literal 9/40 binary64) (.f64 eps eps))
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

localize320.0ms (2.2%)

Memory

-8.0MiB live, 420.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 eps eps)
accuracy	0.0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
accuracy	0.125	(.f64 (.f64 eps eps) (*.f64 eps eps))
accuracy	0.15234375	(.f64 (.f64 eps eps) #s(literal 9/40 binary64))

Samples

250.0ms	145×	2	valid
28.0ms	36×	3	valid
27.0ms	73×	1	valid
0.0ms	2×	0	valid

Compiler

Compiled 54 to 17 computations (68.5% saved)

Precisions

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

ival-tan: 153.0ms (52.9% of total)

ival-sin: 70.0ms (24.2% of total)

adjust: 36.0ms (12.4% of total)

ival-sub: 12.0ms (4.1% of total)

const: 7.0ms (2.4% of total)

ival-mult: 6.0ms (2.1% of total)

ival-div: 3.0ms (1% of total)

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

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

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

exact: 0.0ms (0% of total)

series3.0ms (0%)

Memory

7.4MiB live, 7.4MiB allocated

Counts

5 → 17

Calls

Call 1

Inputs
(.f64 (.f64 eps eps) (*.f64 eps eps))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(*.f64 eps eps)
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))

Outputs
(pow eps 4)
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(pow eps 2)
(* 9/40 (pow eps 2))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

eps

inf

((* (* eps eps) (* eps eps)) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* (* eps eps) (* eps eps)) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (* eps eps) (* (* eps eps) 9/40))

1.0ms

eps

-inf

((* (* eps eps) (* eps eps)) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* (* eps eps) (* eps eps)) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (* eps eps) (* (* eps eps) 9/40))

1.0ms

eps

((* (* eps eps) (* eps eps)) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* (* eps eps) (* eps eps)) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (* eps eps) (* (* eps eps) 9/40))

simplify161.0ms (1.1%)

Memory

-0.0MiB live, 233.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	89	317
1	261	283
2	871	255
3	4774	255
0	8616	247

Stop Event

1×	iter limit
1×	node limit

Counts

17 → 17

Calls

Call 1

Inputs
(pow eps 4)
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(pow eps 2)
(* 9/40 (pow eps 2))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))

Outputs
(pow eps 4)
(pow.f64 eps #s(literal 4 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (-.f64 (.f64 #s(literal 27/112000 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow eps 2)
(*.f64 eps eps)
(* 9/40 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* -27/2800 (pow eps 4))
(*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(.f64 (-.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 eps #s(literal 4 binary64)))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))

rewrite223.0ms (1.5%)

Memory

18.9MiB live, 202.9MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	57
0	21	51
1	104	45
2	818	45
0	9171	45

Stop Event

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

Counts

5 → 139

Calls

Call 1

Inputs
(.f64 (.f64 eps eps) (*.f64 eps eps))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(*.f64 eps eps)
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))

Outputs
(.f64 (.f64 eps (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (neg.f64 eps))
(.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) eps))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) eps)
(*.f64 (neg.f64 eps) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 eps) eps) (*.f64 (neg.f64 eps) eps))
(.f64 (.f64 eps eps) (*.f64 eps eps))
(*.f64 eps (pow.f64 eps #s(literal 3 binary64)))
(pow.f64 (neg.f64 eps) #s(literal 4 binary64))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 2 binary64))
(pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(sqrt.f64 (pow.f64 eps #s(literal 8 binary64)))
(fabs.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (pow.f64 eps #s(literal 4 binary64)))
(+.f64 (cosh.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64))) (sinh.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 eps) #s(literal 2 binary64) (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (neg.f64 eps) eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))) (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (+.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 (.f64 #s(literal 9/40 binary64) eps) eps (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))) (-.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (fma.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(/.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (-.f64 (.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))))) (neg.f64 (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) #s(literal 1/8 binary64))) (neg.f64 (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (fma.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)))) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(neg.f64 (/.f64 (-.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (neg.f64 (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(neg.f64 (/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(fma.f64 (.f64 (.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) eps) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) eps) (.f64 (neg.f64 eps) eps)) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) (neg.f64 eps)) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (neg.f64 eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (.f64 (neg.f64 eps) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) (.f64 (neg.f64 eps) eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 3 binary64))) eps (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 eps #s(literal -27/2800 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) (.f64 eps eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (.f64 eps #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 eps (.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 (neg.f64 eps) eps) (.f64 (.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (.f64 #s(literal 9/40 binary64) eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/4 binary64) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))) (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/8 binary64) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (+.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))) (-.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal -1/2 binary64))) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (+.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (-.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)))) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(-.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64))
(-.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal -9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))
(-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (neg.f64 (pow.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(+.f64 (.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(+.f64 (-.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(+.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (sqrt.f64 (neg.f64 eps)))
(*.f64 (sqrt.f64 (neg.f64 eps)) (sqrt.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64))))
(.f64 (sqrt.f64 (.f64 (neg.f64 eps) eps)) (sqrt.f64 (*.f64 (neg.f64 eps) eps)))
(*.f64 (sqrt.f64 (pow.f64 eps #s(literal 3 binary64))) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (pow.f64 eps #s(literal 3 binary64))))
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(*.f64 eps eps)
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 1 binary64))
(pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(sqrt.f64 (pow.f64 eps #s(literal 4 binary64)))
(fabs.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (/.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
(.f64 (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps)
(.f64 (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)) eps)
(.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps))
(.f64 (.f64 #s(literal 9/40 binary64) eps) eps)
(.f64 (neg.f64 eps) (.f64 (neg.f64 eps) #s(literal 9/40 binary64)))
(.f64 #s(literal 9/40 binary64) (.f64 eps eps))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(.f64 eps (fabs.f64 (.f64 (neg.f64 eps) #s(literal 9/40 binary64))))
(.f64 eps (fabs.f64 (.f64 #s(literal 9/40 binary64) eps)))
(.f64 eps (.f64 #s(literal 9/40 binary64) eps))
(neg.f64 (.f64 #s(literal -9/40 binary64) (.f64 eps eps)))
(sqrt.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (.f64 #s(literal -9/40 binary64) (.f64 eps eps)))
(fabs.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)))

eval429.0ms (2.9%)

Memory: -52.1MiB live, 111.7MiB allocated
Compiler: Compiled 7 237 to 791 computations (89.1% saved)

prune4.0ms (0%)

Memory

14.6MiB live, 14.6MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Accuracy

100.0%

Counts

204 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

✓

100.0%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

✓

99.7%

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 139 to 62 computations (55.4% saved)

regimes35.0ms (0.2%)

Memory

-37.6MiB live, 5.8MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Outputs

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

Calls

2 calls:

33.0ms	eps
1.0ms	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Results

Accuracy	Segments	Branch
100.0%	1	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
100.0%	1	`eps`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes2.0ms (0%)

Memory

4.0MiB live, 4.0MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

Calls

2 calls:

1.0ms	eps
1.0ms	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Results

Accuracy	Segments	Branch
100.0%	1	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
100.0%	1	`eps`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes2.0ms (0%)

Memory

3.7MiB live, 3.7MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Calls

2 calls:

1.0ms	eps
1.0ms	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Results

Accuracy	Segments	Branch
99.7%	1	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
99.7%	1	`eps`

Compiler

Compiled 10 to 7 computations (30% saved)

simplify72.0ms (0.5%)

Memory

-4.2MiB live, 40.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	54
1	26	54
2	34	54
3	40	54
4	49	54
5	69	54
6	118	54
7	260	54
8	783	54
9	4015	54

Stop Event

1×	node limit

Calls

Call 1

Inputs

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Outputs

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

soundness412.0ms (2.8%)

Memory

-6.0MiB live, 141.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	80
0	25	80
1	102	80
2	764	80
0	8408	80
0	148	475
1	428	433
2	1443	405
3	7531	405
0	8354	389

Stop Event

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

Compiler

Compiled 96 to 52 computations (45.8% saved)

preprocess24.0ms (0.2%)

Memory: 24.7MiB live, 24.7MiB allocated
Compiler: Compiled 140 to 60 computations (57.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze669.0ms (4.6%)

sample9.1s (61.7%)

explain724.0ms (4.9%)

preprocess343.0ms (2.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify253.0ms (1.7%)

localize301.0ms (2.1%)

series4.0ms (0%)

simplify183.0ms (1.2%)

rewrite325.0ms (2.2%)

eval24.0ms (0.2%)

prune3.0ms (0%)

simplify194.0ms (1.3%)

localize380.0ms (2.6%)

series5.0ms (0%)

simplify145.0ms (1%)

rewrite227.0ms (1.5%)

eval28.0ms (0.2%)

prune3.0ms (0%)

simplify123.0ms (0.8%)

localize320.0ms (2.2%)

series3.0ms (0%)

simplify161.0ms (1.1%)

rewrite223.0ms (1.5%)

eval429.0ms (2.9%)

prune4.0ms (0%)

regimes35.0ms (0.2%)

regimes2.0ms (0%)

regimes2.0ms (0%)

simplify72.0ms (0.5%)

soundness412.0ms (2.8%)

preprocess24.0ms (0.2%)

end0.0ms (0%)

Profiling