2sin (example 3.3)

Time bar (total: 7.4s)

analyze32.0ms (0.4%)

Algorithm
1×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%50%50%0%0%0%3
0%0%50%50%0%0%0%4
0%0%37.5%62.5%0%0%0%5
0%0%25%75%0%0%0%6
0%0%15.6%84.4%0%0%0%7
0%0%10.9%89.1%0%0%0%8
0%0%7%93%0%0%0%9
0%0%5.1%94.9%0%0%0%10
0%0%3.3%96.7%0%0%0%11
0%0%2.4%97.6%0%0%0%12
Compiler

Compiled 30 to 19 computations (36.7% saved)

sample5.8s (78.4%)

Results
4.2s23457×body256precondition
1.5s8256×body256valid
Bogosity

preprocess117.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
382×fma-def
86×sub-neg
70×cancel-sign-sub-inv
66×distribute-rgt-in
56×associate--r+
Problems
246×(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
10×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
025158
143150
268150
3131150
4245150
5347150
6527150
7627150
8675150
9681150
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x)))
(-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 eps))
Outputs
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x)))
(-.f64 (sin.f64 (+.f64 eps (neg.f64 x))) (neg.f64 (sin.f64 x)))
(+.f64 (sin.f64 x) (sin.f64 (-.f64 eps x)))
(-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x eps)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 eps))
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 eps))
Compiler

Compiled 30 to 13 computations (56.7% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶61.4%
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
▶61.4%
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize42.0ms (0.6%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓100.0%
(sin.f64 (+.f64 x eps))
✓61.4%
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Compiler

Compiled 21 to 7 computations (66.7% saved)

series5.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
2.0ms
eps
@inf
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
1.0ms
x
@0
(sin.f64 (+.f64 x eps))
0.0ms
eps
@0
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
0.0ms
x
@0
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
0.0ms
x
@-inf
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

rewrite125.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
1024×fma-def
980×log1p-expm1-u
980×expm1-log1p-u
802×log-prod
334×fma-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01247
116047
2245147
Stop Event
1×node limit
Counts
2 → 151
Calls
Call 1
Inputs
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(sin.f64 (+.f64 x eps))
Outputs
(+.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(+.f64 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(+.f64 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(+.f64 0 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))) (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(*.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))))
(*.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2)
(*.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(*.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))))
(*.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)))
(/.f64 1 (/.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))))
(/.f64 1 (/.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))) (neg.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))) (neg.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(/.f64 (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (sin.f64 x)) 3)) (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x))) (*.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x)))) (-.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))
(pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2)
(sqrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 2))
(log.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))
(log.f64 (*.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (neg.f64 (sin.f64 x)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(log.f64 (/.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (sin.f64 x))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(cbrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3))
(expm1.f64 (log1p.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(exp.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 1))
(log1p.f64 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (neg.f64 (sin.f64 x)))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 1 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(fma.f64 1 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 1 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (neg.f64 (cbrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (neg.f64 (sin.f64 x)))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (neg.f64 (sqrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (sin.f64 x))) (cbrt.f64 (neg.f64 (sin.f64 x)))) (cbrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (neg.f64 (sin.f64 x))) (sqrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 -1 (sin.f64 x) (sin.f64 (+.f64 x eps)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cbrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(+.f64 0 (sin.f64 (+.f64 x eps)))
(+.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(-.f64 (exp.f64 (log1p.f64 (sin.f64 (+.f64 x eps)))) 1)
(-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (sin.f64 1)))
(-.f64 (*.f64 (sin.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (cos.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))) (*.f64 (cos.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (sin.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))))
(*.f64 (sin.f64 (+.f64 x eps)) 1)
(*.f64 1 (sin.f64 (+.f64 x eps)))
(*.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))))
(*.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))))
(/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))))))
(/.f64 (-.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))) (sin.f64 (-.f64 x eps)))
(pow.f64 (sin.f64 (+.f64 x eps)) 1)
(pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 3)
(pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) 2)
(sqrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2))
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
(log.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (exp.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (exp.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))))
(cbrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3))
(expm1.f64 (log1p.f64 (sin.f64 (+.f64 x eps))))
(exp.f64 (log.f64 (sin.f64 (+.f64 x eps))))
(exp.f64 (*.f64 (log.f64 (sin.f64 (+.f64 x eps))) 1))
(log1p.f64 (expm1.f64 (sin.f64 (+.f64 x eps))))
(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 1 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))

simplify104.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
806×fma-neg
762×unswap-sqr
656×associate-+l+
640×distribute-lft-in
590×associate-+r+
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03748764
18698390
226897952
Stop Event
1×node limit
Counts
199 → 230
Calls
Call 1
Inputs
(sin.f64 eps)
(+.f64 (sin.f64 eps) (*.f64 x (-.f64 (cos.f64 eps) 1)))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (*.f64 x (-.f64 (cos.f64 eps) 1))))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (+.f64 (*.f64 x (-.f64 (cos.f64 eps) 1)) (*.f64 (pow.f64 x 3) (+.f64 1/6 (*.f64 -1/6 (cos.f64 eps)))))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(*.f64 eps (cos.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 eps (cos.f64 x))))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(sin.f64 eps)
(+.f64 (sin.f64 eps) (*.f64 x (cos.f64 eps)))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (*.f64 x (cos.f64 eps))))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 x 3) (cos.f64 eps))) (*.f64 x (cos.f64 eps)))))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 x)
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
(+.f64 (sin.f64 x) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x))))
(+.f64 (sin.f64 x) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 eps (cos.f64 x)))))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(+.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(+.f64 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(+.f64 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(+.f64 0 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))) (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(*.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))))
(*.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2)
(*.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(*.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(*.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))))
(*.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)))
(/.f64 1 (/.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))))
(/.f64 1 (/.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))) (neg.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))) (neg.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(/.f64 (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (sin.f64 x)) 3)) (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x))) (*.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x)))) (-.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))
(pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2)
(sqrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 2))
(log.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))
(log.f64 (*.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (neg.f64 (sin.f64 x)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(log.f64 (/.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (sin.f64 x))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(cbrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3))
(expm1.f64 (log1p.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(exp.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 1))
(log1p.f64 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (neg.f64 (sin.f64 x)))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 1 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(fma.f64 1 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 1 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (neg.f64 (cbrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (neg.f64 (sin.f64 x)))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (neg.f64 (sqrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (sin.f64 x))) (cbrt.f64 (neg.f64 (sin.f64 x)))) (cbrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(fma.f64 (sqrt.f64 (neg.f64 (sin.f64 x))) (sqrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(fma.f64 -1 (sin.f64 x) (sin.f64 (+.f64 x eps)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cbrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(+.f64 0 (sin.f64 (+.f64 x eps)))
(+.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(-.f64 (exp.f64 (log1p.f64 (sin.f64 (+.f64 x eps)))) 1)
(-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (sin.f64 1)))
(-.f64 (*.f64 (sin.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (cos.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))) (*.f64 (cos.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (sin.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))))
(*.f64 (sin.f64 (+.f64 x eps)) 1)
(*.f64 1 (sin.f64 (+.f64 x eps)))
(*.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))))
(*.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))))
(/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))))))
(/.f64 (-.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))) (sin.f64 (-.f64 x eps)))
(pow.f64 (sin.f64 (+.f64 x eps)) 1)
(pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 3)
(pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) 2)
(sqrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2))
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
(log.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))))
(log.f64 (*.f64 (exp.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (exp.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))))
(cbrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3))
(expm1.f64 (log1p.f64 (sin.f64 (+.f64 x eps))))
(exp.f64 (log.f64 (sin.f64 (+.f64 x eps))))
(exp.f64 (*.f64 (log.f64 (sin.f64 (+.f64 x eps))) 1))
(log1p.f64 (expm1.f64 (sin.f64 (+.f64 x eps))))
(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 1 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))
Outputs
(sin.f64 eps)
(+.f64 (sin.f64 eps) (*.f64 x (-.f64 (cos.f64 eps) 1)))
(+.f64 (sin.f64 eps) (*.f64 x (+.f64 (cos.f64 eps) -1)))
(fma.f64 x (+.f64 (cos.f64 eps) -1) (sin.f64 eps))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (*.f64 x (-.f64 (cos.f64 eps) 1))))
(+.f64 (sin.f64 eps) (fma.f64 -1/2 (*.f64 (sin.f64 eps) (pow.f64 x 2)) (*.f64 x (+.f64 (cos.f64 eps) -1))))
(+.f64 (*.f64 x (+.f64 (cos.f64 eps) -1)) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1) (sin.f64 eps)))
(+.f64 (*.f64 x (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1)))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (+.f64 (*.f64 x (-.f64 (cos.f64 eps) 1)) (*.f64 (pow.f64 x 3) (+.f64 1/6 (*.f64 -1/6 (cos.f64 eps)))))))
(+.f64 (sin.f64 eps) (fma.f64 -1/2 (*.f64 (sin.f64 eps) (pow.f64 x 2)) (fma.f64 x (+.f64 (cos.f64 eps) -1) (*.f64 (pow.f64 x 3) (+.f64 1/6 (*.f64 (cos.f64 eps) -1/6))))))
(+.f64 (fma.f64 x (+.f64 (cos.f64 eps) -1) (*.f64 (pow.f64 x 3) (fma.f64 (cos.f64 eps) -1/6 1/6))) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1) (sin.f64 eps)))
(+.f64 (fma.f64 x (+.f64 (cos.f64 eps) -1) (*.f64 (pow.f64 x 3) (fma.f64 (cos.f64 eps) -1/6 1/6))) (*.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 eps (*.f64 -1 x))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 eps (cos.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
(fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (*.f64 eps (cos.f64 x)))
(fma.f64 eps (cos.f64 x) (*.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2))))
(fma.f64 eps (cos.f64 x) (*.f64 (sin.f64 x) (*.f64 -1/2 (pow.f64 eps 2))))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 eps (cos.f64 x))))
(fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (fma.f64 -1/6 (*.f64 (cos.f64 x) (pow.f64 eps 3)) (*.f64 eps (cos.f64 x))))
(fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (*.f64 (cos.f64 x) (+.f64 eps (*.f64 -1/6 (pow.f64 eps 3)))))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x)))))
(fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (fma.f64 -1/6 (*.f64 (cos.f64 x) (pow.f64 eps 3)) (fma.f64 1/24 (*.f64 (sin.f64 x) (pow.f64 eps 4)) (*.f64 eps (cos.f64 x)))))
(+.f64 (fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (*.f64 (cos.f64 x) (+.f64 eps (*.f64 -1/6 (pow.f64 eps 3))))) (*.f64 1/24 (*.f64 (sin.f64 x) (pow.f64 eps 4))))
(+.f64 (fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (*.f64 (cos.f64 x) (+.f64 eps (*.f64 -1/6 (pow.f64 eps 3))))) (*.f64 (*.f64 1/24 (sin.f64 x)) (pow.f64 eps 4)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(-.f64 (sin.f64 (-.f64 x (*.f64 -1 eps))) (sin.f64 x))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(sin.f64 eps)
(+.f64 (sin.f64 eps) (*.f64 x (cos.f64 eps)))
(fma.f64 x (cos.f64 eps) (sin.f64 eps))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (*.f64 x (cos.f64 eps))))
(+.f64 (sin.f64 eps) (fma.f64 -1/2 (*.f64 (sin.f64 eps) (pow.f64 x 2)) (*.f64 x (cos.f64 eps))))
(+.f64 (*.f64 x (cos.f64 eps)) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1) (sin.f64 eps)))
(+.f64 (*.f64 x (cos.f64 eps)) (*.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1)))
(+.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 x 2) (sin.f64 eps))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 x 3) (cos.f64 eps))) (*.f64 x (cos.f64 eps)))))
(+.f64 (sin.f64 eps) (fma.f64 -1/2 (*.f64 (sin.f64 eps) (pow.f64 x 2)) (fma.f64 -1/6 (*.f64 (cos.f64 eps) (pow.f64 x 3)) (*.f64 x (cos.f64 eps)))))
(+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1) (sin.f64 eps)))
(+.f64 (*.f64 (cos.f64 eps) (+.f64 x (*.f64 (pow.f64 x 3) -1/6))) (*.f64 (sin.f64 eps) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) 1)))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 eps (*.f64 -1 x)))
(sin.f64 (+.f64 eps x))
(sin.f64 x)
(+.f64 (sin.f64 x) (*.f64 eps (cos.f64 x)))
(fma.f64 eps (cos.f64 x) (sin.f64 x))
(+.f64 (sin.f64 x) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x))))
(+.f64 (sin.f64 x) (fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (*.f64 eps (cos.f64 x))))
(+.f64 (*.f64 eps (cos.f64 x)) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) 1) (sin.f64 x)))
(+.f64 (*.f64 eps (cos.f64 x)) (*.f64 (sin.f64 x) (+.f64 1 (*.f64 -1/2 (pow.f64 eps 2)))))
(+.f64 (sin.f64 x) (+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 eps (cos.f64 x)))))
(+.f64 (sin.f64 x) (fma.f64 -1/2 (*.f64 (sin.f64 x) (pow.f64 eps 2)) (fma.f64 -1/6 (*.f64 (cos.f64 x) (pow.f64 eps 3)) (*.f64 eps (cos.f64 x)))))
(+.f64 (*.f64 (cos.f64 x) (+.f64 eps (*.f64 -1/6 (pow.f64 eps 3)))) (*.f64 (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) 1) (sin.f64 x)))
(+.f64 (*.f64 (cos.f64 x) (+.f64 eps (*.f64 -1/6 (pow.f64 eps 3)))) (*.f64 (sin.f64 x) (+.f64 1 (*.f64 -1/2 (pow.f64 eps 2)))))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (+.f64 eps x))
(sin.f64 (-.f64 x (*.f64 -1 eps)))
(sin.f64 (+.f64 eps x))
(+.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(+.f64 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 0 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))) (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)))) (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))))))
(*.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))))
(*.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))))
(*.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2)
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))))
(*.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))))
(*.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(*.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(*.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))))
(*.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))))
(*.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))))
(/.f64 1 (/.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 1 (/.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3))) (neg.f64 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2))) (neg.f64 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (neg.f64 (sin.f64 x)) 3)) (+.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (-.f64 (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x))) (*.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (*.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x)))) (-.f64 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x))))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1)
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 3)
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(pow.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3) 1/3)
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(pow.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2)
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(sqrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 2))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (exp.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (/.f64 1 (exp.f64 (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (neg.f64 (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (exp.f64 (sin.f64 (+.f64 x eps)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (*.f64 (exp.f64 (neg.f64 (sin.f64 x))) (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps))))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (/.f64 (exp.f64 (sin.f64 (+.f64 x eps))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (exp.f64 (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))) (+.f64 1 (expm1.f64 (sin.f64 x)))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(cbrt.f64 (pow.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 3))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(expm1.f64 (log1p.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(exp.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(log1p.f64 (expm1.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sin.f64 (+.f64 x eps)) 1 (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) 1 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (cos.f64 eps) (sin.f64 x) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2))) 2 (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 1 (sin.f64 (+.f64 x eps)) (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 1 (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 1 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 1 (neg.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) 2) (cbrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (neg.f64 (cbrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (sqrt.f64 (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (sin.f64 x)) (neg.f64 (sqrt.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (neg.f64 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))) (*.f64 (neg.f64 (sin.f64 x)) 1))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) (pow.f64 (sin.f64 x) 3)) (/.f64 1 (fma.f64 (sin.f64 x) (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) (pow.f64 (sin.f64 (+.f64 x eps)) 2))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) 1) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))) (pow.f64 (sin.f64 (+.f64 eps x)) 2)))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(fma.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) 1) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 2) (pow.f64 (sin.f64 x) 2)) (+.f64 (sin.f64 x) (sin.f64 (+.f64 eps x))))
(fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (sin.f64 x))) (cbrt.f64 (neg.f64 (sin.f64 x)))) (cbrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
(-.f64 (fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
(-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (sin.f64 x) (-.f64 1 (cos.f64 eps))))
(fma.f64 (sqrt.f64 (neg.f64 (sin.f64 x))) (sqrt.f64 (neg.f64 (sin.f64 x))) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 -1 (sin.f64 x) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (+.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 x))) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cbrt.f64 (sin.f64 x)) (sin.f64 (+.f64 x eps)))
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x))
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (sin.f64 x)) 1 (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(fma.f64 (*.f64 2 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2))) (cos.f64 (*.f64 (+.f64 eps (+.f64 x x)) 1/2)) (+.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 2 (*.f64 (sin.f64 (*.f64 (+.f64 x (-.f64 eps x)) 1/2)) (cos.f64 (*.f64 1/2 (+.f64 eps (*.f64 2 x))))) (+.f64 (sin.f64 x) (neg.f64 (sin.f64 x))))
(fma.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps)))) (*.f64 0 (sin.f64 x)))
(fma.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))) (*.f64 2 (sin.f64 (*.f64 eps 1/2))) 0)
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(+.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(+.f64 0 (sin.f64 (+.f64 x eps)))
(sin.f64 (+.f64 eps x))
(+.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))) (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x)))) (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (+.f64 eps x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 x eps))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (+.f64 eps x))))))
(-.f64 (exp.f64 (log1p.f64 (sin.f64 (+.f64 x eps)))) 1)
(sin.f64 (+.f64 eps x))
(-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (+.f64 x eps)))) (sin.f64 1)))
(-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (+.f64 eps x)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (+.f64 eps x)))) (sin.f64 1)))
(-.f64 (*.f64 (sin.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (cos.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))) (*.f64 (cos.f64 (/.f64 (pow.f64 x 2) (-.f64 x eps))) (sin.f64 (/.f64 (pow.f64 eps 2) (-.f64 x eps)))))
(*.f64 (sin.f64 (+.f64 x eps)) 1)
(sin.f64 (+.f64 eps x))
(*.f64 1 (sin.f64 (+.f64 x eps)))
(sin.f64 (+.f64 eps x))
(*.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2))
(sin.f64 (+.f64 eps x))
(*.f64 (pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 2) (cbrt.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(*.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) (sqrt.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))))))
(/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) 3) (pow.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) 3)) (+.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (cos.f64 eps) (cos.f64 eps))) (*.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (cos.f64 eps) (sin.f64 x))))))
(/.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) 3) (pow.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) 3)) (fma.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (cos.f64 eps) (cos.f64 eps)) (*.f64 (sin.f64 eps) (*.f64 (cos.f64 x) (-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (cos.f64 eps) (sin.f64 x)))))))
(/.f64 (-.f64 (*.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))) (sin.f64 (-.f64 x eps)))
(/.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (cos.f64 eps) (cos.f64 eps))) (*.f64 (cos.f64 x) (*.f64 (sin.f64 eps) (*.f64 (sin.f64 eps) (cos.f64 x))))) (sin.f64 (-.f64 x eps)))
(/.f64 (fma.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (cos.f64 eps) (cos.f64 eps)) (*.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps))))) (sin.f64 (-.f64 x eps)))
(pow.f64 (sin.f64 (+.f64 x eps)) 1)
(sin.f64 (+.f64 eps x))
(pow.f64 (cbrt.f64 (sin.f64 (+.f64 x eps))) 3)
(sin.f64 (+.f64 eps x))
(pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3)
(sin.f64 (+.f64 eps x))
(pow.f64 (sqrt.f64 (sin.f64 (+.f64 x eps))) 2)
(sin.f64 (+.f64 eps x))
(sqrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 2))
(sin.f64 (+.f64 eps x))
(log.f64 (exp.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(log.f64 (+.f64 1 (expm1.f64 (sin.f64 (+.f64 x eps)))))
(sin.f64 (+.f64 eps x))
(log.f64 (*.f64 (exp.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (exp.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(cbrt.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3))
(sin.f64 (+.f64 eps x))
(expm1.f64 (log1p.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(exp.f64 (log.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(exp.f64 (*.f64 (log.f64 (sin.f64 (+.f64 x eps))) 1))
(sin.f64 (+.f64 eps x))
(log1p.f64 (expm1.f64 (sin.f64 (+.f64 x eps))))
(sin.f64 (+.f64 eps x))
(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) 1 (*.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) 1))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 1 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 1 (*.f64 (cos.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps)))
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
(fma.f64 (cos.f64 eps) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))

eval52.0ms (0.7%)

Compiler

Compiled 4205 to 1390 computations (66.9% saved)

prune31.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2273230
Fresh000
Picked101
Done000
Total2283231
Accuracy
100.0%
Counts
231 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
▶99.9%
(*.f64 eps (cos.f64 x))
▶99.5%
(sin.f64 eps)
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
▶99.9%
(*.f64 eps (cos.f64 x))
▶99.5%
(sin.f64 eps)
Compiler

Compiled 50 to 36 computations (28% saved)

localize83.0ms (1.1%)

Localize:

Found 4 expressions with local error:

NewAccuracyProgram
✓100.0%
(pow.f64 eps 2)
✓100.0%
(*.f64 eps (cos.f64 x))
✓99.9%
(*.f64 (pow.f64 eps 2) (sin.f64 x))
✓100.0%
(*.f64 eps (cos.f64 x))
Compiler

Compiled 56 to 25 computations (55.4% saved)

series6.0ms (0.1%)

Counts
4 → 12
Calls

21 calls:

TimeVariablePointExpression
1.0ms
eps
@0
(*.f64 eps (cos.f64 x))
1.0ms
x
@inf
(*.f64 eps (cos.f64 x))
1.0ms
eps
@-inf
(pow.f64 eps 2)
0.0ms
eps
@inf
(pow.f64 eps 2)
0.0ms
eps
@0
(*.f64 (pow.f64 eps 2) (sin.f64 x))

rewrite74.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
890×unpow-prod-down
690×log-prod
570×log1p-expm1-u
570×expm1-log1p-u
536×prod-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01467
114667
2161567
Stop Event
1×node limit
Counts
4 → 120
Calls
Call 1
Inputs
(*.f64 eps (cos.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 eps (cos.f64 x))
(pow.f64 eps 2)
Outputs
(+.f64 0 (*.f64 eps (cos.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(exp.f64 (+.f64 (*.f64 2 (log.f64 eps)) (*.f64 (log.f64 (sin.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (log.f64 (sin.f64 x))))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (*.f64 (log.f64 (sin.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (sin.f64 x)) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 2 (log.f64 eps))))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(+.f64 0 (*.f64 eps (cos.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(+.f64 0 (pow.f64 eps 2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 eps 2))) 1)
(*.f64 eps eps)
(*.f64 (pow.f64 eps 2) 1)
(*.f64 (pow.f64 eps 2) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 eps 2))
(*.f64 (cbrt.f64 (pow.f64 eps 2)) (cbrt.f64 (pow.f64 eps 4)))
(*.f64 (cbrt.f64 (pow.f64 eps 4)) (cbrt.f64 (pow.f64 eps 2)))
(*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2))
(*.f64 (pow.f64 eps 3/2) (sqrt.f64 eps))
(*.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps))
(*.f64 (pow.f64 1 1/3) (pow.f64 eps 2))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))) 2) 3) (cbrt.f64 (pow.f64 eps 2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3))
(*.f64 (pow.f64 (pow.f64 eps 5) 1/3) (cbrt.f64 eps))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 eps 2)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))))
(sqrt.f64 (pow.f64 eps 4))
(log.f64 (exp.f64 (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 eps 6))
(expm1.f64 (log1p.f64 (pow.f64 eps 2)))
(exp.f64 (*.f64 2 (log.f64 eps)))
(exp.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 eps) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 eps 6)) 1/3))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (pow.f64 eps 2)))

simplify85.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
1394×fma-def
776×unswap-sqr
776×log-prod
652×sqr-pow
548×distribute-lft-out
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02713194
16033045
215692985
353742943
Stop Event
1×node limit
Counts
132 → 130
Calls
Call 1
Inputs
eps
(+.f64 eps (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (+.f64 (*.f64 -1/720 (*.f64 eps (pow.f64 x 6))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(*.f64 (pow.f64 eps 2) x)
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (*.f64 (pow.f64 eps 2) x))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x)))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x))))
eps
(+.f64 eps (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (+.f64 (*.f64 -1/720 (*.f64 eps (pow.f64 x 6))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(+.f64 0 (*.f64 eps (cos.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(exp.f64 (+.f64 (*.f64 2 (log.f64 eps)) (*.f64 (log.f64 (sin.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (log.f64 (sin.f64 x))))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (*.f64 (log.f64 (sin.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (sin.f64 x)) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 2 (log.f64 eps))))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(+.f64 0 (*.f64 eps (cos.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(+.f64 0 (pow.f64 eps 2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 eps 2))) 1)
(*.f64 eps eps)
(*.f64 (pow.f64 eps 2) 1)
(*.f64 (pow.f64 eps 2) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 eps 2))
(*.f64 (cbrt.f64 (pow.f64 eps 2)) (cbrt.f64 (pow.f64 eps 4)))
(*.f64 (cbrt.f64 (pow.f64 eps 4)) (cbrt.f64 (pow.f64 eps 2)))
(*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2))
(*.f64 (pow.f64 eps 3/2) (sqrt.f64 eps))
(*.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps))
(*.f64 (pow.f64 1 1/3) (pow.f64 eps 2))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))) 2) 3) (cbrt.f64 (pow.f64 eps 2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3))
(*.f64 (pow.f64 (pow.f64 eps 5) 1/3) (cbrt.f64 eps))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 eps 2)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))))
(sqrt.f64 (pow.f64 eps 4))
(log.f64 (exp.f64 (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 eps 6))
(expm1.f64 (log1p.f64 (pow.f64 eps 2)))
(exp.f64 (*.f64 2 (log.f64 eps)))
(exp.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 eps) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 eps 6)) 1/3))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (pow.f64 eps 2)))
Outputs
eps
(+.f64 eps (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))))
(fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) eps)
(fma.f64 eps (*.f64 -1/2 (pow.f64 x 2)) eps)
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (*.f64 (pow.f64 x 4) (*.f64 eps 1/24))))
(+.f64 eps (*.f64 eps (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(*.f64 eps (+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (+.f64 (*.f64 -1/720 (*.f64 eps (pow.f64 x 6))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (fma.f64 -1/720 (*.f64 eps (pow.f64 x 6)) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(+.f64 (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) eps) (fma.f64 1/24 (*.f64 eps (pow.f64 x 4)) (*.f64 (pow.f64 x 6) (*.f64 eps -1/720))))
(+.f64 eps (fma.f64 eps (*.f64 -1/720 (pow.f64 x 6)) (*.f64 eps (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4))))))
(+.f64 eps (*.f64 eps (+.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4))) (*.f64 -1/720 (pow.f64 x 6)))))
(*.f64 (pow.f64 eps 2) x)
(*.f64 x (pow.f64 eps 2))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (*.f64 (pow.f64 eps 2) x))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (*.f64 x (pow.f64 eps 2)))
(fma.f64 x (pow.f64 eps 2) (*.f64 (pow.f64 eps 2) (*.f64 (pow.f64 x 3) -1/6)))
(*.f64 (pow.f64 eps 2) (+.f64 x (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x)))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5)) (*.f64 x (pow.f64 eps 2))))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 x (pow.f64 eps 2) (*.f64 (pow.f64 x 5) (*.f64 (pow.f64 eps 2) 1/120))))
(fma.f64 x (pow.f64 eps 2) (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (*.f64 1/120 (pow.f64 x 5)))))
(*.f64 (pow.f64 eps 2) (+.f64 x (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (*.f64 1/120 (pow.f64 x 5)))))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x))))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7)) (fma.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5)) (*.f64 x (pow.f64 eps 2)))))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7)) (fma.f64 x (pow.f64 eps 2) (*.f64 (pow.f64 x 5) (*.f64 (pow.f64 eps 2) 1/120)))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 x (*.f64 1/120 (pow.f64 x 5)))) (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (*.f64 -1/5040 (pow.f64 x 7)))))
(*.f64 (pow.f64 eps 2) (+.f64 (+.f64 x (*.f64 -1/6 (pow.f64 x 3))) (+.f64 (*.f64 1/120 (pow.f64 x 5)) (*.f64 -1/5040 (pow.f64 x 7)))))
eps
(+.f64 eps (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))))
(fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) eps)
(fma.f64 eps (*.f64 -1/2 (pow.f64 x 2)) eps)
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (*.f64 1/24 (*.f64 eps (pow.f64 x 4)))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (*.f64 (pow.f64 x 4) (*.f64 eps 1/24))))
(+.f64 eps (*.f64 eps (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(*.f64 eps (+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 eps (+.f64 (*.f64 -1/2 (*.f64 eps (pow.f64 x 2))) (+.f64 (*.f64 -1/720 (*.f64 eps (pow.f64 x 6))) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(+.f64 eps (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) (fma.f64 -1/720 (*.f64 eps (pow.f64 x 6)) (*.f64 1/24 (*.f64 eps (pow.f64 x 4))))))
(+.f64 (fma.f64 -1/2 (*.f64 eps (pow.f64 x 2)) eps) (fma.f64 1/24 (*.f64 eps (pow.f64 x 4)) (*.f64 (pow.f64 x 6) (*.f64 eps -1/720))))
(+.f64 eps (fma.f64 eps (*.f64 -1/720 (pow.f64 x 6)) (*.f64 eps (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4))))))
(+.f64 eps (*.f64 eps (+.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4))) (*.f64 -1/720 (pow.f64 x 6)))))
(+.f64 0 (*.f64 eps (cos.f64 x)))
(*.f64 eps (cos.f64 x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(*.f64 eps (cos.f64 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(*.f64 eps (cos.f64 x))
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(*.f64 eps (cos.f64 x))
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(*.f64 eps (cos.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(*.f64 eps (cos.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(*.f64 eps (cos.f64 x))
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(*.f64 eps (cos.f64 x))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(*.f64 eps (cos.f64 x))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(*.f64 eps (cos.f64 x))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(*.f64 eps (cos.f64 x))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (cos.f64 x))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 1)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1) 1))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (*.f64 2 (log.f64 eps)) (*.f64 (log.f64 (sin.f64 x)) 1)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (log.f64 (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) (*.f64 (log.f64 (sin.f64 x)) 1)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (log.f64 (sin.f64 x)) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 2 (log.f64 eps))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (sin.f64 x)) 1) (*.f64 (*.f64 2 (log.f64 eps)) 1)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 0 (*.f64 eps (cos.f64 x)))
(*.f64 eps (cos.f64 x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))))
(*.f64 eps (cos.f64 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (cos.f64 x)))) 1)
(*.f64 eps (cos.f64 x))
(pow.f64 (*.f64 eps (cos.f64 x)) 1)
(*.f64 eps (cos.f64 x))
(pow.f64 (cbrt.f64 (*.f64 eps (cos.f64 x))) 3)
(*.f64 eps (cos.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2) 1/2)
(*.f64 eps (cos.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3) 1/3)
(*.f64 eps (cos.f64 x))
(pow.f64 (sqrt.f64 (*.f64 eps (cos.f64 x))) 2)
(*.f64 eps (cos.f64 x))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x))))) (sqrt.f64 (log.f64 (*.f64 eps (cos.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 2))
(*.f64 eps (cos.f64 x))
(log.f64 (pow.f64 (exp.f64 eps) (cos.f64 x)))
(*.f64 eps (cos.f64 x))
(cbrt.f64 (pow.f64 (*.f64 eps (cos.f64 x)) 3))
(*.f64 eps (cos.f64 x))
(expm1.f64 (log1p.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (log.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (cos.f64 x))) 1) 1))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (cos.f64 x)))) 3))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (cos.f64 x)))) 1/3))
(*.f64 eps (cos.f64 x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (cos.f64 x)))) 2))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 (cos.f64 x)) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 (cos.f64 x)) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (log.f64 (cos.f64 x)) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (log.f64 eps)))
(*.f64 eps (cos.f64 x))
(exp.f64 (+.f64 (*.f64 (log.f64 (cos.f64 x)) 1) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (cos.f64 x))
(log1p.f64 (expm1.f64 (*.f64 eps (cos.f64 x))))
(*.f64 eps (cos.f64 x))
(+.f64 0 (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 eps 2)))))
(pow.f64 eps 2)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 eps 2))) 1)
(pow.f64 eps 2)
(*.f64 eps eps)
(pow.f64 eps 2)
(*.f64 (pow.f64 eps 2) 1)
(pow.f64 eps 2)
(*.f64 (pow.f64 eps 2) (log.f64 (exp.f64 1)))
(pow.f64 eps 2)
(*.f64 1 (pow.f64 eps 2))
(pow.f64 eps 2)
(*.f64 (cbrt.f64 (pow.f64 eps 2)) (cbrt.f64 (pow.f64 eps 4)))
(pow.f64 eps 2)
(*.f64 (cbrt.f64 (pow.f64 eps 4)) (cbrt.f64 (pow.f64 eps 2)))
(pow.f64 eps 2)
(*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2))
(*.f64 (pow.f64 eps 3/2) (sqrt.f64 eps))
(*.f64 (pow.f64 eps 3/2) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2))
(*.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps))
(pow.f64 eps 2)
(*.f64 (pow.f64 1 1/3) (pow.f64 eps 2))
(pow.f64 eps 2)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(pow.f64 eps 2)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))) 2) 3) (cbrt.f64 (pow.f64 eps 2)))
(pow.f64 eps 2)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 eps 6)) 1/3))
(pow.f64 eps 2)
(*.f64 (pow.f64 (pow.f64 eps 5) 1/3) (cbrt.f64 eps))
(*.f64 (cbrt.f64 eps) (cbrt.f64 (pow.f64 eps 5)))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 eps 2)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 eps 2)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 eps 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 eps 2)) 8)))
(sqrt.f64 (pow.f64 eps 4))
(pow.f64 eps 2)
(log.f64 (exp.f64 (pow.f64 eps 2)))
(pow.f64 eps 2)
(cbrt.f64 (pow.f64 eps 6))
(pow.f64 eps 2)
(expm1.f64 (log1p.f64 (pow.f64 eps 2)))
(pow.f64 eps 2)
(exp.f64 (*.f64 2 (log.f64 eps)))
(pow.f64 eps 2)
(exp.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1))
(pow.f64 eps 2)
(exp.f64 (*.f64 (*.f64 (log.f64 eps) 1) 2))
(pow.f64 eps 2)
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 eps)) 1) 1))
(pow.f64 eps 2)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 eps 2))) 3))
(pow.f64 eps 2)
(exp.f64 (*.f64 (log.f64 (pow.f64 eps 6)) 1/3))
(pow.f64 eps 2)
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 eps) 1)))
(pow.f64 eps 2)
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (log.f64 eps)))
(pow.f64 eps 2)
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 eps) 1)))
(pow.f64 eps 2)
(log1p.f64 (expm1.f64 (pow.f64 eps 2)))
(pow.f64 eps 2)

eval62.0ms (0.8%)

Compiler

Compiled 3069 to 1756 computations (42.8% saved)

prune24.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1723175
Fresh000
Picked213
Done000
Total1744178
Accuracy
100.0%
Counts
178 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) x)) (*.f64 eps (cos.f64 x)))
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
✓99.9%
(*.f64 eps (cos.f64 x))
99.5%
eps
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) x)) (*.f64 eps (cos.f64 x)))
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
✓99.9%
(*.f64 eps (cos.f64 x))
99.5%
eps
Compiler

Compiled 76 to 52 computations (31.6% saved)

localize86.0ms (1.2%)

Localize:

Found 5 expressions with local error:

NewAccuracyProgram
100.0%
(pow.f64 eps 2)
100.0%
(*.f64 eps (cos.f64 x))
✓99.9%
(*.f64 (pow.f64 eps 2) x)
100.0%
(*.f64 eps (cos.f64 x))
✓99.9%
(*.f64 (*.f64 eps eps) (sin.f64 x))
Compiler

Compiled 81 to 32 computations (60.5% saved)

series3.0ms (0%)

Counts
2 → 24
Calls

12 calls:

TimeVariablePointExpression
1.0ms
eps
@inf
(*.f64 (pow.f64 eps 2) x)
0.0ms
x
@-inf
(*.f64 (pow.f64 eps 2) x)
0.0ms
x
@inf
(*.f64 (pow.f64 eps 2) x)
0.0ms
eps
@0
(*.f64 (pow.f64 eps 2) x)
0.0ms
x
@0
(*.f64 (pow.f64 eps 2) x)

rewrite63.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
822×unpow-prod-down
636×log-prod
542×prod-exp
510×log1p-expm1-u
510×expm1-log1p-u
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01442
113642
2146542
Stop Event
1×node limit
Counts
2 → 42
Calls
Call 1
Inputs
(*.f64 (*.f64 eps eps) (sin.f64 x))
(*.f64 (pow.f64 eps 2) x)
Outputs
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))

simplify84.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
1312×log-prod
952×prod-exp
624×distribute-lft-in
618×distribute-rgt-in
536×fma-def
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01421942
13231866
27941826
328161800
471121800
Stop Event
1×node limit
Counts
66 → 69
Calls
Call 1
Inputs
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) x)
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (*.f64 (pow.f64 eps 2) x))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x)))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))
Outputs
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) x)
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (*.f64 (pow.f64 eps 2) x))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (*.f64 (pow.f64 eps 2) x))
(fma.f64 (pow.f64 eps 2) x (*.f64 (pow.f64 eps 2) (*.f64 (pow.f64 x 3) -1/6)))
(*.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1/6 (pow.f64 x 3)) x))
(*.f64 (pow.f64 eps 2) (+.f64 x (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x)))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5)) (*.f64 (pow.f64 eps 2) x)))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 (pow.f64 eps 2) x (*.f64 (pow.f64 eps 2) (*.f64 (pow.f64 x 5) 1/120))))
(fma.f64 (pow.f64 eps 2) (*.f64 1/120 (pow.f64 x 5)) (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1/6 (pow.f64 x 3)) x)))
(*.f64 (pow.f64 eps 2) (+.f64 (+.f64 x (*.f64 1/120 (pow.f64 x 5))) (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 (*.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7))) (+.f64 (*.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5))) (*.f64 (pow.f64 eps 2) x))))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7)) (fma.f64 1/120 (*.f64 (pow.f64 eps 2) (pow.f64 x 5)) (*.f64 (pow.f64 eps 2) x))))
(fma.f64 -1/6 (*.f64 (pow.f64 eps 2) (pow.f64 x 3)) (fma.f64 -1/5040 (*.f64 (pow.f64 eps 2) (pow.f64 x 7)) (fma.f64 (pow.f64 eps 2) x (*.f64 (pow.f64 eps 2) (*.f64 (pow.f64 x 5) 1/120)))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1/6 (pow.f64 x 3)) x)) (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 1/120 (pow.f64 x 5)) (*.f64 -1/5040 (pow.f64 x 7)))))
(*.f64 (pow.f64 eps 2) (+.f64 (+.f64 (*.f64 1/120 (pow.f64 x 5)) (*.f64 -1/6 (pow.f64 x 3))) (+.f64 x (*.f64 -1/5040 (pow.f64 x 7)))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 0 (*.f64 (pow.f64 eps 2) (sin.f64 x)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 1)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) 1)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))) 3)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4) 1/2)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6) 1/3)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 2)
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(pow.f64 (E.f64) (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 4))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(log.f64 (pow.f64 (exp.f64 (pow.f64 eps 2)) (sin.f64 x)))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)))) 3))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 (sin.f64 x))) 6)) 1/3))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 (sin.f64 x)))) 2))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
(*.f64 (pow.f64 eps 2) (sin.f64 x))
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(*.f64 (pow.f64 eps 2) x)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(*.f64 (pow.f64 eps 2) x)
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(pow.f64 (E.f64) (log.f64 (*.f64 (pow.f64 eps 2) x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x)))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(*.f64 (pow.f64 eps 2) x)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(*.f64 (pow.f64 eps 2) x)
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(*.f64 (pow.f64 eps 2) x)
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(*.f64 (pow.f64 eps 2) x)
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))
(*.f64 (pow.f64 eps 2) x)

eval93.0ms (1.3%)

Compiler

Compiled 5551 to 2997 computations (46% saved)

prune30.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2861287
Fresh011
Picked112
Done011
Total2874291
Accuracy
100.0%
Counts
291 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
✓99.9%
(*.f64 eps (cos.f64 x))
99.5%
eps
✓100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
▶100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
✓99.9%
(*.f64 eps (cos.f64 x))
99.5%
eps
Compiler

Compiled 76 to 50 computations (34.2% saved)

localize41.0ms (0.6%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
100.0%
(*.f64 eps (cos.f64 x))
✓99.9%
(*.f64 (*.f64 eps eps) x)
Compiler

Compiled 39 to 13 computations (66.7% saved)

series0.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
eps
@0
(*.f64 (*.f64 eps eps) x)
0.0ms
eps
@inf
(*.f64 (*.f64 eps eps) x)
0.0ms
x
@0
(*.f64 (*.f64 eps eps) x)
0.0ms
x
@inf
(*.f64 (*.f64 eps eps) x)
0.0ms
eps
@-inf
(*.f64 (*.f64 eps eps) x)

rewrite56.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
538×unpow-prod-down
414×log-prod
404×cbrt-prod
390×prod-exp
348×sqrt-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
18719
296119
Stop Event
1×node limit
Counts
1 → 21
Calls
Call 1
Inputs
(*.f64 (*.f64 eps eps) x)
Outputs
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))

simplify68.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1682×log-prod
1244×fma-neg
556×unswap-sqr
400×associate-/l*
396×fma-def
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0711003
1150967
2320967
3919967
43596967
57498967
Stop Event
1×node limit
Counts
45 → 26
Calls
Call 1
Inputs
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))
Outputs
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(*.f64 (pow.f64 eps 2) x)
(+.f64 0 (*.f64 (pow.f64 eps 2) x))
(*.f64 (pow.f64 eps 2) x)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))))
(*.f64 (pow.f64 eps 2) x)
(-.f64 (+.f64 1 (*.f64 (pow.f64 eps 2) x)) 1)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (*.f64 (pow.f64 eps 2) x) 1)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x)) 3)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4) 1/2)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6) 1/3)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (*.f64 eps (sqrt.f64 x)) 2)
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (E.f64) (fma.f64 2 (log.f64 eps) (log.f64 x)))
(*.f64 (pow.f64 eps 2) x)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))) 2)) (cbrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))) (sqrt.f64 (fma.f64 2 (log.f64 eps) (log.f64 x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x)))) (sqrt.f64 (log.f64 (*.f64 (pow.f64 eps 2) x))))
(sqrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 4))
(*.f64 (pow.f64 eps 2) x)
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 eps 2)))
(*.f64 (pow.f64 eps 2) x)
(cbrt.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6))
(*.f64 (pow.f64 eps 2) x)
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 eps 2) x)))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (fma.f64 2 (log.f64 eps) (log.f64 x)))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (pow.f64 eps 2) x))) 3))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (sqrt.f64 x)) 6)) 1/3))
(*.f64 (pow.f64 eps 2) x)
(exp.f64 (*.f64 (log.f64 (*.f64 eps (sqrt.f64 x))) 2))
(*.f64 (pow.f64 eps 2) x)
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 eps 2) x)))
(*.f64 (pow.f64 eps 2) x)

eval21.0ms (0.3%)

Compiler

Compiled 1298 to 650 computations (49.9% saved)

prune11.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New71071
Fresh011
Picked011
Done022
Total71475
Accuracy
100.0%
Counts
75 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
✓100.0%
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
✓99.9%
(*.f64 eps (cos.f64 x))
99.5%
eps
Compiler

Compiled 104 to 55 computations (47.1% saved)

regimes16.0ms (0.2%)

Counts
8 → 1
Calls
Call 1
Inputs
eps
(sin.f64 eps)
(*.f64 eps (cos.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) x)) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
Outputs
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
Calls

3 calls:

5.0ms
x
5.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.0ms
eps
Results
AccuracySegmentsBranch
100.0%1x
100.0%1eps
100.0%1(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Compiler

Compiled 81 to 40 computations (50.6% saved)

regimes20.0ms (0.3%)

Counts
6 → 1
Calls
Call 1
Inputs
eps
(sin.f64 eps)
(*.f64 eps (cos.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
(+.f64 (*.f64 -1/2 (*.f64 (pow.f64 eps 2) x)) (*.f64 eps (cos.f64 x)))
Outputs
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
Calls

3 calls:

10.0ms
eps
5.0ms
x
4.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1eps
100.0%1(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Compiler

Compiled 55 to 30 computations (45.5% saved)

regimes9.0ms (0.1%)

Counts
3 → 1
Calls
Call 1
Inputs
eps
(sin.f64 eps)
(*.f64 eps (cos.f64 x))
Outputs
(*.f64 eps (cos.f64 x))
Calls

2 calls:

6.0ms
x
3.0ms
eps
Results
AccuracySegmentsBranch
99.9%1x
99.9%1eps
Compiler

Compiled 15 to 9 computations (40% saved)

regimes6.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
2 → 1
Calls
Call 1
Inputs
eps
(sin.f64 eps)
Outputs
eps
Calls

2 calls:

3.0ms
x
3.0ms
eps
Results
AccuracySegmentsBranch
99.5%1x
99.5%1eps
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×*-commutative
4×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019125
126125
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
(*.f64 eps (cos.f64 x))
eps
Outputs
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) (sin.f64 x))) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)) (*.f64 eps (cos.f64 x)))
(+.f64 (*.f64 eps (cos.f64 x)) (*.f64 -1/2 (*.f64 (*.f64 eps eps) x)))
(*.f64 eps (cos.f64 x))
eps
Compiler

Compiled 38 to 25 computations (34.2% saved)

soundness94.0ms (1.3%)

Rules
890×unpow-prod-down
690×log-prod
570×log1p-expm1-u
570×expm1-log1p-u
536×prod-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01467
114667
2161567
Stop Event
1×node limit
Compiler

Compiled 28 to 16 computations (42.9% saved)

end0.0ms (0%)

preprocess47.0ms (0.6%)

Compiler

Compiled 112 to 64 computations (42.9% saved)

Profiling

Loading profile data...