Metrics for sintan (problem 3.4.5)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze389.0ms (3%)

Memory

21.5MiB live, 408.9MiB 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.7s (74.3%)

Memory

119.2MiB live, 9 279.0MiB allocated

Samples

6.8s	4 494×	2	valid
1.6s	1 171×	3	valid
729.0ms	2 451×	1	valid
61.0ms	140×	0	valid

Precisions

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

ival-tan: 4.9s (55.8% of total)

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

ival-sub: 479.0ms (5.5% of total)

adjust: 373.0ms (4.2% of total)

const: 307.0ms (3.5% of total)

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

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

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

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

Bogosity

explain540.0ms (4.1%)

Memory

-37.3MiB live, 736.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
154	-	2	(-1.2000705675650173e-107)	`(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))`
104	-	0	-	`(-.f64 eps (tan.f64 eps))`
104	-	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	152	0
↳	`(-.f64 eps (sin.f64 eps))`	underflow	152
↳	`(-.f64 eps (tan.f64 eps))`	underflow	152
`-.f64`	`(-.f64 eps (sin.f64 eps))`	cancellation	104	0
`-.f64`	`(-.f64 eps (tan.f64 eps))`	cancellation	104	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	152
2	104

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

365.0ms	260×	2	valid
70.0ms	72×	3	valid
28.0ms	160×	1	valid
1.0ms	20×	0	valid

Compiler

Compiled 79 to 28 computations (64.6% saved)

Precisions

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

ival-tan: 280.0ms (63.7% of total)

ival-sin: 120.0ms (27.3% of total)

adjust: 18.0ms (4.1% of total)

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

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

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

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

preprocess45.0ms (0.3%)

Memory

20.5MiB live, 20.5MiB allocated

Algorithm

1×	egg-herbie

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 (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.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify33.0ms (0.3%)

Memory

-17.1MiB live, 19.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	22
0	11	22
1	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 (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)

localize195.0ms (1.5%)

Memory

-18.0MiB live, 197.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(sin.f64 eps)
accuracy	21.96558523303881	(-.f64 eps (tan.f64 eps))
accuracy	21.982511426031625	(-.f64 eps (sin.f64 eps))
accuracy	38.07172808984728	(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

Samples

145.0ms	130×	2	valid
26.0ms	36×	3	valid
14.0ms	80×	1	valid
1.0ms	10×	0	valid

Compiler

Compiled 46 to 14 computations (69.6% saved)

Precisions

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

ival-tan: 105.0ms (60.7% of total)

ival-sin: 48.0ms (27.7% of total)

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

adjust: 8.0ms (4.6% of total)

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

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

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

series5.0ms (0%)

Memory

3.5MiB live, 3.5MiB allocated

Counts

4 → 48

Calls

Call 1

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

Outputs
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (sin.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (sin.f64 eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 eps (tan.f64 eps)) #<representation binary64>) () ())) ())

Calls

3 calls:

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

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

simplify166.0ms (1.3%)

Memory

1.7MiB live, 190.8MiB allocated

Algorithm

1×	egg-herbie

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
#s(literal -1/2 binary64)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #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 (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 (pow.f64 eps #s(literal 3 binary64)) #s(literal 1/6 binary64))
(.f64 (fma.f64 #s(literal -1/120 binary64) (.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(.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)))
(.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
(fma.f64 #s(literal -1/6 binary64) (pow.f64 eps #s(literal 3 binary64)) eps)
(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)
(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)
(*.f64 #s(literal -1/3 binary64) (pow.f64 eps #s(literal 3 binary64)))
(.f64 (fma.f64 #s(literal -2/15 binary64) (.f64 eps eps) #s(literal -1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(.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)))
(.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)))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(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)))
(-.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
(-.f64 eps (sin.f64 eps))
(-.f64 eps (sin.f64 eps))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(sin.f64 eps)
(sin.f64 eps)
(sin.f64 eps)
eps
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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
(-.f64 eps (sin.f64 eps))
(-.f64 eps (sin.f64 eps))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(sin.f64 eps)
(sin.f64 eps)
(sin.f64 eps)
eps
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))

rewrite168.0ms (1.3%)

Memory

41.0MiB live, 218.5MiB allocated

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>

eval91.0ms (0.7%)

Memory: -9.5MiB live, 101.9MiB allocated
Compiler: Compiled 11 738 to 1 227 computations (89.5% saved)

prune8.0ms (0.1%)

Memory

32.4MiB live, 32.4MiB 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)))
▶	99.9%	#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)))
▶	98.3%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 74 to 47 computations (36.5% saved)

simplify337.0ms (2.6%)

Memory

-33.7MiB live, 198.3MiB 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))

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

localize343.0ms (2.6%)

Memory

-1.0MiB live, 495.8MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
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.01171875	(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.02734375	(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	(*.f64 eps eps)
accuracy	0.01953125	(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
accuracy	0.05240008195994695	#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.13898645988505265	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
accuracy	1.119336154216728	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Samples

215.0ms	129×	2	valid
60.0ms	80×	1	valid
40.0ms	37×	3	valid
2.0ms	10×	0	valid

Compiler

Compiled 278 to 46 computations (83.5% saved)

Precisions

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

ival-tan: 101.0ms (37.4% of total)

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

adjust: 40.0ms (14.8% of total)

ival-sub: 19.0ms (7% of total)

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

const: 16.0ms (5.9% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series11.0ms (0.1%)

Memory

8.6MiB live, 8.6MiB allocated

Counts

11 → 132

Calls

Call 1

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

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

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

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

simplify174.0ms (1.3%)

Memory

12.7MiB live, 172.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	1734
1	320	1646
2	996	1546
3	4107	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
#s(literal -1/2 binary64)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #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 (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(literal -1/2 binary64)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #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 (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(literal -1/2 binary64)
(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))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(*.f64 eps eps)
(*.f64 eps eps)
(*.f64 eps eps)
(*.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 (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 (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(literal -1/2 binary64)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #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 (fma.f64 #s(literal -27/2800 binary64) (.f64 eps eps) #s(literal 9/40 binary64)) (.f64 eps eps) #s(literal -1/2 binary64))
#s(literal 9/40 binary64)
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.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))
(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 (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(literal -1/2 binary64)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #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 (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(literal 9/40 binary64)
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 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 (fma.f64 #s(literal 27/112000 binary64) (.f64 eps eps) #s(literal -27/2800 binary64)) (.f64 eps eps) #s(literal 9/40 binary64))
#s(literal -27/2800 binary64)
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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)))))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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)))))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(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))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(*.f64 eps eps)
(*.f64 eps eps)
(*.f64 eps eps)
(*.f64 eps eps)
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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)))))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64))
(.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(.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)))
(.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)))
(.f64 #s(literal -27/2800 binary64) (.f64 eps eps))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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)))))
(*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 27/112000 binary64))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(.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)))
(.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)))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 27/112000 binary64))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(.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)))
(.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)))
(.f64 #s(literal 27/112000 binary64) (.f64 eps eps))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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))
(.f64 (.f64 eps eps) #s(literal 9/40 binary64))
(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))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(*.f64 eps eps)
(*.f64 eps eps)
(*.f64 eps eps)
(*.f64 eps eps)
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64))
(.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(.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)))
(.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)))
(.f64 #s(literal -27/2800 binary64) (.f64 eps eps))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
(fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64))
#s(literal 1 binary64)
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(-.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))
(-.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))
(*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 27/112000 binary64))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 6 binary64)))
(.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)))
(.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)))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 27/112000 binary64))
(.f64 (-.f64 #s(literal 27/112000 binary64) (/.f64 #s(literal 27/2800 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 4 binary64)))
(.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)))
(.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)))
(.f64 #s(literal 27/112000 binary64) (.f64 eps eps))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))
(fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64))

rewrite197.0ms (1.5%)

Memory

-9.0MiB live, 237.2MiB allocated

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: -21.6MiB live, 173.9MiB allocated
Compiler: Compiled 16 553 to 1 359 computations (91.8% saved)

prune12.0ms (0.1%)

Memory

37.6MiB live, 37.6MiB 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)))
✓	99.9%	#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)))
✓	98.3%	#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

Compiler

Compiled 157 to 73 computations (53.5% saved)

regimes73.0ms (0.6%)

Memory

-29.1MiB live, 9.4MiB 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:

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

regimes4.0ms (0%)

Memory

5.9MiB live, 5.9MiB 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
99.9%	1	`eps`
99.9%	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.6MiB live, 5.6MiB 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)

regimes2.0ms (0%)

Memory

4.0MiB live, 4.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:

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

Results

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

Compiler

Compiled 10 to 7 computations (30% saved)

simplify54.0ms (0.4%)

Memory

-16.5MiB live, 38.9MiB 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))

soundness361.0ms (2.8%)

Memory

9.1MiB live, 225.0MiB allocated

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 108 to 44 computations (59.3% saved)

preprocess59.0ms (0.5%)

Memory: 5.6MiB live, 112.1MiB allocated
Remove: (abs eps)
Compiler: Compiled 232 to 96 computations (58.6% 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%)

analyze389.0ms (3%)

sample9.7s (74.3%)

explain540.0ms (4.1%)

preprocess45.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify33.0ms (0.3%)

localize195.0ms (1.5%)

series5.0ms (0%)

simplify166.0ms (1.3%)

rewrite168.0ms (1.3%)

eval91.0ms (0.7%)

prune8.0ms (0.1%)

simplify337.0ms (2.6%)

localize343.0ms (2.6%)

series11.0ms (0.1%)

simplify174.0ms (1.3%)

rewrite197.0ms (1.5%)

eval77.0ms (0.6%)

prune12.0ms (0.1%)

regimes73.0ms (0.6%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes2.0ms (0%)

simplify54.0ms (0.4%)

soundness361.0ms (2.8%)

preprocess59.0ms (0.5%)

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