Metrics for sintan (problem 3.4.5)

start0.0ms (0%)

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

analyze641.0ms (4.9%)

Memory

11.6MiB live, 429.8MiB allocated; 652ms collecting garbage

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.6s (73.4%)

Memory

83.9MiB live, 8 888.2MiB allocated; 2.2s collecting garbage

Samples

6.5s	4 407×	2	valid
1.8s	1 330×	3	valid
808.0ms	2 466×	1	valid
5.0ms	53×	0	valid

Precisions

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

ival-tan: 4.8s (55.1% of total)

ival-sin: 2.3s (26.4% of total)

adjust: 663.0ms (7.7% of total)

const: 352.0ms (4.1% of total)

ival-sub: 349.0ms (4% of total)

ival-div: 126.0ms (1.5% of total)

ival-<=: 94.0ms (1.1% of total)

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

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

Bogosity

explain547.0ms (4.2%)

Memory

6.7MiB live, 495.9MiB allocated; 77ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
145	-	1	(-9.229841228279137e-107)	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
112	-	0	-	`(-.f64 eps (tan.f64 eps))`
112	-	0	-	`(-.f64 eps (sin.f64 eps))`
0	-	0	-	`(tan.f64 eps)`
0	-	0	-	`eps`
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	144	0
↳	`(-.f64 eps (sin.f64 eps))`	underflow	144
↳	`(-.f64 eps (tan.f64 eps))`	underflow	144
`-.f64`	`(-.f64 eps (sin.f64 eps))`	cancellation	112	0
`-.f64`	`(-.f64 eps (tan.f64 eps))`	cancellation	112	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	144
2	112

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

316.0ms	250×	2	valid
89.0ms	192×	1	valid
76.0ms	70×	3	valid

Compiler

Compiled 57 to 22 computations (61.4% saved)

Precisions

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

ival-tan: 241.0ms (52.7% of total)

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

adjust: 51.0ms (11.2% of total)

ival-sub: 42.0ms (9.2% of total)

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

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

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

preprocess342.0ms (2.6%)

Memory

21.4MiB live, 256.3MiB allocated; 43ms collecting garbage

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.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify288.0ms (2.2%)

Memory

-32.0MiB live, 198.4MiB allocated; 30ms collecting garbage

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)

localize200.0ms (1.5%)

Memory

30.9MiB live, 268.3MiB allocated; 25ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(sin.f64 eps)
accuracy	25.465136037167483	(-.f64 eps (tan.f64 eps))
accuracy	25.534253284991483	(-.f64 eps (sin.f64 eps))
accuracy	35.931134482472324	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Samples

137.0ms	125×	2	valid
30.0ms	35×	3	valid
24.0ms	96×	1	valid

Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions

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

ival-tan: 98.0ms (54.7% of total)

ival-sin: 55.0ms (30.7% of total)

adjust: 15.0ms (8.4% of total)

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

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

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

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

series4.0ms (0%)

Memory

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

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)))

simplify246.0ms (1.9%)

Memory

-19.6MiB live, 135.2MiB allocated; 34ms collecting garbage

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)))

rewrite223.0ms (1.7%)

Memory

18.4MiB live, 154.3MiB allocated; 26ms collecting garbage

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)))

eval16.0ms (0.1%)

Memory: -6.9MiB live, 38.6MiB allocated; 5ms collecting garbage
Compiler: Compiled 5 951 to 686 computations (88.5% saved)

prune4.0ms (0%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	194	2	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	195	2	197

Accuracy

100.0%

Counts

197 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	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.6%	#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))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))

▶

99.6%

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify155.0ms (1.2%)

Memory

-24.6MiB live, 168.6MiB allocated; 23ms collecting garbage

Localize:

Found 5 expressions of interest:

New	Metric	Score	Program
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	14	47
0	17	47
1	30	47
2	57	47
3	102	47
4	150	47
5	203	47
6	278	47
7	503	47
8	1127	47
9	2367	47
10	5355	47
11	7633	47
0	8108	47

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)

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)

localize322.0ms (2.5%)

Memory

33.5MiB live, 505.8MiB allocated; 81ms collecting garbage

Localize:

Found 5 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))) (-.f64 (.f64 (.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
accuracy	0.14453125	(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0.2637487885812886	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Samples

252.0ms	125×	2	valid
30.0ms	35×	3	valid
26.0ms	96×	1	valid

Compiler

Compiled 39 to 14 computations (64.1% saved)

Precisions

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

ival-sin: 107.0ms (36.6% of total)

ival-tan: 102.0ms (34.9% of total)

ival-sub: 38.0ms (13% of total)

adjust: 20.0ms (6.9% of total)

ival-mult: 17.0ms (5.8% of total)

const: 4.0ms (1.4% of total)

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

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

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

exact: 0.0ms (0% of total)

series6.0ms (0%)

Memory

-42.8MiB live, 5.4MiB allocated; 6ms collecting garbage

Counts

5 → 14

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)

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)
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)))))
(+ 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
4.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))
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))
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))

Time

Variable

Point

Expression

4.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))

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))

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))

simplify176.0ms (1.3%)

Memory

25.3MiB live, 199.2MiB allocated; 54ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	292
1	253	258
2	877	230
3	4869	230
0	8079	222

Stop Event

1×	iter limit
1×	node limit

Counts

14 → 14

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)
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)))))
(+ 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 (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)))
(* 9/40 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(pow eps 2)
(*.f64 eps eps)
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))
(+ 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)))

rewrite152.0ms (1.2%)

Memory

35.1MiB live, 125.7MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
0	17	43
1	73	43
2	511	43
3	5591	43
0	8169	43

Stop Event

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

Counts

5 → 60

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)

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 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)) (fma.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)) (-.f64 #s(literal 1/4 binary64) (.f64 #s(literal 9/80 binary64) (.f64 eps eps)))))
(.f64 (/.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)) (-.f64 (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)) #s(literal 2 binary64)))) (-.f64 (.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 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)) (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (pow.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)) #s(literal 3 binary64)))) (fma.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)) (-.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) #s(literal 1/4 binary64)) (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)) (-.f64 (.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64))) (-.f64 (.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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))))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))))) (.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))))) (fma.f64 #s(literal 729/64000 binary64) (/.f64 (pow.f64 eps #s(literal 6 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)))) (.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (fma.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (.f64 (/.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #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))) (.f64 (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64)) (fma.f64 #s(literal 9/40 binary64) (.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))) #s(literal 1/8 binary64))) (.f64 (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 4 binary64)) #s(literal 1/16 binary64)) (.f64 (fma.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 (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 9 binary64)) #s(literal 1/512 binary64)) (.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 729/512000 binary64) #s(literal 1/64 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (.f64 (+.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 81/6400 binary64) #s(literal 1/16 binary64)) (pow.f64 (.f64 #s(literal 9/40 binary64) (.f64 eps 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 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 6 binary64)) #s(literal 1/64 binary64)) (.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64)) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))))
(neg.f64 (/.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))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64))) (fma.f64 #s(literal 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))))
(neg.f64 (/.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))))
(neg.f64 (/.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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))))))
(-.f64 (.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 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 9/80 binary64) (.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #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 (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 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 (neg.f64 eps)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (neg.f64 eps)) #s(literal 2 binary64))))
(+.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 (exp.f64 (log.f64 eps))) #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)))

eval29.0ms (0.2%)

Memory: -37.9MiB live, 15.2MiB allocated; 26ms collecting garbage
Compiler: Compiled 2 111 to 345 computations (83.7% saved)

prune2.0ms (0%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	70	2	72

Accuracy

100.0%

Counts

72 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

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.6%

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

Compiler

Compiled 65 to 39 computations (40% saved)

regimes3.0ms (0%)

Memory

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

Counts

3 → 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)))

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

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

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

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.6%	1	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
99.6%	1	`eps`

Compiler

Compiled 10 to 7 computations (30% saved)

simplify45.0ms (0.3%)

Memory

-10.5MiB live, 38.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	22	28
2	30	28
3	36	28
4	45	28
5	66	28
6	117	28
7	259	28
8	798	28
9	3972	28

Stop Event

1×	node limit

Calls

Call 1

Inputs

#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))) (-.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))

derivations69.0ms (0.5%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 28 to 14 computations (50% saved)

preprocess15.0ms (0.1%)

Memory: 17.4MiB live, 17.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 88 to 52 computations (40.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze641.0ms (4.9%)

sample9.6s (73.4%)

explain547.0ms (4.2%)

preprocess342.0ms (2.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify288.0ms (2.2%)

localize200.0ms (1.5%)

series4.0ms (0%)

simplify246.0ms (1.9%)

rewrite223.0ms (1.7%)

eval16.0ms (0.1%)

prune4.0ms (0%)

simplify155.0ms (1.2%)

localize322.0ms (2.5%)

series6.0ms (0%)

simplify176.0ms (1.3%)

rewrite152.0ms (1.2%)

eval29.0ms (0.2%)

prune2.0ms (0%)

regimes3.0ms (0%)

regimes2.0ms (0%)

simplify45.0ms (0.3%)

derivations69.0ms (0.5%)

preprocess15.0ms (0.1%)

end0.0ms (0%)

Profiling