sintan (problem 3.4.5)

Time bar (total: 13.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze410.0ms (3%)

Memory
45.3MiB live, 431.6MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample10.1s (75.1%)

Memory
56.0MiB live, 8 527.8MiB allocated
Samples
7.4s4 474×2valid
1.5s1 208×3valid
699.0ms2 444×1valid
15.0ms130×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-tan: 5.2s (57% of total)
ival-sin: 2.4s (26% of total)
ival-sub: 394.0ms (4.3% of total)
adjust: 380.0ms (4.2% of total)
ival-div: 374.0ms (4.1% of total)
const: 280.0ms (3.1% of total)
ival-<=: 110.0ms (1.2% of total)
ival-and: 13.0ms (0.1% of total)
ival-assert: 4.0ms (0% of total)
Bogosity

explain761.0ms (5.6%)

Memory
0.9MiB live, 790.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1650-2(4.6796395697067814e-108)(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
921(4.6796395697067814e-108)0-(-.f64 eps (tan.f64 eps))
921(4.6796395697067814e-108)0-(-.f64 eps (sin.f64 eps))
00-0-(tan.f64 eps)
00-0-eps
00-0-(sin.f64 eps)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))u/u1630
(-.f64 eps (sin.f64 eps))underflow163
(-.f64 eps (tan.f64 eps))underflow163
-.f64(-.f64 eps (sin.f64 eps))cancellation930
-.f64(-.f64 eps (tan.f64 eps))cancellation930
Confusion
Predicted +Predicted -
+2560
-00
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+25600
-000
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
1163
293
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
561.0ms260×2valid
76.0ms82×3valid
63.0ms170×1valid
Compiler

Compiled 57 to 22 computations (61.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 647.0ms
ival-tan: 375.0ms (58% of total)
ival-sin: 232.0ms (35.9% of total)
adjust: 18.0ms (2.8% of total)
ival-sub: 15.0ms (2.3% of total)
ival-div: 7.0ms (1.1% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess49.0ms (0.4%)

Memory
-12.9MiB live, 60.9MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0827
12923
27818
323818
450418
569318
671018
774818
877718
069
0119
1189
2289
3459
4799
51539
63289
76459
89839
99989
109999
09999
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps))
Symmetry

(abs eps)

Compiler

Compiled 9 to 6 computations (33.3% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune2.0ms (0%)

Memory
2.5MiB live, 2.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
0.3%
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify19.0ms (0.1%)

Memory
30.2MiB live, 30.2MiB allocated
Algorithm
egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 eps (tan.f64 eps))
cost-diff0
(sin.f64 eps)
cost-diff0
(-.f64 eps (sin.f64 eps))
cost-diff0
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0622
01122
11822
22822
34522
47922
515322
632822
764522
898322
999822
1099922
099922
Stop Event
iter limit
saturated
iter limit
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)

localize354.0ms (2.6%)

Memory
-21.0MiB live, 344.0MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(sin.f64 eps)
accuracy21.28930172323081
(-.f64 eps (sin.f64 eps))
accuracy21.3076277921147
(-.f64 eps (tan.f64 eps))
accuracy40.80852075829318
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Samples
291.0ms130×2valid
31.0ms41×3valid
16.0ms85×1valid
Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 325.0ms
ival-tan: 208.0ms (64% of total)
ival-sin: 91.0ms (28% of total)
adjust: 14.0ms (4.3% of total)
ival-sub: 7.0ms (2.2% of total)
ival-div: 3.0ms (0.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series4.0ms (0%)

Memory
6.3MiB live, 6.3MiB allocated
Counts
4 → 28
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
Outputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 1/6 (pow eps 3))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(* -1/3 (pow eps 3))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(sin eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
eps
@inf
((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))
1.0ms
eps
@-inf
((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))
1.0ms
eps
@0
((/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (sin eps) (- eps (tan eps)))

simplify183.0ms (1.4%)

Memory
7.9MiB live, 194.1MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0148465
1422433
21323408
35663369
08263341
Stop Event
iter limit
node limit
Counts
28 → 27
Calls
Call 1
Inputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 1/6 (pow eps 3))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(* -1/3 (pow eps 3))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(sin eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64)) (*.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(* 1/6 (pow eps 3))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal 1/6 binary64))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(*.f64 (fma.f64 #s(literal -1/120 binary64) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(*.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (*.f64 eps eps) #s(literal -1/120 binary64)) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
(*.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -1/362880 binary64) (*.f64 eps eps) #s(literal 1/5040 binary64)) (*.f64 eps eps) #s(literal -1/120 binary64)) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(fma.f64 #s(literal -1/6 binary64) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(fma.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 eps eps) #s(literal -1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(fma.f64 (fma.f64 (fma.f64 #s(literal -1/5040 binary64) (*.f64 eps eps) #s(literal 1/120 binary64)) (*.f64 eps eps) #s(literal -1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)) eps)
(* -1/3 (pow eps 3))
(*.f64 #s(literal -1/3 binary64) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(*.f64 (fma.f64 #s(literal -2/15 binary64) (*.f64 eps eps) #s(literal -1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(*.f64 (fma.f64 (fma.f64 #s(literal -17/315 binary64) (*.f64 eps eps) #s(literal -2/15 binary64)) (*.f64 eps eps) #s(literal -1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
(*.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -62/2835 binary64) (*.f64 eps eps) #s(literal -17/315 binary64)) (*.f64 eps eps) #s(literal -2/15 binary64)) (*.f64 eps eps) #s(literal -1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) (-.f64 #s(literal -1 binary64) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(-.f64 (fma.f64 (/.f64 (/.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (cos.f64 eps)) (*.f64 eps eps)) (+.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) eps) (cos.f64 eps)) (sin.f64 eps)) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps))) (-.f64 (/.f64 (sin.f64 eps) eps) #s(literal 1 binary64)))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(fma.f64 (sin.f64 eps) #s(literal -1 binary64) eps)
(sin eps)
(sin.f64 eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) (-.f64 #s(literal -1 binary64) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) (*.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64))) (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(fma.f64 (sin.f64 eps) #s(literal -1 binary64) eps)
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(-.f64 eps (/.f64 (sin.f64 eps) (cos.f64 eps)))

rewrite205.0ms (1.5%)

Memory
-18.2MiB live, 309.3MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0619
01119
15119
240919
3597819
0830619
Stop Event
iter limit
node limit
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
(*.f64 (/.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)))
(*.f64 (/.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)))
(*.f64 (/.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps))))
(*.f64 (/.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps))) (+.f64 (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (-.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) #s(literal -1 binary64)) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(*.f64 (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps))
(*.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 (sin.f64 eps) eps)) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal -1/2 binary64)))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)))
(*.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (/.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (sin.f64 eps) eps)))
(*.f64 (/.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))) (/.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (/.f64 (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (/.f64 (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (/.f64 (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(*.f64 (pow.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) #s(literal -1 binary64)) (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 eps (sin.f64 eps))))
(*.f64 (pow.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) #s(literal -1 binary64)) (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (-.f64 eps (sin.f64 eps))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(*.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64))) (pow.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (-.f64 (sin.f64 eps) eps))
(*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (-.f64 eps (sin.f64 eps)))
(*.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64))) (pow.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))) #s(literal -1 binary64)))
(*.f64 (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -2 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(*.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) #s(literal -1 binary64)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (/.f64 (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (-.f64 eps (tan.f64 eps))))
(*.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps)))
(*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (pow.f64 (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))) #s(literal -1 binary64)))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (/.f64 (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (-.f64 eps (tan.f64 eps))))
(*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))))
(*.f64 (-.f64 (sin.f64 eps) eps) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps)) #s(literal 1 binary64))
(*.f64 (-.f64 eps (sin.f64 eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)))
(pow.f64 (*.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)) (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps)) #s(literal 1 binary64))
(/.f64 (/.f64 (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps))) (-.f64 eps (tan.f64 eps))) (-.f64 eps (tan.f64 eps)))
(/.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps))
(/.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal -1 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (/.f64 (-.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (-.f64 eps (tan.f64 eps)))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (+.f64 (sin.f64 eps) eps))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(/.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps)))) (+.f64 (sin.f64 eps) eps))
(/.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps)))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64)))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64)))) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))))
(/.f64 (*.f64 #s(literal 1 binary64) (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps)))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 (*.f64 (-.f64 (sin.f64 eps) eps) #s(literal 1 binary64)) (-.f64 (tan.f64 eps) eps))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 (sin.f64 eps) eps)) (-.f64 (tan.f64 eps) eps))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) #s(literal 2 binary64))) (-.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(/.f64 (+.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) #s(literal 2 binary64)) (*.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))))
(/.f64 (neg.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps)))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (neg.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps)))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64)))) (neg.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64)))) (neg.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps)))) (neg.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) (*.f64 (-.f64 (tan.f64 eps) eps) (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (*.f64 (-.f64 (tan.f64 eps) eps) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal -1 binary64)) (*.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (-.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal 1 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal 1 binary64)) (*.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal -1 binary64)) (*.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal 1 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal 1 binary64)) (*.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(/.f64 (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) #s(literal -1 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) #s(literal -1 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (*.f64 (neg.f64 eps) (-.f64 (tan.f64 eps) eps)) (*.f64 (-.f64 (tan.f64 eps) eps) (neg.f64 (sin.f64 eps)))) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (neg.f64 eps) (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (*.f64 (-.f64 (tan.f64 eps) eps) #s(literal 1 binary64))) (*.f64 (-.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))))
(/.f64 (-.f64 (*.f64 (neg.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps))) (*.f64 (-.f64 (tan.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (-.f64 (tan.f64 eps) eps)) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) (neg.f64 (sin.f64 eps)))) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) (-.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) #s(literal 1 binary64))) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))))
(/.f64 (-.f64 (-.f64 eps (tan.f64 eps)) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) (sin.f64 eps))) (*.f64 (/.f64 (-.f64 eps (tan.f64 eps)) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (*.f64 eps (-.f64 (tan.f64 eps) eps)) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (sin.f64 eps)))) (*.f64 (-.f64 eps (tan.f64 eps)) (-.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (*.f64 eps (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (-.f64 eps (tan.f64 eps))) (*.f64 (-.f64 eps (tan.f64 eps)) (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))))
(/.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 eps (sin.f64 eps))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))
(/.f64 (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (-.f64 eps (sin.f64 eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))
(/.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64)))
(/.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(/.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))) (+.f64 (sin.f64 eps) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)))
(/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (*.f64 (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))) (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64))) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))))
(/.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (neg.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (*.f64 (-.f64 (tan.f64 eps) eps) (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (*.f64 (-.f64 (tan.f64 eps) eps) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (*.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)) (-.f64 (tan.f64 eps) eps)))
(/.f64 #s(literal -1 binary64) (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 eps (sin.f64 eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (-.f64 (tan.f64 eps) eps) (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (-.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 eps (tan.f64 eps)))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))) (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)) (fma.f64 (-.f64 eps (tan.f64 eps)) eps (*.f64 (-.f64 (tan.f64 eps) eps) (sin.f64 eps)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (-.f64 (tan.f64 eps) eps) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 (tan.f64 eps) eps))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps))))
(neg.f64 (*.f64 #s(literal 1 binary64) (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(neg.f64 (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 eps (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 eps (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (*.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (*.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (*.f64 eps #s(literal 1 binary64)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(fma.f64 (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) eps (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) eps (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) eps (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (neg.f64 eps) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (neg.f64 eps) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (neg.f64 eps) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 #s(literal -1 binary64) (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (neg.f64 (sin.f64 eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 #s(literal 1 binary64) (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 #s(literal 1 binary64) (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 #s(literal 1 binary64) (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 1 binary64) (*.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) #s(literal 1 binary64)))
(fma.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(fma.f64 (sin.f64 eps) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(fma.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(fma.f64 eps (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(fma.f64 eps (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(fma.f64 eps (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -2 binary64)) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps))))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))) (/.f64 (pow.f64 (/.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) #s(literal -3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (+.f64 (sin.f64 eps) eps)) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(-.f64 (/.f64 (*.f64 (-.f64 eps (tan.f64 eps)) eps) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))) (/.f64 (*.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(-.f64 (/.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 (tan.f64 eps) eps)) (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(-.f64 #s(literal 0 binary64) (/.f64 (-.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))))
(+.f64 (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (*.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 1 binary64)) (*.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) #s(literal 1 binary64)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (tan.f64 eps) eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(+.f64 (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(+.f64 (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)) (/.f64 eps (-.f64 eps (tan.f64 eps))))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) (neg.f64 (sin.f64 eps))))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps))))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 (tan.f64 eps) eps)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 (tan.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) #s(literal -1 binary64)))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (-.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)))
(*.f64 (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))
(*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (pow.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (-.f64 (sin.f64 eps) eps))
(*.f64 (+.f64 (sin.f64 eps) eps) (*.f64 (-.f64 eps (sin.f64 eps)) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64))))
(*.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (sin.f64 eps) eps)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (-.f64 eps (sin.f64 eps)))
(*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (*.f64 (-.f64 eps (sin.f64 eps)) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))))
(*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(*.f64 (-.f64 eps (sin.f64 eps)) #s(literal 1 binary64))
(pow.f64 (/.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal 1 binary64))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64))) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64))) (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))) (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (*.f64 eps eps)) (-.f64 (neg.f64 (sin.f64 eps)) eps))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64)) (*.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (neg.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps))) (+.f64 (sin.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (*.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) #s(literal 1 binary64)) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) #s(literal 1 binary64)) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) #s(literal 1 binary64)) (*.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) #s(literal 1 binary64)) (*.f64 (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 (*.f64 eps eps) (+.f64 (sin.f64 eps) eps)) (*.f64 (+.f64 (sin.f64 eps) eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))))))
(/.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 (sin.f64 eps) eps)) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (fma.f64 (sin.f64 eps) (sin.f64 eps) (-.f64 (*.f64 eps eps) (*.f64 (neg.f64 (sin.f64 eps)) eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(neg.f64 (-.f64 (sin.f64 eps) eps))
(fma.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (+.f64 (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (-.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (/.f64 (pow.f64 eps #s(literal 3/2 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 #s(literal -1 binary64) (sin.f64 eps) eps)
(fma.f64 (*.f64 eps eps) (/.f64 eps (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 (*.f64 eps eps) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 (sin.f64 eps) #s(literal -1 binary64) eps)
(fma.f64 eps (/.f64 (*.f64 eps eps) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(-.f64 (+.f64 eps #s(literal 0 binary64)) (sin.f64 eps))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(-.f64 #s(literal 0 binary64) (-.f64 (sin.f64 eps) eps))
(-.f64 eps (sin.f64 eps))
(+.f64 (neg.f64 (neg.f64 eps)) (neg.f64 (sin.f64 eps)))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(+.f64 (neg.f64 (sin.f64 eps)) eps)
(+.f64 eps (neg.f64 (sin.f64 eps)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 eps (sin.f64 eps)) #s(literal -1 binary64))) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (sin.f64 eps)))
(*.f64 #s(literal 1 binary64) (sin.f64 eps))
(neg.f64 (neg.f64 (sin.f64 eps)))
(sin.f64 eps)
(-.f64 #s(literal 0 binary64) (neg.f64 (sin.f64 eps)))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(*.f64 (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))
(*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps)) (pow.f64 (neg.f64 (+.f64 (tan.f64 eps) eps)) #s(literal -1 binary64)))
(*.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (-.f64 (tan.f64 eps) eps))
(*.f64 (+.f64 (tan.f64 eps) eps) (*.f64 (-.f64 eps (tan.f64 eps)) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64))))
(*.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (tan.f64 eps)) (+.f64 (tan.f64 eps) eps)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (-.f64 eps (tan.f64 eps)))
(*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (*.f64 (-.f64 eps (tan.f64 eps)) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))))
(*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (tan.f64 eps)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (/.f64 (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(*.f64 (-.f64 eps (tan.f64 eps)) #s(literal 1 binary64))
(pow.f64 (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 1 binary64))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (tan.f64 eps) #s(literal 4 binary64))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64))) (fma.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (tan.f64 eps) #s(literal 9 binary64))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64))) (+.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (pow.f64 (*.f64 (tan.f64 eps) eps) #s(literal 3 binary64))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (*.f64 eps eps)) (-.f64 (neg.f64 (tan.f64 eps)) eps))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64)) (*.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (neg.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps))) (+.f64 (tan.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (tan.f64 eps) #s(literal 4 binary64))) #s(literal 1 binary64)) (*.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (fma.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) #s(literal 1 binary64)) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (tan.f64 eps) #s(literal 9 binary64))) #s(literal 1 binary64)) (*.f64 (+.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (pow.f64 (*.f64 (tan.f64 eps) eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (tan.f64 eps) eps))
(/.f64 (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (*.f64 (*.f64 eps eps) (+.f64 (tan.f64 eps) eps)) (*.f64 (+.f64 (tan.f64 eps) eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (tan.f64 eps) #s(literal 4 binary64))) (*.f64 (+.f64 (tan.f64 eps) eps) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (tan.f64 eps) #s(literal 9 binary64))) (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (+.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (pow.f64 (*.f64 (tan.f64 eps) eps) #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (*.f64 (+.f64 (tan.f64 eps) eps) (fma.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))))
(/.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps)) (*.f64 #s(literal 1 binary64) (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (-.f64 (tan.f64 eps) eps)) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 #s(literal -1 binary64) (pow.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (*.f64 #s(literal 1 binary64) (+.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (*.f64 #s(literal 1 binary64) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (tan.f64 eps) (tan.f64 eps) (-.f64 (*.f64 eps eps) (*.f64 (neg.f64 (tan.f64 eps)) eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (tan.f64 eps) eps) #s(literal -1 binary64))
(/.f64 (-.f64 eps (tan.f64 eps)) #s(literal 1 binary64))
(neg.f64 (-.f64 (tan.f64 eps) eps))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(fma.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (/.f64 (pow.f64 eps #s(literal 3/2 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 #s(literal -1 binary64) (tan.f64 eps) eps)
(fma.f64 (neg.f64 (sin.f64 eps)) (pow.f64 (cos.f64 eps) #s(literal -1 binary64)) eps)
(fma.f64 (*.f64 eps eps) (/.f64 eps (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 (*.f64 eps eps) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 (tan.f64 eps) #s(literal -1 binary64) eps)
(fma.f64 (sin.f64 eps) (neg.f64 (pow.f64 (cos.f64 eps) #s(literal -1 binary64))) eps)
(fma.f64 (sin.f64 eps) (pow.f64 (neg.f64 (cos.f64 eps)) #s(literal -1 binary64)) eps)
(fma.f64 eps (/.f64 (*.f64 eps eps) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(-.f64 (+.f64 eps #s(literal 0 binary64)) (tan.f64 eps))
(-.f64 (/.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 1 binary64)) (/.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 1 binary64)))
(-.f64 (/.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 1 binary64)) (/.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 1 binary64)))
(-.f64 (/.f64 eps #s(literal 1 binary64)) (/.f64 (tan.f64 eps) #s(literal 1 binary64)))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(-.f64 #s(literal 0 binary64) (-.f64 (tan.f64 eps) eps))
(-.f64 eps (tan.f64 eps))
(+.f64 (neg.f64 (neg.f64 eps)) (neg.f64 (tan.f64 eps)))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (neg.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(+.f64 (neg.f64 (tan.f64 eps)) eps)
(+.f64 eps (neg.f64 (tan.f64 eps)))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 eps (tan.f64 eps))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal -1 binary64))) #s(literal -1 binary64)))

eval36.0ms (0.3%)

Memory
27.0MiB live, 95.9MiB allocated
Compiler

Compiled 11 420 to 1 220 computations (89.3% saved)

prune11.0ms (0.1%)

Memory
-15.2MiB live, 33.1MiB allocated
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New4402442
Fresh000
Picked101
Done000
Total4412443
Accuracy
100.0%
Counts
443 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
99.9%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Compiler

Compiled 27 to 19 computations (29.6% saved)

simplify37.0ms (0.3%)

Memory
9.8MiB live, 48.6MiB allocated
Algorithm
egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 eps eps)
cost-diff0
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
cost-diff0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
cost-diff0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01240
01540
12640
23940
35640
49040
518240
636640
771040
8117240
9123440
10125640
11127040
12127840
13129040
14129540
0129540
Stop Event
iter limit
saturated
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)
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))
(*.f64 eps eps)
eps
#s(literal 9/40 binary64)
#s(literal -1/2 binary64)

localize398.0ms (3%)

Memory
-1.0MiB live, 350.1MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
accuracy0.0
(*.f64 eps eps)
accuracy0.0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
accuracy0.06085370936331516
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Samples
241.0ms130×2valid
121.0ms41×3valid
26.0ms85×1valid
Compiler

Compiled 34 to 13 computations (61.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 371.0ms
ival-sin: 187.0ms (50.4% of total)
ival-tan: 146.0ms (39.3% of total)
adjust: 12.0ms (3.2% of total)
ival-sub: 7.0ms (1.9% of total)
ival-add: 7.0ms (1.9% of total)
const: 4.0ms (1.1% of total)
ival-div: 3.0ms (0.8% of total)
ival-mult: 3.0ms (0.8% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

series3.0ms (0%)

Memory
4.3MiB live, 4.3MiB allocated
Counts
4 → 14
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (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)
Outputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(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))))))
(* 9/40 (pow eps 2))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
eps
@0
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* eps eps) 9/40) -1/2) (* eps eps))
1.0ms
eps
@inf
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* eps eps) 9/40) -1/2) (* eps eps))
1.0ms
eps
@-inf
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (* eps eps) 9/40) -1/2) (* eps eps))

simplify236.0ms (1.8%)

Memory
-14.3MiB live, 117.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
082271
1250252
2816227
33566206
08234196
Stop Event
iter limit
node limit
Counts
14 → 14
Calls
Call 1
Inputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(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))))))
(* 9/40 (pow eps 2))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (fma.f64 #s(literal -27/2800 binary64) (*.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (fma.f64 (fma.f64 #s(literal 27/112000 binary64) (*.f64 eps eps) #s(literal -27/2800 binary64)) (*.f64 eps eps) #s(literal 9/40 binary64)) (*.f64 eps eps) #s(literal -1/2 binary64))
(pow eps 2)
(*.f64 eps eps)
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 #s(literal 1 binary64) (cos.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (+.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) eps) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(-.f64 #s(literal 1 binary64) (-.f64 (/.f64 (sin.f64 eps) eps) (fma.f64 (/.f64 (/.f64 (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (cos.f64 eps)) (*.f64 eps eps)) (+.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) eps) (cos.f64 eps)) (sin.f64 eps)) (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)))))
(* 9/40 (pow eps 2))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (+.f64 (/.f64 #s(literal 1 binary64) (cos.f64 eps)) #s(literal -1 binary64)) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (+.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64)) (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) (*.f64 (+.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64)) (/.f64 (sin.f64 eps) (cos.f64 eps))) (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps)))) eps))

rewrite157.0ms (1.2%)

Memory
8.8MiB live, 137.2MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01236
01536
17436
256636
3734636
0833636
Stop Event
iter limit
node limit
iter limit
Counts
4 → 75
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)
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #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)))
(*.f64 (/.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal -9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))
(*.f64 (/.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) (-.f64 (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64)) (pow.f64 (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)) #s(literal 2 binary64)))) (-.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (*.f64 (*.f64 eps eps) #s(literal 9/80 binary64))))
(*.f64 (/.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (pow.f64 (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)) #s(literal 3 binary64)))) (fma.f64 (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)) (-.f64 (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)) (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64))))
(*.f64 (/.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(*.f64 (-.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))))
(*.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)))
(*.f64 (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) #s(literal -1 binary64)) (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(*.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(*.f64 (neg.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))))))
(*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(*.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) #s(literal -1 binary64))
(/.f64 (*.f64 (-.f64 (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64)) #s(literal 1/16 binary64)) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)))
(/.f64 (*.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal -1 binary64))) (+.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 81/6400 binary64) #s(literal 1/16 binary64)) (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64))))
(/.f64 (*.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) #s(literal -1 binary64))) (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64)))
(/.f64 (*.f64 (fma.f64 #s(literal 387420489/262144000000000 binary64) (pow.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal -1/512 binary64)) (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) #s(literal -1 binary64))) (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (-.f64 #s(literal 1/64 binary64) (*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal -729/512000 binary64)))))
(/.f64 (*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) #s(literal 1 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))
(/.f64 (*.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) #s(literal 1 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))) (*.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))) (neg.f64 (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)))) (neg.f64 (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)))) (neg.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64)) #s(literal 1/16 binary64)) #s(literal 1 binary64)) (*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (*.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) #s(literal 1 binary64)) (*.f64 (+.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 81/6400 binary64) #s(literal 1/16 binary64)) (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (*.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) #s(literal 1 binary64)) (*.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)))))
(/.f64 (*.f64 (fma.f64 #s(literal 387420489/262144000000000 binary64) (pow.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal -1/512 binary64)) #s(literal 1 binary64)) (*.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (-.f64 #s(literal 1/64 binary64) (*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal -729/512000 binary64)))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal 1/4 binary64))) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64)) #s(literal 1/16 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/4 binary64))))
(/.f64 (-.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))))
(/.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) (+.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 81/6400 binary64) #s(literal 1/16 binary64)) (pow.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 4 binary64)))))
(/.f64 (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) #s(literal -1/64 binary64)) (*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64))))
(/.f64 (fma.f64 #s(literal 387420489/262144000000000 binary64) (pow.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal 3 binary64)) #s(literal -1/512 binary64)) (*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))) (fma.f64 #s(literal 531441/4096000000 binary64) (pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 3 binary64)) (-.f64 #s(literal 1/64 binary64) (*.f64 (pow.f64 eps #s(literal 6 binary64)) #s(literal -729/512000 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64))) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(/.f64 (neg.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64))) (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(/.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) (-.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(/.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64)))))
(neg.f64 (/.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64)) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(neg.f64 (/.f64 (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal -1/8 binary64)) (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (*.f64 eps eps) #s(literal 9/80 binary64) #s(literal 1/4 binary64))))))
(fma.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64)) #s(literal 1/8 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal -9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 9/40 binary64)) (/.f64 #s(literal 9/40 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 3 binary64))) (/.f64 (*.f64 #s(literal 9/40 binary64) eps) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 #s(literal 81/1600 binary64) (/.f64 (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 #s(literal 81/1600 binary64) (*.f64 eps eps)) (/.f64 (*.f64 eps eps) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps #s(literal -1/2 binary64))
(fma.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (/.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 #s(literal 9/40 binary64) (/.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 9/40 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (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))
(fma.f64 (*.f64 eps eps) (/.f64 (*.f64 #s(literal 81/1600 binary64) (*.f64 eps eps)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64))
(fma.f64 eps (/.f64 (*.f64 (*.f64 #s(literal 9/40 binary64) (pow.f64 eps #s(literal 3 binary64))) #s(literal 9/40 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(fma.f64 eps (*.f64 #s(literal 9/40 binary64) eps) #s(literal -1/2 binary64))
(-.f64 (/.f64 #s(literal 1/4 binary64) (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))) (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))))
(-.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(+.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) (/.f64 #s(literal 81/1600 binary64) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (neg.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(+.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
(*.f64 eps eps)
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))

eval53.0ms (0.4%)

Memory
-27.7MiB live, 10.6MiB allocated
Compiler

Compiled 2 643 to 358 computations (86.5% saved)

prune2.0ms (0%)

Memory
6.8MiB live, 6.8MiB allocated
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New87087
Fresh000
Picked022
Done000
Total87289
Accuracy
100.0%
Counts
89 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) #s(literal -1/2 binary64)))
99.9%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Compiler

Compiled 63 to 36 computations (42.9% saved)

regimes3.0ms (0%)

Memory
6.9MiB live, 6.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)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
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:

2.0ms
eps
1.0ms
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Results
AccuracySegmentsBranch
100.0%1eps
100.0%1(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 10 to 7 computations (30% saved)

regimes2.0ms (0%)

Memory
5.0MiB live, 5.0MiB allocated
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Calls

2 calls:

1.0ms
eps
1.0ms
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Results
AccuracySegmentsBranch
99.9%1eps
99.9%1(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 10 to 7 computations (30% saved)

simplify72.0ms (0.5%)

Memory
-4.0MiB live, 31.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01227
11927
22927
34627
48427
516827
642227
7153727
8554027
Stop Event
node limit
Calls
Call 1
Inputs
#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 (*.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))

soundness330.0ms (2.4%)

Memory
-4.9MiB live, 155.7MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0148465
1422433
21323408
35663369
08263341
Stop Event
done
iter limit
node limit
Compiler

Compiled 34 to 19 computations (44.1% saved)

preprocess32.0ms (0.2%)

Memory
8.5MiB live, 45.6MiB allocated
Remove

(abs eps)

Compiler

Compiled 118 to 70 computations (40.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...