sintan (problem 3.4.5)

Time bar (total: 14.6s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze658.0ms (4.5%)

Memory
46.1MiB live, 497.7MiB 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)

sample9.5s (65.4%)

Memory
109.5MiB live, 9 065.9MiB allocated
Samples
6.5s4 525×2valid
1.8s1 258×3valid
598.0ms2 408×1valid
11.0ms65×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.5s
ival-tan: 4.5s (52.9% of total)
ival-sin: 2.5s (29.1% of total)
adjust: 678.0ms (8% of total)
const: 327.0ms (3.8% of total)
ival-sub: 299.0ms (3.5% of total)
ival-div: 135.0ms (1.6% of total)
ival-<=: 80.0ms (0.9% of total)
ival-and: 13.0ms (0.2% of total)
ival-assert: 4.0ms (0% of total)
Bogosity

explain530.0ms (3.6%)

Memory
-11.9MiB live, 729.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1660-4(-7.211713815828833e-107)(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
931(3.1844459336455326e-108)0-(-.f64 eps (tan.f64 eps))
931(3.1844459336455326e-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/u1620
(-.f64 eps (sin.f64 eps))underflow162
(-.f64 eps (tan.f64 eps))underflow162
-.f64(-.f64 eps (sin.f64 eps))cancellation940
-.f64(-.f64 eps (tan.f64 eps))cancellation940
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
1162
294
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
347.0ms276×2valid
69.0ms80×3valid
40.0ms154×1valid
0.0ms0valid
Compiler

Compiled 57 to 22 computations (61.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 429.0ms
ival-tan: 187.0ms (43.6% of total)
ival-sin: 178.0ms (41.5% of total)
adjust: 42.0ms (9.8% of total)
ival-sub: 15.0ms (3.5% of total)
ival-div: 6.0ms (1.4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess350.0ms (2.4%)

Memory
9.3MiB live, 197.0MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0827
12227
23927
36227
410227
519927
642127
7110627
8301327
069
0119
1179
2209
3259
4349
5569
6969
71959
84669
98009
1014779
1125699
1230789
1334579
1437429
1538699
1638969
1738999
1839029
1939149
2039179
2139209
2239239
2339269
2439299
2539329
2639359
2775339
080789
Stop Event
iter limit
node limit
iter limit
node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 9 to 6 computations (33.3% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

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

Compiled 9 to 6 computations (33.3% saved)

simplify255.0ms (1.7%)

Memory
-11.1MiB live, 125.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
11722
22022
32522
43422
55622
69622
719522
846622
980022
10147722
11256922
12307822
13345722
14374222
15386922
16389622
17389922
18390222
19391422
20391722
21392022
22392322
23392622
24392922
25393222
26393522
27753322
0807822
Stop Event
iter limit
node limit
iter limit
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
eps
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
(tan.f64 eps)

localize283.0ms (1.9%)

Memory
13.0MiB live, 169.2MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(sin.f64 eps)
accuracy20.215535557375766
(-.f64 eps (sin.f64 eps))
accuracy20.245203677482685
(-.f64 eps (tan.f64 eps))
accuracy40.66247770425077
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Samples
194.0ms138×2valid
64.0ms40×3valid
16.0ms77×1valid
0.0ms0valid
Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 262.0ms
ival-tan: 156.0ms (59.6% of total)
ival-sin: 79.0ms (30.2% of total)
adjust: 16.0ms (6.1% of total)
ival-sub: 7.0ms (2.7% of total)
ival-div: 3.0ms (1.1% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series4.0ms (0%)

Memory
7.6MiB live, 7.6MiB 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)))

simplify187.0ms (1.3%)

Memory
-15.8MiB live, 124.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0148475
1428433
21443405
37531405
08354389
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)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 27/112000 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(* 1/6 (pow eps 3))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal 1/6 binary64))
(* (pow eps 3) (+ 1/6 (* -1/120 (pow eps 2))))
(*.f64 (fma.f64 #s(literal -1/120 binary64) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* 1/5040 (pow eps 2)) 1/120))))
(*.f64 (fma.f64 (-.f64 (*.f64 #s(literal 1/5040 binary64) (*.f64 eps eps)) #s(literal 1/120 binary64)) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (+ 1/6 (* (pow eps 2) (- (* (pow eps 2) (+ 1/5040 (* -1/362880 (pow eps 2)))) 1/120))))
(*.f64 (fma.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/362880 binary64) (-.f64 (*.f64 #s(literal 1/5040 binary64) (*.f64 eps eps)) #s(literal 1/120 binary64))) (*.f64 eps eps) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)))
eps
(* eps (+ 1 (* -1/6 (pow eps 2))))
(fma.f64 #s(literal -1/6 binary64) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* 1/120 (pow eps 2)) 1/6))))
(fma.f64 (-.f64 (*.f64 #s(literal 1/120 binary64) (*.f64 eps eps)) #s(literal 1/6 binary64)) (pow.f64 eps #s(literal 3 binary64)) eps)
(* eps (+ 1 (* (pow eps 2) (- (* (pow eps 2) (+ 1/120 (* -1/5040 (pow eps 2)))) 1/6))))
(fma.f64 (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -1/5040 binary64) (-.f64 (*.f64 #s(literal 1/120 binary64) (*.f64 eps eps)) #s(literal 1/6 binary64))) (pow.f64 eps #s(literal 3 binary64)) eps)
(* -1/3 (pow eps 3))
(*.f64 #s(literal -1/3 binary64) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* -2/15 (pow eps 2)) 1/3))
(*.f64 (-.f64 (*.f64 #s(literal -2/15 binary64) (*.f64 eps eps)) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* -17/315 (pow eps 2)) 2/15)) 1/3))
(*.f64 (-.f64 (*.f64 (*.f64 (-.f64 (*.f64 #s(literal -17/315 binary64) (*.f64 eps eps)) #s(literal 2/15 binary64)) eps) eps) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
(* (pow eps 3) (- (* (pow eps 2) (- (* (pow eps 2) (- (* -62/2835 (pow eps 2)) 17/315)) 2/15)) 1/3))
(*.f64 (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 (-.f64 (*.f64 #s(literal -62/2835 binary64) (*.f64 eps eps)) #s(literal 17/315 binary64)) eps) eps) #s(literal 2/15 binary64)) (*.f64 eps eps)) #s(literal 1/3 binary64)) (pow.f64 eps #s(literal 3 binary64)))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* eps (+ 1 (* -1 (/ (sin eps) eps))))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (sin.f64 eps) eps)) eps)
(sin eps)
(sin.f64 eps)
(* eps (+ 1 (* -1 (/ (sin eps) (* eps (cos eps))))))
(fma.f64 (/.f64 eps (cos.f64 eps)) (/.f64 (sin.f64 eps) (neg.f64 eps)) eps)
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* -1 (* eps (- (/ (sin eps) eps) 1)))
(*.f64 (neg.f64 eps) (-.f64 (/.f64 (sin.f64 eps) eps) #s(literal 1 binary64)))
(* -1 (* eps (- (/ (sin eps) (* eps (cos eps))) 1)))
(*.f64 (neg.f64 eps) (-.f64 (/.f64 (/.f64 (sin.f64 eps) eps) (cos.f64 eps)) #s(literal 1 binary64)))

rewrite249.0ms (1.7%)

Memory
19.5MiB live, 209.5MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0619
01119
14519
233419
3381719
0850819
Stop Event
iter limit
node limit
iter limit
Counts
4 → 172
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(-.f64 eps (sin.f64 eps))
(sin.f64 eps)
(-.f64 eps (tan.f64 eps))
Outputs
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(*.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))))
(*.f64 (/.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps))))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps))
(*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(*.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(*.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))))
(*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))))
(/.f64 (/.f64 (-.f64 (*.f64 (-.f64 eps (tan.f64 eps)) eps) (*.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (-.f64 eps (tan.f64 eps))) (-.f64 eps (tan.f64 eps)))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(/.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))) (neg.f64 (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (-.f64 eps (tan.f64 eps)) eps) (*.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)))) (neg.f64 (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 eps (tan.f64 eps))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (*.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (tan.f64 eps) eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))
(/.f64 (-.f64 (*.f64 (neg.f64 eps) (neg.f64 (-.f64 eps (tan.f64 eps)))) (*.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (neg.f64 (sin.f64 eps)))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (neg.f64 eps) (-.f64 eps (tan.f64 eps))) (*.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (sin.f64 eps))) (*.f64 (neg.f64 (-.f64 eps (tan.f64 eps))) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (*.f64 eps (neg.f64 (-.f64 eps (tan.f64 eps)))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (sin.f64 eps)))) (*.f64 (-.f64 eps (tan.f64 eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (neg.f64 eps) (neg.f64 (sin.f64 eps))) (neg.f64 (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (*.f64 (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (*.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64))) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (*.f64 (+.f64 (sin.f64 eps) eps) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (*.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (neg.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (*.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (*.f64 (-.f64 eps (tan.f64 eps)) eps) (*.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps))) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (neg.f64 (+.f64 (sin.f64 eps) eps)) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (neg.f64 (-.f64 eps (tan.f64 eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps))))
(/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (neg.f64 (-.f64 eps (tan.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 (neg.f64 (-.f64 eps (sin.f64 eps))) (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (neg.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (+.f64 (tan.f64 eps) eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (+.f64 (tan.f64 eps) eps) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)))
(fma.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(fma.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (+.f64 (tan.f64 eps) eps) (/.f64 eps (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 eps (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(fma.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(fma.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))) (/.f64 (pow.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) #s(literal 3 binary64)) (fma.f64 (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))) (/.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps))) (pow.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) #s(literal 2 binary64)))))
(-.f64 (/.f64 (*.f64 (-.f64 eps (tan.f64 eps)) eps) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))) (/.f64 (*.f64 (-.f64 eps (tan.f64 eps)) (sin.f64 eps)) (pow.f64 (-.f64 eps (tan.f64 eps)) #s(literal 2 binary64))))
(-.f64 (/.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (-.f64 eps (tan.f64 eps)))))
(-.f64 (/.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))) (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (-.f64 eps (tan.f64 eps))))
(-.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (/.f64 (sin.f64 eps) (-.f64 eps (tan.f64 eps))))
(+.f64 (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (*.f64 eps (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (*.f64 (tan.f64 eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))))
(+.f64 (*.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (*.f64 eps eps) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (*.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) eps) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (tan.f64 eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (tan.f64 eps) eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)))
(+.f64 (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 eps eps)) (*.f64 (/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(+.f64 (/.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (*.f64 (+.f64 (sin.f64 eps) eps) (-.f64 eps (tan.f64 eps)))))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps)))
(+.f64 (/.f64 eps (-.f64 eps (tan.f64 eps))) (*.f64 (neg.f64 (/.f64 (sin.f64 eps) (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (-.f64 (*.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)))
(*.f64 (+.f64 (sin.f64 eps) eps) (/.f64 (-.f64 eps (sin.f64 eps)) (+.f64 (sin.f64 eps) eps)))
(*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (sin.f64 eps)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)) #s(literal 2 binary64)) (*.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))))) (+.f64 (sin.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (*.f64 (*.f64 eps eps) (+.f64 (sin.f64 eps) eps)) (*.f64 (+.f64 (sin.f64 eps) eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (sin.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (*.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (sin.f64 eps) #s(literal 4 binary64))) (*.f64 (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (sin.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64))) (*.f64 (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (sin.f64 eps) #s(literal 9 binary64))) (*.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (sin.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 6 binary64)))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (sin.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (sin.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (sin.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps)))
(neg.f64 (neg.f64 (-.f64 eps (sin.f64 eps))))
(fma.f64 (/.f64 (*.f64 eps eps) (+.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (sin.f64 eps) (-.f64 (sin.f64 eps) eps) (*.f64 eps eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 eps eps) (pow.f64 (sin.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (sin.f64 eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (fabs.f64 eps) (/.f64 (fabs.f64 eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 (neg.f64 eps) (/.f64 (neg.f64 eps) (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(fma.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (+.f64 (sin.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (sin.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (sin.f64 eps) eps) (sin.f64 eps) (*.f64 eps eps))))
(-.f64 eps (sin.f64 eps))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (sin.f64 eps) eps))) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64))) (+.f64 (sin.f64 eps) eps)))
(pow.f64 (sin.f64 eps) #s(literal 1 binary64))
(sin.f64 eps)
(exp.f64 (*.f64 (log.f64 (sin.f64 eps)) #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)))
(*.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 2 binary64)))) (-.f64 (*.f64 eps eps) (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps))))
(*.f64 (/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) #s(literal 3 binary64)) (pow.f64 eps #s(literal 6 binary64)))) (fma.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (-.f64 (*.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps)) (*.f64 eps eps)) (pow.f64 eps #s(literal 4 binary64))))
(*.f64 (+.f64 (tan.f64 eps) eps) (/.f64 (-.f64 eps (tan.f64 eps)) (+.f64 (tan.f64 eps) eps)))
(*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (/.f64 (-.f64 eps (tan.f64 eps)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64))) (fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)) #s(literal 2 binary64)) (*.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))))) (+.f64 (tan.f64 eps) eps))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(/.f64 (-.f64 (*.f64 (*.f64 eps eps) (+.f64 (tan.f64 eps) eps)) (*.f64 (+.f64 (tan.f64 eps) eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (pow.f64 (+.f64 (tan.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (*.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 4 binary64)) (pow.f64 (tan.f64 eps) #s(literal 4 binary64))) (*.f64 (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 9 binary64)) (pow.f64 (tan.f64 eps) #s(literal 9 binary64))) (*.f64 (+.f64 (pow.f64 eps #s(literal 6 binary64)) (+.f64 (pow.f64 (*.f64 (tan.f64 eps) eps) #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64)))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (fma.f64 eps eps (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 4 binary64))) (+.f64 (tan.f64 eps) eps)))
(/.f64 (-.f64 (pow.f64 eps #s(literal 6 binary64)) (pow.f64 (tan.f64 eps) #s(literal 6 binary64))) (*.f64 (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (neg.f64 (+.f64 (tan.f64 eps) eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (neg.f64 (neg.f64 (+.f64 (tan.f64 eps) eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (pow.f64 eps #s(literal 3 binary64)) (pow.f64 (tan.f64 eps) #s(literal 3 binary64))) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps)))
(neg.f64 (neg.f64 (-.f64 eps (tan.f64 eps))))
(fma.f64 (/.f64 (*.f64 eps eps) (+.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (pow.f64 eps #s(literal 3 binary64)))) (fma.f64 (tan.f64 eps) (-.f64 (tan.f64 eps) eps) (*.f64 eps eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (/.f64 (*.f64 eps eps) (-.f64 (*.f64 eps eps) (pow.f64 (tan.f64 eps) #s(literal 2 binary64)))) (-.f64 eps (tan.f64 eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (fabs.f64 eps) (/.f64 (fabs.f64 eps) (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 (neg.f64 eps) (/.f64 (neg.f64 eps) (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(fma.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps)) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))
(-.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64)) (+.f64 (tan.f64 eps) eps)))
(-.f64 (/.f64 (pow.f64 eps #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))) (/.f64 (pow.f64 (tan.f64 eps) #s(literal 3 binary64)) (fma.f64 (+.f64 (tan.f64 eps) eps) (tan.f64 eps) (*.f64 eps eps))))
(-.f64 eps (tan.f64 eps))
(+.f64 (*.f64 eps (/.f64 eps (+.f64 (tan.f64 eps) eps))) (/.f64 (neg.f64 (pow.f64 (tan.f64 eps) #s(literal 2 binary64))) (+.f64 (tan.f64 eps) eps)))

eval32.0ms (0.2%)

Memory
-20.0MiB live, 26.4MiB allocated
Compiler

Compiled 5 951 to 686 computations (88.5% saved)

prune3.0ms (0%)

Memory
11.4MiB live, 11.4MiB allocated
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1933196
Fresh000
Picked101
Done000
Total1943197
Accuracy
100.0%
Counts
197 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
99.9%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
99.4%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Compiler

Compiled 50 to 36 computations (28% saved)

simplify206.0ms (1.4%)

Memory
-12.1MiB live, 171.8MiB allocated
Algorithm
egg-herbie
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
cost-diff0
(pow.f64 eps #s(literal 4 binary64))
cost-diff0
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
cost-diff0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
cost-diff0
(*.f64 eps eps)
cost-diff0
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
cost-diff0
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
cost-diff0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.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
019104
025104
142104
288104
3182104
4278104
5330104
6409104
7634104
81255104
92499104
105511104
117777104
08031104
Stop Event
iter limit
node limit
iter limit
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
eps
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
eps
#s(literal 4 binary64)
#s(literal -27/2800 binary64)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(literal -1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
eps
#s(literal 4 binary64)
#s(literal -27/2800 binary64)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))
(*.f64 eps eps)
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

localize344.0ms (2.4%)

Memory
50.2MiB live, 419.7MiB allocated
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 (*.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 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
accuracy0.13671875
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
accuracy0.0
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
accuracy0.0
(*.f64 eps eps)
accuracy0.05932921778110994
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
accuracy0.13671875
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
accuracy0.4144791339913199
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Samples
218.0ms138×2valid
83.0ms40×3valid
27.0ms77×1valid
0.0ms0valid
Compiler

Compiled 84 to 19 computations (77.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 268.0ms
ival-tan: 113.0ms (42.2% of total)
adjust: 68.0ms (25.4% of total)
ival-sin: 54.0ms (20.2% of total)
ival-sub: 10.0ms (3.7% of total)
const: 7.0ms (2.6% of total)
ival-mult: 5.0ms (1.9% of total)
ival-pow: 4.0ms (1.5% of total)
ival-div: 3.0ms (1.1% of total)
ival-add: 2.0ms (0.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

series7.0ms (0%)

Memory
-37.8MiB live, 8.5MiB allocated
Counts
8 → 18
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
Outputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 9/40 (pow eps 2))
(pow eps 2)
(pow eps 4)
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Calls

3 calls:

TimeVariablePointExpression
4.0ms
eps
@inf
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))
1.0ms
eps
@0
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))
1.0ms
eps
@-inf
((/ (- eps (sin eps)) (- eps (tan eps))) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (+ (* (pow eps 4) -27/2800) (- (* (* eps eps) 9/40) 1/2)) (pow eps 4))

simplify137.0ms (0.9%)

Memory
2.2MiB live, 146.4MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
092328
1271294
2900266
34907266
08143258
Stop Event
iter limit
node limit
Counts
18 → 18
Calls
Call 1
Inputs
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(* 9/40 (pow eps 2))
(pow eps 2)
(pow eps 4)
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Outputs
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 27/112000 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(* 9/40 (pow eps 2))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 4)
(pow.f64 eps #s(literal 4 binary64))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* (pow eps 2) (- 9/40 (* 1/2 (/ 1 (pow eps 2)))))
(*.f64 (-.f64 #s(literal 9/40 binary64) (/.f64 (/.f64 #s(literal 1/2 binary64) eps) eps)) (*.f64 eps eps))
(* -27/2800 (pow eps 4))
(*.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(*.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(*.f64 (-.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 eps #s(literal 4 binary64)))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))

rewrite201.0ms (1.4%)

Memory
4.4MiB live, 196.7MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01980
02580
110280
276480
0840880
Stop Event
iter limit
node limit
iter limit
Counts
8 → 144
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps eps)
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow.f64 eps #s(literal 4 binary64))
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (*.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))) (+.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))) (*.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))) (+.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (fma.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)))) (neg.f64 (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)))) (neg.f64 (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal 1/4 binary64))) (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))) #s(literal 1/8 binary64))) (pow.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64))) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64)))
(/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64))) (neg.f64 (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(/.f64 (-.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))
(/.f64 (-.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) #s(literal 1/8 binary64)) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))
(neg.f64 (neg.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))))
(-.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))
(*.f64 (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps)
(*.f64 (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) eps)
(*.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps))
(*.f64 (*.f64 #s(literal 9/40 binary64) eps) eps)
(*.f64 (neg.f64 eps) (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)))
(*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))))
(*.f64 eps (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)))
(*.f64 eps (*.f64 #s(literal 9/40 binary64) eps))
(neg.f64 (*.f64 #s(literal -9/40 binary64) (*.f64 eps eps)))
(sqrt.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (*.f64 #s(literal -9/40 binary64) (*.f64 eps eps)))
(fabs.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(*.f64 eps eps)
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(sqrt.f64 (pow.f64 eps #s(literal 4 binary64)))
(fabs.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(+.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (neg.f64 eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))) (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (+.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (-.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))) (-.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (fma.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (*.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(/.f64 (-.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (*.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (-.f64 (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (*.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))))) (neg.f64 (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 3 binary64)) #s(literal 1/8 binary64))) (neg.f64 (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (*.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (*.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (fma.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (*.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (*.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)))) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(neg.f64 (/.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(neg.f64 (/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) (neg.f64 eps)) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) eps) eps (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 3 binary64))) eps (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 (neg.f64 eps) eps)) (*.f64 (neg.f64 eps) eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (*.f64 (neg.f64 eps) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) (*.f64 eps eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (neg.f64 eps) eps) (*.f64 (*.f64 (neg.f64 eps) eps) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (*.f64 eps #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 (neg.f64 eps) (*.f64 (*.f64 eps eps) #s(literal -27/2800 binary64))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 eps eps) (*.f64 (*.f64 eps eps) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (*.f64 eps (*.f64 (*.f64 eps eps) #s(literal -27/2800 binary64))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (*.f64 #s(literal 9/40 binary64) eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/4 binary64) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 3 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/8 binary64) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (+.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (-.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (+.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (-.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))) #s(literal 1/2 binary64))
(-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))
(-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (neg.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(+.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(+.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(+.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(*.f64 (*.f64 eps (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (neg.f64 eps))
(*.f64 (pow.f64 eps #s(literal 3/2 binary64)) (*.f64 (pow.f64 eps #s(literal 3/2 binary64)) eps))
(*.f64 (*.f64 (neg.f64 eps) eps) (*.f64 (neg.f64 eps) eps))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) eps)
(*.f64 (neg.f64 eps) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)))
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
(*.f64 eps (pow.f64 eps #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 eps))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 2 binary64))
(pow.f64 (neg.f64 eps) #s(literal 4 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))) (*.f64 (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))))) (-.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (-.f64 (*.f64 (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))) (*.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))))))
(neg.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (pow.f64 eps #s(literal 4 binary64)))
(+.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64))))
(exp.f64 (fma.f64 (log.f64 eps) #s(literal 2 binary64) (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 eps eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))

eval29.0ms (0.2%)

Memory
20.4MiB live, 64.5MiB allocated
Compiler

Compiled 7 647 to 730 computations (90.5% saved)

prune3.0ms (0%)

Memory
14.9MiB live, 14.9MiB allocated
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2021203
Fresh000
Picked123
Done000
Total2033206
Accuracy
100.0%
Counts
206 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
99.9%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
99.4%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Compiler

Compiled 54 to 35 computations (35.2% saved)

simplify497.0ms (3.4%)

Memory
-95.9MiB live, 161.5MiB allocated
Algorithm
egg-herbie
Localize:

Found 4 expressions of interest:

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

Useful iterations: 2 (0.0ms)

IterNodesCost
01568
02168
14860
216156
366556
4143556
5172456
6183456
7208256
8270856
9393156
10695856
0803056
Stop Event
iter limit
node limit
iter limit
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))))
(fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
(pow.f64 eps #s(literal 4 binary64))
(*.f64 eps eps)
eps
#s(literal -27/2800 binary64)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))
#s(literal 9/40 binary64)
#s(literal 1/2 binary64)

localize239.0ms (1.6%)

Memory
9.8MiB live, 192.2MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 eps eps)
accuracy0.0
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
accuracy0.13671875
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
accuracy0.14128876953688402
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
Samples
143.0ms138×2valid
56.0ms40×3valid
24.0ms77×1valid
0.0ms0valid
Compiler

Compiled 54 to 17 computations (68.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 206.0ms
ival-tan: 84.0ms (40.7% of total)
ival-sin: 64.0ms (31% of total)
adjust: 29.0ms (14.1% of total)
ival-sub: 10.0ms (4.8% of total)
const: 7.0ms (3.4% of total)
ival-mult: 6.0ms (2.9% of total)
ival-div: 3.0ms (1.5% of total)
ival-add: 2.0ms (1% 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.8MiB live, 4.8MiB allocated
Counts
5 → 17
Calls
Call 1
Inputs
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(*.f64 eps eps)
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
Outputs
(pow eps 4)
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(pow eps 2)
(* 9/40 (pow eps 2))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Calls

3 calls:

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

simplify150.0ms (1%)

Memory
-15.6MiB live, 176.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089317
1261283
2871255
34774255
08616247
Stop Event
iter limit
node limit
Counts
17 → 17
Calls
Call 1
Inputs
(pow eps 4)
-1/2
(- (* 9/40 (pow eps 2)) 1/2)
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(pow eps 2)
(* 9/40 (pow eps 2))
1
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(* -27/2800 (pow eps 4))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
Outputs
(pow eps 4)
(pow.f64 eps #s(literal 4 binary64))
-1/2
#s(literal -1/2 binary64)
(- (* 9/40 (pow eps 2)) 1/2)
(-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))
(- (* (pow eps 2) (+ 9/40 (* -27/2800 (pow eps 2)))) 1/2)
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(- (* (pow eps 2) (+ 9/40 (* (pow eps 2) (- (* 27/112000 (pow eps 2)) 27/2800)))) 1/2)
(fma.f64 (-.f64 (*.f64 #s(literal 27/112000 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(pow eps 2)
(*.f64 eps eps)
(* 9/40 (pow eps 2))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
1
#s(literal 1 binary64)
(- (+ 1 (* -1 (/ (sin eps) eps))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))) (* -1 (/ (sin eps) (* eps (cos eps)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(- (+ 1 (+ (* -1 (/ (sin eps) eps)) (/ (* (pow (sin eps) 2) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 3) (pow (cos eps) 2))))) (+ (* -1 (/ (sin eps) (* eps (cos eps)))) (* -1 (/ (* (sin eps) (- (* -1 (sin eps)) (* -1 (/ (sin eps) (cos eps))))) (* (pow eps 2) (cos eps))))))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))
(* -27/2800 (pow eps 4))
(*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) 27/2800))
(*.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (pow.f64 eps #s(literal 4 binary64)))
(* (pow eps 4) (- (* 9/40 (/ 1 (pow eps 2))) (+ 27/2800 (/ 1/2 (pow eps 4)))))
(*.f64 (-.f64 (-.f64 (/.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) (/.f64 #s(literal 1/2 binary64) (pow.f64 eps #s(literal 4 binary64)))) (pow.f64 eps #s(literal 4 binary64)))
(+ 1 (* -1 (/ (- (sin eps) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (sin.f64 eps) eps) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (cos.f64 eps))) #s(literal 1 binary64))
(+ 1 (* -1 (/ (- (+ (sin eps) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (cos eps)))) (/ (sin eps) (cos eps))) eps)))
(-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps))
(+ 1 (* -1 (/ (- (+ (sin eps) (* -1 (/ (- (* -1 (/ (* (pow (sin eps) 2) (- (sin eps) (/ (sin eps) (cos eps)))) (* eps (pow (cos eps) 2)))) (/ (* (sin eps) (- (sin eps) (/ (sin eps) (cos eps)))) (cos eps))) eps))) (/ (sin eps) (cos eps))) eps)))
(fma.f64 (/.f64 (/.f64 (pow.f64 (sin.f64 eps) #s(literal 2 binary64)) (pow.f64 (cos.f64 eps) #s(literal 2 binary64))) (pow.f64 eps #s(literal 3 binary64))) (-.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (sin.f64 eps)) (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (-.f64 (/.f64 (-.f64 (sin.f64 eps) (/.f64 (sin.f64 eps) (cos.f64 eps))) eps) #s(literal 1 binary64)) (sin.f64 eps)) eps)))

rewrite189.0ms (1.3%)

Memory
16.0MiB live, 156.1MiB allocated
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01557
02151
110445
281845
0917145
Stop Event
iter limit
node limit
iter limit
Counts
5 → 139
Calls
Call 1
Inputs
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(*.f64 eps eps)
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
Outputs
(*.f64 (*.f64 eps (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (neg.f64 eps))
(*.f64 (pow.f64 eps #s(literal 3/2 binary64)) (*.f64 (pow.f64 eps #s(literal 3/2 binary64)) eps))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) eps)
(*.f64 (neg.f64 eps) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)))
(*.f64 (*.f64 (neg.f64 eps) eps) (*.f64 (neg.f64 eps) eps))
(*.f64 (*.f64 eps eps) (*.f64 eps eps))
(*.f64 eps (pow.f64 eps #s(literal 3 binary64)))
(pow.f64 (neg.f64 eps) #s(literal 4 binary64))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 2 binary64))
(pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(sqrt.f64 (pow.f64 eps #s(literal 8 binary64)))
(fabs.f64 (neg.f64 (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (pow.f64 eps #s(literal 4 binary64)))
(+.f64 (cosh.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64))) (sinh.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 eps) #s(literal 2 binary64) (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (*.f64 (neg.f64 eps) eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 4 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))) (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (+.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (-.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))) (-.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (fma.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (*.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(/.f64 (-.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (pow.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) (*.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (-.f64 (*.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))) (*.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))))) (neg.f64 (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) #s(literal 1/8 binary64))) (neg.f64 (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (*.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (*.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (fma.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (*.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (*.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)))) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) #s(literal 1/8 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(/.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(neg.f64 (/.f64 (-.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (neg.f64 (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))))
(neg.f64 (/.f64 (fma.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (neg.f64 (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))))))
(fma.f64 (*.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) eps) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) eps) (*.f64 (neg.f64 eps) eps)) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) (neg.f64 eps)) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (neg.f64 eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) (*.f64 (neg.f64 eps) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) (*.f64 (neg.f64 eps) eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 3 binary64))) eps (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) eps) (pow.f64 eps #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (*.f64 (pow.f64 eps #s(literal 3/2 binary64)) (*.f64 eps #s(literal -27/2800 binary64))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) (*.f64 eps eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 #s(literal 9/40 binary64) eps) eps (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3 binary64)) (*.f64 eps #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 eps (*.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 eps) (*.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (neg.f64 eps) eps) (*.f64 (*.f64 #s(literal -27/2800 binary64) (neg.f64 eps)) eps) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 eps eps) #s(literal 9/40 binary64) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(fma.f64 eps (*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -27/2800 binary64)) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(fma.f64 eps (*.f64 #s(literal 9/40 binary64) eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))))
(-.f64 (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64))))) (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/4 binary64) (fma.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))) (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))
(-.f64 (/.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 3 binary64)) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1/8 binary64) (+.f64 (+.f64 (pow.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (*.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (+.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64))) (-.f64 (/.f64 #s(literal -1/4 binary64) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal -1/2 binary64))) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (+.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/64000 binary64) (pow.f64 eps #s(literal 6 binary64))) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (-.f64 (/.f64 #s(literal 1/8 binary64) (fma.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64)) (fma.f64 #s(literal 9/80 binary64) (*.f64 eps eps) #s(literal 1/4 binary64)))) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(-.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(-.f64 (fma.f64 #s(literal 9/40 binary64) (*.f64 eps eps) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))) #s(literal 1/2 binary64))
(-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 #s(literal -9/40 binary64) (*.f64 eps eps) #s(literal 1/2 binary64)))
(-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal 27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64)))))
(+.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (*.f64 #s(literal -19683/21952000000 binary64) (pow.f64 eps #s(literal 12 binary64))) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))) (/.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64)) (*.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (-.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))))))
(+.f64 (/.f64 (*.f64 #s(literal 729/7840000 binary64) (pow.f64 eps #s(literal 8 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))) (/.f64 (neg.f64 (pow.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) #s(literal 2 binary64))) (fma.f64 (*.f64 eps eps) (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(+.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)))
(+.f64 (-.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) #s(literal 1/2 binary64)) (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))))
(+.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)) (-.f64 (*.f64 #s(literal -27/2800 binary64) (pow.f64 eps #s(literal 4 binary64))) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64))) (sqrt.f64 (neg.f64 eps)))
(*.f64 (sqrt.f64 (neg.f64 eps)) (sqrt.f64 (pow.f64 (neg.f64 eps) #s(literal 3 binary64))))
(*.f64 (sqrt.f64 (*.f64 (neg.f64 eps) eps)) (sqrt.f64 (*.f64 (neg.f64 eps) eps)))
(*.f64 (sqrt.f64 (pow.f64 eps #s(literal 3 binary64))) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (pow.f64 eps #s(literal 3 binary64))))
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(*.f64 eps eps)
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 eps) eps) #s(literal 1 binary64))
(pow.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(sqrt.f64 (pow.f64 eps #s(literal 4 binary64)))
(fabs.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(+.f64 (cosh.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64))))
(exp.f64 (/.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 eps)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
(*.f64 (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))) eps)
(*.f64 (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)) eps)
(*.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)) (neg.f64 eps))
(*.f64 (*.f64 #s(literal 9/40 binary64) eps) eps)
(*.f64 (neg.f64 eps) (*.f64 (neg.f64 eps) #s(literal 9/40 binary64)))
(*.f64 #s(literal 9/40 binary64) (*.f64 eps eps))
(*.f64 (*.f64 eps eps) #s(literal 9/40 binary64))
(*.f64 eps (fabs.f64 (*.f64 (neg.f64 eps) #s(literal 9/40 binary64))))
(*.f64 eps (fabs.f64 (*.f64 #s(literal 9/40 binary64) eps)))
(*.f64 eps (*.f64 #s(literal 9/40 binary64) eps))
(neg.f64 (*.f64 #s(literal -9/40 binary64) (*.f64 eps eps)))
(sqrt.f64 (*.f64 #s(literal 81/1600 binary64) (pow.f64 eps #s(literal 4 binary64))))
(fabs.f64 (*.f64 #s(literal -9/40 binary64) (*.f64 eps eps)))
(fabs.f64 (*.f64 #s(literal 9/40 binary64) (*.f64 eps eps)))

eval26.0ms (0.2%)

Memory
28.9MiB live, 28.9MiB allocated
Compiler

Compiled 7 237 to 791 computations (89.1% saved)

prune40.0ms (0.3%)

Memory
-36.8MiB live, 9.8MiB allocated
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2010201
Fresh000
Picked011
Done022
Total2013204
Accuracy
100.0%
Counts
204 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
99.9%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
99.4%
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Compiler

Compiled 139 to 62 computations (55.4% saved)

regimes4.0ms (0%)

Memory
4.3MiB live, 4.3MiB allocated
Counts
5 → 1
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (pow.f64 eps #s(literal 4 binary64)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
Calls

2 calls:

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

Compiled 10 to 7 computations (30% saved)

regimes2.0ms (0%)

Memory
3.3MiB live, 3.3MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
Calls

2 calls:

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

Compiled 10 to 7 computations (30% saved)

regimes2.0ms (0%)

Memory
2.9MiB live, 2.9MiB 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.4%1(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
99.4%1eps
Compiler

Compiled 10 to 7 computations (30% saved)

simplify44.0ms (0.3%)

Memory
26.3MiB live, 26.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01854
12654
23454
34054
44954
56954
611854
726054
878354
9401554
Stop Event
node limit
Calls
Call 1
Inputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
Outputs
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (fma.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) #s(literal -27/2800 binary64) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (*.f64 eps eps) #s(literal 9/40 binary64)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))

derivations338.0ms (2.3%)

Memory
-22.1MiB live, 79.6MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01980
02580
110280
276480
0840880
0148475
1428433
21443405
37531405
08354389
Stop Event
done
iter limit
node limit
iter limit
node limit
iter limit
Compiler

Compiled 54 to 18 computations (66.7% saved)

preprocess24.0ms (0.2%)

Memory
24.3MiB live, 24.3MiB allocated
Compiler

Compiled 140 to 60 computations (57.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...