Details

Time bar (total: 3.4s)

analyze301.0ms (8.9%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
12.5%12.5%87.4%0.1%0%0%0%5
18.8%18.7%81.2%0.1%0%0%0%6
21.9%21.9%78%0.1%0%0%0%7
23.4%23.4%76.5%0.1%0%0%0%8
24.2%24.2%75.7%0.1%0%0%0%9
24.6%24.6%75.3%0.1%0%0%0%10
24.8%24.8%75.1%0.1%0%0%0%11
24.9%24.9%75%0.1%0%0%0%12
Compiler

Compiled 10 to 7 computations (30% saved)

sample2.9s (85.3%)

Results
1.5s3701×body1024valid
737.0ms1193×body2048valid
350.0ms1404×body512valid
291.0ms1957×body256valid
1.0msbody4096valid
Bogosity

preprocess36.0ms (1.1%)

Algorithm
egg-herbie
Rules
144×fma-def
80×associate--r+
72×associate-+l-
56×+-commutative
48×associate--l+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01342
11942
22742
34142
45642
58442
617242
723742
831842
939942
1044742
1145142
022
Stop Event
saturated
saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
(-.f64 (tan.f64 (+.f64 eps x)) (tan.f64 eps))
Outputs
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
(-.f64 (tan.f64 (+.f64 eps x)) (tan.f64 eps))
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 eps))
Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify19.0ms (0.6%)

Algorithm
egg-herbie
Rules
80×fma-def
42×associate--r+
38×associate-+l-
30×+-commutative
24×associate--l+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
11221
21721
32521
43421
55121
610321
714321
818721
923021
1025421
1125621
Stop Event
saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Outputs
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

eval0.0ms (0%)

Compiler

Compiled 9 to 6 computations (33.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
48.6%
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
48.6%
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Compiler

Compiled 9 to 6 computations (33.3% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
97.5%
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
96.1%
(tan.f64 (+.f64 x eps))
Compiler

Compiled 20 to 6 computations (70% saved)

series9.0ms (0.3%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
1.0ms
x
@0
(tan.f64 (+.f64 x eps))
1.0ms
eps
@0
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
1.0ms
x
@inf
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
1.0ms
eps
@inf
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
1.0ms
eps
@0
(tan.f64 (+.f64 x eps))

rewrite126.0ms (3.7%)

Algorithm
batch-egg-rewrite
Rules
1292×associate-*r/
1046×*-commutative
1022×associate-*l/
648×distribute-lft-in
636×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0932
120732
2299732
Stop Event
node limit
Calls
Call 1
Inputs
(tan.f64 (+.f64 x eps))
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Outputs
((((x -.f64 (exp.f64 (log1p.f64 (tan.f64 (+.f64 x eps)))) 1))) (((x *.f64 (tan.f64 (+.f64 x eps)) 1))) (((x *.f64 1 (tan.f64 (+.f64 x eps))))) (((x *.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (tan.f64 (+.f64 x eps)))))) (((x *.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2) (cbrt.f64 (tan.f64 (+.f64 x eps)))))) (((x *.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x *.f64 (sin.f64 (+.f64 x eps)) (/.f64 1 (cos.f64 (+.f64 x eps)))))) (((x *.f64 (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (+.f64 (tan.f64 x) (tan.f64 eps))))) (((x *.f64 (/.f64 1 (cos.f64 (+.f64 x eps))) (sin.f64 (+.f64 x eps))))) (((x *.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (((x *.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3))) (+.f64 1 (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps)))))))) (((x /.f64 1 (/.f64 1 (tan.f64 (+.f64 x eps)))))) (((x /.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (((x /.f64 (sin.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))))) (((x /.f64 (sqrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sqrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (/.f64 (cos.f64 (+.f64 x eps)) (sqrt.f64 (sin.f64 (+.f64 x eps))))))) (((x /.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (cbrt.f64 (sin.f64 (+.f64 x eps)))) (/.f64 (cos.f64 (+.f64 x eps)) (cbrt.f64 (sin.f64 (+.f64 x eps))))))) (((x /.f64 (-.f64 (pow.f64 (tan.f64 x) 2) (*.f64 (tan.f64 eps) (tan.f64 eps))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 (tan.f64 x) (tan.f64 eps)))))) (((x /.f64 (+.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 eps) 3)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (pow.f64 (tan.f64 x) 2) (-.f64 (*.f64 (tan.f64 eps) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps)))))))) (((x /.f64 (neg.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (neg.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 1 (neg.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 1 (neg.f64 (sin.f64 (+.f64 x eps)))) (neg.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (sqrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps)))) (sqrt.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps)))) (cbrt.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (neg.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 1) (neg.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (neg.f64 (sin.f64 (+.f64 x eps))) 1) (neg.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (sqrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (sqrt.f64 (tan.f64 (+.f64 x eps)))) (sqrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (tan.f64 (+.f64 x eps)))) (sqrt.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2)) (cbrt.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (-.f64 (pow.f64 (tan.f64 x) 2) (*.f64 (tan.f64 eps) (tan.f64 eps))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (-.f64 (tan.f64 x) (tan.f64 eps))))) (((x /.f64 (*.f64 (+.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 eps) 3)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 (pow.f64 (tan.f64 x) 2) (-.f64 (*.f64 (tan.f64 eps) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) 1) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (((x /.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (sqrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (sqrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))))) (((x /.f64 (/.f64 (sin.f64 (+.f64 x eps)) 1) (cos.f64 (+.f64 x eps))))) (((x /.f64 (/.f64 (sin.f64 (+.f64 x eps)) (sqrt.f64 (cos.f64 (+.f64 x eps)))) (sqrt.f64 (cos.f64 (+.f64 x eps)))))) (((x /.f64 (/.f64 (sin.f64 (+.f64 x eps)) (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps))))) (cbrt.f64 (cos.f64 (+.f64 x eps)))))) (((x pow.f64 (tan.f64 (+.f64 x eps)) 1))) (((x pow.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) 2))) (((x pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 3))) (((x pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) 1/3))) (((x sqrt.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2)))) (((x log.f64 (exp.f64 (tan.f64 (+.f64 x eps)))))) (((x log.f64 (+.f64 1 (expm1.f64 (tan.f64 (+.f64 x eps))))))) (((x cbrt.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3)))) (((x expm1.f64 (log1p.f64 (tan.f64 (+.f64 x eps)))))) (((x exp.f64 (log.f64 (tan.f64 (+.f64 x eps)))))) (((x log1p.f64 (expm1.f64 (tan.f64 (+.f64 x eps)))))))
((((x +.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x))))) (((x +.f64 (tan.f64 (+.f64 x eps)) (+.f64 (neg.f64 (tan.f64 x)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (tan.f64 (+.f64 x eps)) (+.f64 (neg.f64 (tan.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (tan.f64 (+.f64 x eps)) (+.f64 (neg.f64 (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 1 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 1 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 1 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)) 1)))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)) 1)))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (*.f64 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)) 1)))) (((x +.f64 (neg.f64 (tan.f64 x)) (tan.f64 (+.f64 x eps))))) (((x +.f64 (neg.f64 (tan.f64 x)) (+.f64 (tan.f64 (+.f64 x eps)) (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)))))) (((x +.f64 (neg.f64 (tan.f64 x)) (+.f64 (tan.f64 (+.f64 x eps)) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)))))) (((x +.f64 (neg.f64 (tan.f64 x)) (+.f64 (tan.f64 (+.f64 x eps)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)))))) (((x +.f64 (fma.f64 (neg.f64 (tan.f64 x)) 1 (tan.f64 x)) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x +.f64 (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (tan.f64 x)) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x +.f64 (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x)) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x +.f64 (-.f64 (tan.f64 (+.f64 x eps)) (exp.f64 (log1p.f64 (tan.f64 x)))) 1))) (((x *.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) 1))) (((x *.f64 1 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x *.f64 (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x *.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2) (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x *.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (/.f64 1 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x *.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (/.f64 1 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x *.f64 (+.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 (+.f64 x eps)))) (-.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (tan.f64 x)))))) (((x *.f64 (-.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (tan.f64 x))) (+.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 (+.f64 x eps))))))) (((x *.f64 (/.f64 1 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))))) (((x *.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (-.f64 (pow.f64 (tan.f64 x) 2) (*.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (+.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x)))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (+.f64 (*.f64 (cos.f64 x) (sin.f64 (+.f64 x eps))) (*.f64 (sin.f64 x) (cos.f64 (+.f64 x eps))))) (*.f64 (cos.f64 x) (cos.f64 (+.f64 x eps)))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (-.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (*.f64 (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (((x *.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (+.f64 (pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) 3) (pow.f64 (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3))) (+.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (-.f64 (*.f64 (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))))) (((x /.f64 1 (/.f64 1 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x /.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (/.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (((x /.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (/.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (/.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))))))) (((x /.f64 (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (/.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))))))) (((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))) (/.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))))))) (((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)))) (/.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))))))) (((x /.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))) (-.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))) (((x /.f64 (-.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 2))) (*.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)))))) (((x /.f64 (-.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 (+.f64 x eps)) 3)) (*.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 x) 3))) (*.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))))) (((x /.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (tan.f64 x)) 3)) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))) (*.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))))) (((x /.f64 (-.f64 (pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) 3) (pow.f64 (pow.f64 (tan.f64 x) 2) 3)) (*.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) (+.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (+.f64 (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 2)) (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)))))))) (((x /.f64 (-.f64 (pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) 3) (pow.f64 (pow.f64 (tan.f64 x) 3) 3)) (*.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (+.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 (+.f64 x eps)) 3)) (+.f64 (*.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 x) 3)) (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))))))) (((x /.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))))) (((x /.f64 (-.f64 (*.f64 (cos.f64 x) (sin.f64 (+.f64 x eps))) (*.f64 (sin.f64 x) (cos.f64 (+.f64 x eps)))) (*.f64 (cos.f64 x) (cos.f64 (+.f64 x eps)))))) (((x /.f64 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (neg.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (neg.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 1 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))))) (-.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))) (((x /.f64 (*.f64 1 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (tan.f64 x)) 3))) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))) (*.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))))) (((x /.f64 (*.f64 1 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x)))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))))) (((x /.f64 (*.f64 1 (-.f64 (*.f64 (cos.f64 x) (sin.f64 (+.f64 x eps))) (*.f64 (sin.f64 x) (cos.f64 (+.f64 x eps))))) (*.f64 (cos.f64 x) (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 1 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)))) (neg.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 1 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))) (neg.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))) (sqrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)))) (sqrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)))) (cbrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2) (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)))) (cbrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))) 1) (-.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))) (((x /.f64 (*.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (tan.f64 x)) 3)) 1) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))) (*.f64 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x)))))))) (((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) 1) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))))) (((x /.f64 (*.f64 (-.f64 (*.f64 (cos.f64 x) (sin.f64 (+.f64 x eps))) (*.f64 (sin.f64 x) (cos.f64 (+.f64 x eps)))) 1) (*.f64 (cos.f64 x) (cos.f64 (+.f64 x eps)))))) (((x /.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) 1) (neg.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) 1) (neg.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (sqrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (sqrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))) (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2)) (cbrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2))) (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2)) (cbrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 2))) (/.f64 1 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (+.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2))))) (((x /.f64 (*.f64 (-.f64 (pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) 3) (pow.f64 (pow.f64 (tan.f64 x) 2) 3)) (/.f64 1 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (+.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2)) (+.f64 (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 x) 2)) (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 (+.f64 x eps)) 2))))))) (((x /.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 (+.f64 x eps)) 3)) (*.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 x) 3))) (/.f64 1 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))))) (((x /.f64 (*.f64 (-.f64 (pow.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) 3) (pow.f64 (pow.f64 (tan.f64 x) 3) 3)) (/.f64 1 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (+.f64 (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 (+.f64 x eps)) 3)) (+.f64 (*.f64 (pow.f64 (tan.f64 x) 3) (pow.f64 (tan.f64 x) 3)) (*.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3))))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) 1) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (sqrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) (sqrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (pow.f64 (tan.f64 x) 2)) (*.f64 (cbrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) (cbrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (cbrt.f64 (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) 1) (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (sqrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (sqrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (/.f64 (-.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 3) (pow.f64 (tan.f64 x) 3)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))) (cbrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (cbrt.f64 (+.f64 (pow.f64 (tan.f64 (+.f64 x eps)) 2) (*.f64 (tan.f64 x) (+.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))))) (((x /.f64 (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (cos.f64 x)))) (((x /.f64 (/.f64 (-.f64 (*.f64 (cos.f64 x) (sin.f64 (+.f64 x eps))) (*.f64 (sin.f64 x) (cos.f64 (+.f64 x eps)))) (cos.f64 (+.f64 x eps))) (cos.f64 x)))) (((x pow.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) 1))) (((x pow.f64 (sqrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 2))) (((x pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3))) (((x pow.f64 (pow.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) 3) 1/3))) (((x sqrt.f64 (pow.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) 2)))) (((x log.f64 (exp.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))))))) (((x cbrt.f64 (pow.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) 3)))) (((x expm1.f64 (log1p.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x exp.f64 (log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x log1p.f64 (expm1.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))))) (((x fma.f64 1 (tan.f64 (+.f64 x eps)) (neg.f64 (tan.f64 x))))) (((x fma.f64 (sqrt.f64 (tan.f64 (+.f64 x eps))) (sqrt.f64 (tan.f64 (+.f64 x eps))) (neg.f64 (tan.f64 x))))) (((x fma.f64 (pow.f64 (cbrt.f64 (tan.f64 (+.f64 x eps))) 2) (cbrt.f64 (tan.f64 (+.f64 x eps))) (neg.f64 (tan.f64 x))))))

end0.0ms (0%)

Profiling

Loading profile data...