Metrics for sintan (problem 3.4.5)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze396.0ms (3%)

Memory

-1.0MiB live, 454.2MiB 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.6s (73.4%)

Memory

103.7MiB live, 9 299.6MiB allocated

Samples

7.1s	4 552×	2	valid
1.2s	1 136×	3	valid
727.0ms	2 458×	1	valid
10.0ms	110×	0	valid

Precisions

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

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

ival-sin: 2.5s (29% of total)

ival-sub: 453.0ms (5.3% of total)

adjust: 313.0ms (3.7% of total)

const: 257.0ms (3% of total)

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

ival-<=: 50.0ms (0.6% of total)

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

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

Bogosity

explain500.0ms (3.8%)

Memory

17.0MiB live, 613.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
165	-	3	(-4.6399744954049355e-104)	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
94	-	0	-	`(-.f64 eps (tan.f64 eps))`
94	-	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	162	0
↳	`(-.f64 eps (sin.f64 eps))`	underflow	162
↳	`(-.f64 eps (tan.f64 eps))`	underflow	162
`-.f64`	`(-.f64 eps (sin.f64 eps))`	cancellation	94	0
`-.f64`	`(-.f64 eps (tan.f64 eps))`	cancellation	94	0

Confusion

	Predicted +	Predicted -
+	255	0
-	1	0

Precision

0.99609375

Recall

1.0

Confusion?

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

Precision?

0.99609375

Recall?

1.0

Freqs

test

number	freq
1	162
2	94

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

282.0ms	274×	2	valid
73.0ms	74×	3	valid
40.0ms	158×	1	valid
0.0ms	6×	0	valid

Compiler

Compiled 57 to 22 computations (61.4% saved)

Precisions

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

ival-tan: 209.0ms (56.8% of total)

ival-sin: 109.0ms (29.6% of total)

adjust: 28.0ms (7.6% of total)

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

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

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

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

preprocess49.0ms (0.4%)

Memory

5.1MiB live, 51.8MiB allocated

Algorithm

1×	egg-herbie

Rules

320×	`lower-fma.f64`
320×	`lower-fma.f32`
192×	`lower-*.f64`
192×	`lower-*.f32`
144×	`div-sub`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	29	23
2	78	18
3	239	18
4	501	18
5	688	18
6	705	18
7	743	18
8	772	18
0	6	9
0	11	9
1	18	9
2	28	9
3	45	9
4	79	9
5	151	9
6	326	9
7	624	9
8	928	9
9	943	9
10	944	9
0	944	9

Stop Event

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

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)))
(/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps))

Symmetry

(abs eps)

Compiler

Compiled 9 to 6 computations (33.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify26.0ms (0.2%)

Memory

3.0MiB live, 39.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)))

Rules

320×	`lower-fma.f64`
320×	`lower-fma.f32`
192×	`lower-*.f64`
192×	`lower-*.f32`
144×	`div-sub`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	22
0	11	22
1	18	22
2	28	22
3	45	22
4	79	22
5	151	22
6	326	22
7	624	22
8	928	22
9	943	22
10	944	22
0	944	22

Stop Event

1×	iter limit
1×	saturated
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 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)

localize289.0ms (2.2%)

Memory

12.3MiB live, 315.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(sin.f64 eps)
accuracy	20.527634190854904	(-.f64 eps (tan.f64 eps))
accuracy	20.567456179015824	(-.f64 eps (sin.f64 eps))
accuracy	40.43569719767658	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Samples

189.0ms	137×	2	valid
56.0ms	79×	1	valid
35.0ms	37×	3	valid
0.0ms	3×	0	valid

Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions

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

ival-tan: 156.0ms (59% of total)

ival-sin: 88.0ms (33.3% of total)

adjust: 10.0ms (3.8% of total)

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

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

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

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

series9.0ms (0.1%)

Memory

-20.4MiB live, 18.8MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())
#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())
#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())
#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())

Outputs
#s(alt -1/2 (taylor 0 eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (pow eps 3)) (taylor 0 eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2)))) (taylor 0 eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120)))) (taylor 0 eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120)))) (taylor 0 eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt eps (taylor 0 eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1/6 (pow eps 2)))) (taylor 0 eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6)))) (taylor 0 eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6)))) (taylor 0 eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (* -1/3 (pow eps 3)) (taylor 0 eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3)) (taylor 0 eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3)) (taylor 0 eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3)) (taylor 0 eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps))))) (taylor inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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))))) (taylor inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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)))))) (taylor inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt eps (taylor inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) eps)))) (taylor inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) eps)))) (taylor inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) eps)))) (taylor inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt eps (taylor inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps)))))) (taylor inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps)))))) (taylor inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps)))))) (taylor inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt (+ 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))) (taylor -inf eps) (#s(alt (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt eps (taylor -inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) eps) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) eps) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) eps) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (sin.f64 eps)) (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor -inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor -inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor -inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt (sin eps) (taylor -inf eps) (#s(alt (sin.f64 eps) (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt eps (taylor -inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1))) (taylor -inf eps) (#s(alt (-.f64 eps (tan.f64 eps)) (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
6.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

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

simplify165.0ms (1.3%)

Memory

35.5MiB live, 184.1MiB allocated

Algorithm

1×	egg-herbie

Rules

12 288×	`lower-fma.f64`
12 288×	`lower-fma.f32`
6 122×	`lower-*.f64`
6 122×	`lower-*.f32`
1 424×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	148	561
1	422	524
2	1321	499
3	5649	444
0	8475	418

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 43

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
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(sin eps)
(sin eps)
(sin eps)
(sin eps)
eps
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
1
(+ 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)))
eps
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(sin eps)
(sin eps)
(sin eps)
(sin eps)
eps
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos 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)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #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 (fma.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 (fma.f64 #s(literal -1/362880 binary64) (.f64 eps eps) #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 (fma.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 (fma.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)
(* -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 (fma.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 (fma.f64 (fma.f64 #s(literal -17/315 binary64) (.f64 eps eps) #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) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -62/2835 binary64) (.f64 eps eps) #s(literal -17/315 binary64)) (.f64 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)))))
(fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (*.f64 eps eps)) (/.f64 #s(literal -1 binary64) eps)) (-.f64 #s(literal 1 binary64) (/.f64 (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))))))
(-.f64 (+.f64 (/.f64 (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps) eps) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps))) (-.f64 (/.f64 (sin.f64 eps) eps) #s(literal 1 binary64)))
eps
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(-.f64 eps (sin.f64 eps))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(-.f64 eps (sin.f64 eps))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(-.f64 eps (sin.f64 eps))
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
eps
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
1
#s(literal 1 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 (sin.f64 eps) (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps)) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps))
eps
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(-.f64 eps (sin.f64 eps))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(-.f64 eps (sin.f64 eps))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(-.f64 eps (sin.f64 eps))
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
(sin eps)
(sin.f64 eps)
eps
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))

rewrite162.0ms (1.2%)

Memory

10.6MiB live, 201.9MiB allocated

Rules

4 318×	`lower-*.f64`
4 318×	`lower-*.f32`
3 264×	`lower-/.f32`
3 262×	`lower-/.f64`
2 758×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
0	11	19
1	51	19
2	408	19
3	5947	19
0	8258	19

Stop Event

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

Counts

4 → 419

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
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval63.0ms (0.5%)

Memory: 12.0MiB live, 121.7MiB allocated
Compiler: Compiled 11 528 to 1 222 computations (89.4% saved)

prune11.0ms (0.1%)

Memory

-1.6MiB live, 34.5MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	458	4	462
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	459	4	463

Accuracy

100.0%

Counts

463 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
▶	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
▶	99.8%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
▶	99.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 38 to 27 computations (28.9% saved)

simplify281.0ms (2.2%)

Memory

-65.6MiB live, 96.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
cost-diff	0	(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
cost-diff	0	(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
cost-diff	0	(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
cost-diff	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(fma.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 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))

Rules

5 656×	`lower-fma.f32`
5 644×	`lower-fma.f64`
1 768×	`lower-*.f32`
1 766×	`lower-*.f64`
912×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	152
0	34	152
1	65	152
2	111	152
3	229	152
4	455	152
5	787	152
6	1248	152
7	1820	152
8	3834	152
9	4943	152
10	5412	152
11	5500	152
12	5531	152
13	5547	152
14	5568	152
15	5676	152
16	5690	152
17	5690	152
18	5690	152
19	5690	152
20	5696	152
0	5696	152

Stop Event

1×	iter limit
1×	saturated
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))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
#s(literal -27/2800 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 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
#s(literal 27/112000 binary64)
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
#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))) (fma.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 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
#s(literal -27/2800 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 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
#s(literal 27/112000 binary64)
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
#s(literal 9/40 binary64)
#s(literal -1/2 binary64)

localize419.0ms (3.2%)

Memory

12.5MiB live, 399.3MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0	(*.f64 eps eps)
accuracy	0	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
accuracy	0.0078125	(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
accuracy	0	(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
accuracy	0	(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0	(*.f64 eps eps)
accuracy	0.0078125	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
accuracy	0	(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
accuracy	0	(*.f64 eps eps)
accuracy	0.11124424181506885	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
accuracy	0.6189088722773775	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Samples

250.0ms	137×	2	valid
66.0ms	78×	1	valid
45.0ms	37×	3	valid
15.0ms	4×	0	valid

Compiler

Compiled 126 to 25 computations (80.2% saved)

Precisions

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

ival-tan: 113.0ms (33.5% of total)

ival-sin: 51.0ms (15.1% of total)

const: 50.0ms (14.8% of total)

ival-div: 43.0ms (12.8% of total)

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

adjust: 24.0ms (7.1% of total)

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

ival-add: 13.0ms (3.9% of total)

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

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

exact: 0.0ms (0% of total)

series10.0ms (0.1%)

Memory

14.9MiB live, 14.9MiB allocated

Counts

11 → 132

Calls

Call 1

Inputs
#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())
#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())

Outputs
#s(alt -1/2 (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt 9/40 (taylor 0 eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* -27/2800 (pow eps 2))) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* -27/2800 (pow eps 2))) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* -27/2800 (pow eps 2))) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt -1/2 (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 9/40 (pow eps 2)) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt 9/40 (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* -27/2800 (pow eps 2))) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800))) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800))) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt -27/2800 (taylor 0 eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 27/112000 (pow eps 2)) 27/2800) (taylor 0 eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 27/112000 (pow eps 2)) 27/2800) (taylor 0 eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 27/112000 (pow eps 2)) 27/2800) (taylor 0 eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (+ 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))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (+ 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)))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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)))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 9/40 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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)))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -27/2800 (pow eps 4)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -27/2800 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ 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)))))) (taylor inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 6)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6)))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 4)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 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))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 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))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 9/40 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 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))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -27/2800 (pow eps 4)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -27/2800 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 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))) (taylor -inf eps) (#s(alt #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) (patch #s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 6)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6)))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) (patch (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 4)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (patch (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 27/112000 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (patch (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) #<representation binary64>) () ())) ())

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) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (+ (* -27/2800 (* eps eps)) 9/40) (* eps eps)) -1/2) (+ (* -27/2800 (* eps eps)) 9/40) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (+ (* (+ (* 27/112000 (* eps eps)) -27/2800) (* eps eps)) 9/40) (* eps eps)) -1/2) (+ (* (+ (* 27/112000 (* eps eps)) -27/2800) (* eps eps)) 9/40) (+ (* 27/112000 (* eps eps)) -27/2800))

1.0ms

eps

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

1.0ms

eps

-inf

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

simplify230.0ms (1.8%)

Memory

-10.5MiB live, 229.0MiB allocated

Algorithm

1×	egg-herbie

Rules

13 476×	`lower-fma.f64`
13 476×	`lower-fma.f32`
5 876×	`lower-*.f64`
5 876×	`lower-*.f32`
3 220×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	1734
1	320	1646
2	996	1546
3	4108	1486
0	8961	1411

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 132

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/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/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* 9/40 (pow eps 2)) 1/2)
(- (* 9/40 (pow eps 2)) 1/2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
-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/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 (* -27/2800 (pow eps 2)))) 1/2)
9/40
(+ 9/40 (* -27/2800 (pow eps 2)))
(+ 9/40 (* -27/2800 (pow eps 2)))
(+ 9/40 (* -27/2800 (pow eps 2)))
-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/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
(+ 9/40 (* -27/2800 (pow eps 2)))
(+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))
(+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))
-27/2800
(- (* 27/112000 (pow eps 2)) 27/2800)
(- (* 27/112000 (pow eps 2)) 27/2800)
(- (* 27/112000 (pow eps 2)) 27/2800)
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))))))
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))))))
(* 9/40 (pow eps 2))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(pow eps 2)
(pow eps 2)
(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))))))
(* -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)))))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(* -27/2800 (pow eps 2))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
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/112000 (pow eps 6))
(* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6))))))
(* 27/112000 (pow eps 4))
(* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* 27/112000 (pow eps 2))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
1
(+ 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
(+ 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)))
(* 9/40 (pow eps 2))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
1
(+ 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)))
(* -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)))))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(* -27/2800 (pow eps 2))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
1
(+ 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)))
(* 27/112000 (pow eps 6))
(* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6))))))
(* 27/112000 (pow eps 4))
(* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(* 27/112000 (pow eps 2))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))

Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(- (* 9/40 (pow eps 2)) 1/2)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(- (* 9/40 (pow eps 2)) 1/2)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
9/40
#s(literal 9/40 binary64)
(+ 9/40 (* -27/2800 (pow eps 2)))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(+ 9/40 (* -27/2800 (pow eps 2)))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(+ 9/40 (* -27/2800 (pow eps 2)))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
9/40
#s(literal 9/40 binary64)
(+ 9/40 (* -27/2800 (pow eps 2)))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))
(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
(+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))
(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
-27/2800
#s(literal -27/2800 binary64)
(- (* 27/112000 (pow eps 2)) 27/2800)
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(- (* 27/112000 (pow eps 2)) 27/2800)
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(- (* 27/112000 (pow eps 2)) 27/2800)
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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))))))
(-.f64 #s(literal 1 binary64) (-.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps) eps) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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))))))
(-.f64 #s(literal 1 binary64) (-.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps) eps) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)))))
(* 9/40 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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))))))
(-.f64 #s(literal 1 binary64) (-.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps) eps) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 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)))
(* (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)))
(* -27/2800 (pow eps 2))
(.f64 #s(literal -27/2800 binary64) (.f64 eps eps))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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))))))
(-.f64 #s(literal 1 binary64) (-.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps) eps) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)))))
(* 27/112000 (pow eps 6))
(*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 27/112000 binary64))
(* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6))))))
(.f64 (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 6 binary64)))) (pow.f64 eps #s(literal 6 binary64)))
(* 27/112000 (pow eps 4))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 27/112000 binary64))
(* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* 27/112000 (pow eps 2))
(.f64 #s(literal 27/112000 binary64) (.f64 eps eps))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
1
#s(literal 1 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 (sin.f64 eps) (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps)) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps))
1
#s(literal 1 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 (sin.f64 eps) (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps)) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps))
(* 9/40 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
1
#s(literal 1 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 (sin.f64 eps) (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps)) (/.f64 (sin.f64 eps) (cos.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)))
(* (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)))
(* -27/2800 (pow eps 2))
(.f64 #s(literal -27/2800 binary64) (.f64 eps eps))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
1
#s(literal 1 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)) (fma.f64 (+.f64 (/.f64 #s(literal -1 binary64) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.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)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (-.f64 (sin.f64 eps) (/.f64 (*.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (fma.f64 (/.f64 (sin.f64 eps) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (/.f64 (sin.f64 eps) eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps)) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps))
(* 27/112000 (pow eps 6))
(*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 27/112000 binary64))
(* (pow eps 6) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(* (pow eps 6) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (+ (* 27/2800 (/ 1 (pow eps 2))) (* 1/2 (/ 1 (pow eps 6))))))
(.f64 (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 6 binary64)))) (pow.f64 eps #s(literal 6 binary64)))
(* 27/112000 (pow eps 4))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 27/112000 binary64))
(* (pow eps 4) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (+ 27/112000 (/ 9/40 (pow eps 4))) (* 27/2800 (/ 1 (pow eps 2)))))
(.f64 (-.f64 (+.f64 (/.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 27/112000 binary64)) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(* 27/112000 (pow eps 2))
(.f64 #s(literal 27/112000 binary64) (.f64 eps eps))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(* (pow eps 2) (- 27/112000 (* 27/2800 (/ 1 (pow eps 2)))))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))

rewrite250.0ms (1.9%)

Memory

12.9MiB live, 276.2MiB allocated

Rules

5 154×	`lower-/.f64`
5 154×	`lower-/.f32`
5 106×	`lower-*.f32`
5 104×	`lower-*.f64`
3 492×	`lower-fma.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	133
0	34	133
1	171	133
2	1312	133
0	8508	133

Stop Event

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

Counts

11 → 244

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))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(*.f64 eps eps)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval77.0ms (0.6%)

Memory: 35.0MiB live, 228.8MiB allocated
Compiler: Compiled 11 351 to 1 337 computations (88.2% saved)

prune14.0ms (0.1%)

Memory

4.1MiB live, 39.4MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	466	0	466
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	466	4	470

Accuracy

100.0%

Counts

470 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
✓	100.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
✓	99.8%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
✓	99.0%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 85 to 48 computations (43.5% saved)

regimes69.0ms (0.5%)

Memory

-43.9MiB live, 25.3MiB 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))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #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 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64)) (*.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))

Calls

2 calls:

66.0ms	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
2.0ms	eps

Results

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

Compiler

Compiled 10 to 7 computations (30% saved)

regimes3.0ms (0%)

Memory

9.5MiB live, 9.5MiB allocated

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

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 7 computations (30% saved)

regimes3.0ms (0%)

Memory

5.1MiB live, 5.1MiB 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))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))

Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.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
99.8%	1	`eps`
99.8%	1	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes19.0ms (0.1%)

Memory

-32.3MiB live, 5.0MiB 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:

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

Results

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

Compiler

Compiled 10 to 7 computations (30% saved)

simplify25.0ms (0.2%)

Memory

24.3MiB live, 60.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	74

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.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 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.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))

soundness357.0ms (2.7%)

Memory

-2.6MiB live, 230.3MiB allocated

Rules

12 288×	`lower-fma.f64`
12 288×	`lower-fma.f32`
6 122×	`lower-*.f64`
6 122×	`lower-*.f32`
1 424×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	148	561
1	422	524
2	1321	499
3	5649	444
0	8475	418

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 72 to 39 computations (45.8% saved)

preprocess46.0ms (0.4%)

Memory: 33.8MiB live, 147.1MiB allocated
Remove: (abs eps)
Compiler: Compiled 142 to 76 computations (46.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	27
1	29	23
2	78	18
3	239	18
4	501	18
5	688	18
6	705	18
7	743	18
8	772	18
0	6	9
0	11	9
1	18	9
2	28	9
3	45	9
4	79	9
5	151	9
6	326	9
7	624	9
8	928	9
9	943	9
10	944	9
0	944	9

Iter	Nodes	Cost
0	6	22
0	11	22
1	18	22
2	28	22
3	45	22
4	79	22
5	151	22
6	326	22
7	624	22
8	928	22
9	943	22
10	944	22
0	944	22

Iter	Nodes	Cost
0	8	27
1	29	23
2	78	18
3	239	18
4	501	18
5	688	18
6	705	18
7	743	18
8	772	18
0	6	9
0	11	9
1	18	9
2	28	9
3	45	9
4	79	9
5	151	9
6	326	9
7	624	9
8	928	9
9	943	9
10	944	9
0	944	9

Iter	Nodes	Cost
0	6	22
0	11	22
1	18	22
2	28	22
3	45	22
4	79	22
5	151	22
6	326	22
7	624	22
8	928	22
9	943	22
10	944	22
0	944	22

start0.0ms (0%)

analyze396.0ms (3%)

sample9.6s (73.4%)

explain500.0ms (3.8%)

preprocess49.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify26.0ms (0.2%)

localize289.0ms (2.2%)

series9.0ms (0.1%)

simplify165.0ms (1.3%)

rewrite162.0ms (1.2%)

eval63.0ms (0.5%)

prune11.0ms (0.1%)

simplify281.0ms (2.2%)

localize419.0ms (3.2%)

series10.0ms (0.1%)

simplify230.0ms (1.8%)

rewrite250.0ms (1.9%)

eval77.0ms (0.6%)

prune14.0ms (0.1%)

regimes69.0ms (0.5%)

regimes3.0ms (0%)

regimes3.0ms (0%)

regimes19.0ms (0.1%)

simplify25.0ms (0.2%)

soundness357.0ms (2.7%)

preprocess46.0ms (0.4%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	27
1	29	23
2	78	18
3	239	18
4	501	18
5	688	18
6	705	18
7	743	18
8	772	18
0	6	9
0	11	9
1	18	9
2	28	9
3	45	9
4	79	9
5	151	9
6	326	9
7	624	9
8	928	9
9	943	9
10	944	9
0	944	9

Iter	Nodes	Cost
0	6	22
0	11	22
1	18	22
2	28	22
3	45	22
4	79	22
5	151	22
6	326	22
7	624	22
8	928	22
9	943	22
10	944	22
0	944	22