ENA, Section 1.4, Exercise 4b, n=2

Time bar (total: 3.4s)

analyze1.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.7%74.3%0%0%0%0
100%25.7%0%74.3%0%0%0%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.6s (48.8%)

Results
894.0ms6143×body256valid
382.0ms1081×body1024valid
313.0ms1005×body512valid
10.0ms27×body2048valid
Bogosity

preprocess53.0ms (1.6%)

Algorithm
egg-herbie
Rules
1358×fma-def
852×unswap-sqr
758×distribute-lft-out
646×distribute-lft-neg-in
640×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023116
164100
2168100
371476
4408276
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(*.f64 eps (+.f64 x (+.f64 x eps)))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (*.f64 x x))
(*.f64 eps (+.f64 eps (*.f64 x -2)))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (*.f64 x x))
(*.f64 eps (+.f64 eps (*.f64 x -2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 eps eps))
(*.f64 x (+.f64 x (+.f64 eps eps)))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify32.0ms (0.9%)

Algorithm
egg-herbie
Rules
1174×distribute-lft-in
1074×distribute-rgt-in
1026×cancel-sign-sub-inv
942×fma-def
940×fma-neg
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0925
12125
25225
316425
465215
5289915
Stop Event
node limit
Counts
1 → 3
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(*.f64 eps (fma.f64 2 x eps))

eval2.0ms (0.1%)

Compiler

Compiled 26 to 15 computations (42.3% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New123
Fresh101
Picked000
Done000
Total224
Accurracy
100.0%
Counts
4 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
80.3%
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
100.0%
(*.f64 eps (fma.f64 2 x eps))
80.3%
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
100.0%
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 38 to 24 computations (36.8% saved)

localize136.0ms (4%)

Local Accuracy

Found 3 expressions with local accuracy:

NewAccuracyProgram
100.0%
(pow.f64 (+.f64 x eps) 2)
80.3%
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
100.0%
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 39 to 17 computations (56.4% saved)

series6.0ms (0.2%)

Counts
3 → 72
Calls

18 calls:

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

rewrite117.0ms (3.5%)

Algorithm
batch-egg-rewrite
Rules
1216×log-prod
930×fma-def
884×pow-prod-down
616×pow-prod-up
616×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01253
126653
2360053
Stop Event
node limit
Counts
3 → 171
Calls
Call 1
Inputs
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(pow.f64 (+.f64 x eps) 2)
Outputs
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
(fma.f64 (*.f64 2 x) eps (*.f64 eps eps))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(+.f64 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(+.f64 0 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(*.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(*.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))))
(/.f64 1 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) (neg.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 (*.f64 x (neg.f64 x)) 3)) (+.f64 (pow.f64 (+.f64 eps x) 4) (-.f64 (pow.f64 (*.f64 x (neg.f64 x)) 2) (*.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 (*.f64 x (neg.f64 x)) 2)) (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))
(pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 3)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3) 1/3)
(pow.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) -1)
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (exp.f64 (*.f64 x (neg.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (pow.f64 (exp.f64 x) x)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x))))) 2))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(fma.f64 x (neg.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 x (neg.f64 x)))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 1 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (cbrt.f64 x) x) (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 x (neg.f64 x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (neg.f64 x) x (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 x))) (cbrt.f64 (*.f64 x (neg.f64 x)))) (cbrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 x))) (sqrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(fma.f64 -1 (*.f64 x x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (neg.f64 (*.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) 1) x (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 x)) (sqrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(+.f64 0 (pow.f64 (+.f64 eps x) 2))
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 (+.f64 eps x) eps) (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (+.f64 eps x)) (*.f64 x (+.f64 eps x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))) (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2))) 1)
(*.f64 (+.f64 eps x) (+.f64 eps x))
(*.f64 (pow.f64 (+.f64 eps x) 2) 1)
(*.f64 1 (pow.f64 (+.f64 eps x) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2))
(*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2))
(*.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)))
(/.f64 (pow.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) 2) (pow.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) 2))
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) 2) (pow.f64 (-.f64 x eps) 2))
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (-.f64 (*.f64 x x) (*.f64 eps eps))) (*.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (-.f64 x eps)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (*.f64 (-.f64 x eps) (fma.f64 eps (-.f64 eps x) (*.f64 x x))))
(/.f64 (*.f64 (+.f64 eps x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (*.f64 (+.f64 eps x) (-.f64 (*.f64 x x) (*.f64 eps eps))) (-.f64 x eps))
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (+.f64 eps x)) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 eps x)) (-.f64 x eps))
(sqrt.f64 (pow.f64 (+.f64 eps x) 4))
(log.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))))
(cbrt.f64 (pow.f64 (+.f64 eps x) 6))
(expm1.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2)))
(exp.f64 (*.f64 2 (log.f64 (+.f64 eps x))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (+.f64 eps x)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1) 1))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 eps x)))) 3))
(exp.f64 (*.f64 (*.f64 6 (log.f64 (+.f64 eps x))) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 3) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))
(fma.f64 eps (+.f64 eps x) (*.f64 x (+.f64 eps x)))
(fma.f64 x (+.f64 eps x) (*.f64 eps (+.f64 eps x)))
(fma.f64 (+.f64 eps x) eps (*.f64 x (+.f64 eps x)))
(fma.f64 (+.f64 eps x) x (*.f64 (+.f64 eps x) eps))

simplify113.0ms (3.3%)

Algorithm
egg-herbie
Rules
1226×unswap-sqr
730×associate-+r+
510×times-frac
476×associate-/l*
364×fma-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03665737
18635383
227094789
Stop Event
node limit
Counts
243 → 203
Calls
Call 1
Inputs
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
(fma.f64 (*.f64 2 x) eps (*.f64 eps eps))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(+.f64 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(+.f64 0 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(*.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(*.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))))
(/.f64 1 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) (neg.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (+.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 (*.f64 x (neg.f64 x)) 3)) (+.f64 (pow.f64 (+.f64 eps x) 4) (-.f64 (pow.f64 (*.f64 x (neg.f64 x)) 2) (*.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 (*.f64 x (neg.f64 x)) 2)) (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))
(pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 3)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3) 1/3)
(pow.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) -1)
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (exp.f64 (*.f64 x (neg.f64 x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (pow.f64 (exp.f64 x) x)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 1/3))
(exp.f64 (*.f64 (log.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x))))) 2))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(fma.f64 x (neg.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 x (neg.f64 x)))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 1 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (cbrt.f64 x) x) (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 x (neg.f64 x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (neg.f64 x) x (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 x))) (cbrt.f64 (*.f64 x (neg.f64 x)))) (cbrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 x))) (sqrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(fma.f64 -1 (*.f64 x x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(fma.f64 (neg.f64 (*.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) 1) x (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 x)) (sqrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(+.f64 0 (pow.f64 (+.f64 eps x) 2))
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 (+.f64 eps x) eps) (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (+.f64 eps x)) (*.f64 x (+.f64 eps x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))) (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2))) 1)
(*.f64 (+.f64 eps x) (+.f64 eps x))
(*.f64 (pow.f64 (+.f64 eps x) 2) 1)
(*.f64 1 (pow.f64 (+.f64 eps x) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2))
(*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2))
(*.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)))
(/.f64 (pow.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) 2) (pow.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) 2))
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) 2) (pow.f64 (-.f64 x eps) 2))
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (-.f64 (*.f64 x x) (*.f64 eps eps))) (*.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (-.f64 x eps)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (*.f64 (-.f64 x eps) (fma.f64 eps (-.f64 eps x) (*.f64 x x))))
(/.f64 (*.f64 (+.f64 eps x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (*.f64 (+.f64 eps x) (-.f64 (*.f64 x x) (*.f64 eps eps))) (-.f64 x eps))
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (+.f64 eps x)) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 eps x)) (-.f64 x eps))
(sqrt.f64 (pow.f64 (+.f64 eps x) 4))
(log.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))))
(cbrt.f64 (pow.f64 (+.f64 eps x) 6))
(expm1.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2)))
(exp.f64 (*.f64 2 (log.f64 (+.f64 eps x))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (+.f64 eps x)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1) 1))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 eps x)))) 3))
(exp.f64 (*.f64 (*.f64 6 (log.f64 (+.f64 eps x))) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 3) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))
(fma.f64 eps (+.f64 eps x) (*.f64 x (+.f64 eps x)))
(fma.f64 x (+.f64 eps x) (*.f64 eps (+.f64 eps x)))
(fma.f64 (+.f64 eps x) eps (*.f64 x (+.f64 eps x)))
(fma.f64 (+.f64 eps x) x (*.f64 (+.f64 eps x) eps))
Outputs
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 eps x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 eps) x))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 eps x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 eps) x))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 eps x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 eps) x))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(*.f64 eps (fma.f64 2 x eps))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps (*.f64 2 x) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 x) eps (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 0 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(*.f64 eps (fma.f64 2 x eps))
(*.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(*.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 1 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) (neg.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(/.f64 (+.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 (*.f64 x (neg.f64 x)) 3)) (+.f64 (pow.f64 (+.f64 eps x) 4) (-.f64 (pow.f64 (*.f64 x (neg.f64 x)) 2) (*.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 (*.f64 x (neg.f64 x)) 2)) (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 3)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2) 1/2)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3) 1/3)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) 2)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (/.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)) (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6))) -1)
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(pow.f64 (/.f64 (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4))) -1)
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (exp.f64 (*.f64 x (neg.f64 x)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (/.f64 1 (pow.f64 (exp.f64 x) x))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (exp.f64 (*.f64 x (neg.f64 x))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (exp.f64 (pow.f64 (+.f64 eps x) 2))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 x) x)) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (pow.f64 (exp.f64 x) x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 3))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 1) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)))) 1/3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x))))) 2))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 x (neg.f64 x) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 eps x) (+.f64 eps x) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (+.f64 eps x) 2) 1 (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) 1 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (pow.f64 (+.f64 eps x) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (*.f64 x (neg.f64 x)) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (cbrt.f64 x) x) (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 x x))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (hypot.f64 (+.f64 eps x) (sqrt.f64 (*.f64 x (neg.f64 x)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 x (neg.f64 x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (neg.f64 (*.f64 x x)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2)) (*.f64 x x))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (neg.f64 (*.f64 x x)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2)) (*.f64 x x))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) 1) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 6) (pow.f64 x 6)) (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)) (pow.f64 (+.f64 eps x) 4)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (/.f64 1 (fma.f64 x x (pow.f64 (+.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 4) (pow.f64 x 4)) (fma.f64 x x (pow.f64 (+.f64 eps x) 2)))
(fma.f64 (neg.f64 x) x (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x (neg.f64 x))) (cbrt.f64 (*.f64 x (neg.f64 x)))) (cbrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (neg.f64 (*.f64 x x)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2)) (*.f64 x x))
(fma.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(fma.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2) (neg.f64 (*.f64 x x)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2)) (*.f64 x x))
(fma.f64 (sqrt.f64 (*.f64 x (neg.f64 x))) (sqrt.f64 (*.f64 x (neg.f64 x))) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 -1 (*.f64 x x) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 x) x (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (*.f64 x (neg.f64 x)) 1 (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 (+.f64 eps x) x) (-.f64 (+.f64 eps x) x) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 (cbrt.f64 x) x) (*.f64 x x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (neg.f64 (*.f64 (cbrt.f64 x) x)) (pow.f64 (cbrt.f64 x) 2) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (neg.f64 x) 1) x (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (neg.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (neg.f64 x) (sqrt.f64 x)) (sqrt.f64 x) (pow.f64 (+.f64 eps x) 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 x (neg.f64 x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)) (*.f64 (*.f64 x (neg.f64 x)) 1))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 0 (pow.f64 (+.f64 eps x) 2))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 x (+.f64 eps x)) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 (+.f64 eps x) eps) (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 eps (+.f64 eps x)) (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))) (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2))) 1)
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (+.f64 eps x) (+.f64 eps x))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (+.f64 eps x) 2) 1)
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 1 (pow.f64 (+.f64 eps x) 2))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) (pow.f64 (cbrt.f64 (+.f64 eps x)) 4))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 4) (pow.f64 (cbrt.f64 (+.f64 eps x)) 2))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2))
(*.f64 (pow.f64 (+.f64 eps x) 3/2) (sqrt.f64 (+.f64 eps x)))
(*.f64 (sqrt.f64 (+.f64 eps x)) (pow.f64 (+.f64 eps x) 3/2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (cbrt.f64 (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(/.f64 (pow.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) 2) (pow.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) 2))
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) 2) (pow.f64 (-.f64 x eps) 2))
(*.f64 (/.f64 (pow.f64 (+.f64 eps x) 2) 1) 1)
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (-.f64 (*.f64 x x) (*.f64 eps eps))) (*.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (-.f64 x eps)))
(*.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (-.f64 x eps)) (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))))
(*.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (*.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (-.f64 x eps))) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 eps x)) 1)
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (*.f64 (-.f64 x eps) (fma.f64 eps (-.f64 eps x) (*.f64 x x))))
(*.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (-.f64 x eps)) (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))))
(*.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (*.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (-.f64 x eps))) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 eps x)) 1)
(/.f64 (*.f64 (+.f64 eps x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (+.f64 eps x) (/.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))))
(*.f64 (/.f64 (+.f64 eps x) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))
(*.f64 (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 eps x))
(/.f64 (*.f64 (+.f64 eps x) (-.f64 (*.f64 x x) (*.f64 eps eps))) (-.f64 x eps))
(/.f64 (+.f64 eps x) (/.f64 (-.f64 x eps) (-.f64 (*.f64 x x) (*.f64 eps eps))))
(/.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) (-.f64 x eps)) (-.f64 x eps))
(/.f64 (pow.f64 (+.f64 eps x) 2) 1)
(/.f64 (*.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (+.f64 eps x)) (fma.f64 eps (-.f64 eps x) (*.f64 x x)))
(/.f64 (+.f64 eps x) (/.f64 (fma.f64 eps (-.f64 eps x) (*.f64 x x)) (+.f64 (pow.f64 eps 3) (pow.f64 x 3))))
(*.f64 (/.f64 (+.f64 eps x) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))
(*.f64 (/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 x 3)) (fma.f64 eps (-.f64 eps x) (*.f64 x x))) (+.f64 eps x))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 eps eps)) (+.f64 eps x)) (-.f64 x eps))
(/.f64 (+.f64 eps x) (/.f64 (-.f64 x eps) (-.f64 (*.f64 x x) (*.f64 eps eps))))
(/.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) (-.f64 x eps)) (-.f64 x eps))
(/.f64 (pow.f64 (+.f64 eps x) 2) 1)
(sqrt.f64 (pow.f64 (+.f64 eps x) 4))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(log.f64 (exp.f64 (pow.f64 (+.f64 eps x) 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 eps x) 2))))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(cbrt.f64 (pow.f64 (+.f64 eps x) 6))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(expm1.f64 (log1p.f64 (pow.f64 (+.f64 eps x) 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 2 (log.f64 (+.f64 eps x))))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 (log.f64 (+.f64 eps x)) 1) 2))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 1) 1))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 eps x)))) 3))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 6 (log.f64 (+.f64 eps x))) 1/3))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (+.f64 eps x))) 3) 1/3))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(log1p.f64 (expm1.f64 (pow.f64 (+.f64 eps x) 2)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(fma.f64 eps (+.f64 eps x) (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(fma.f64 x (+.f64 eps x) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(fma.f64 (+.f64 eps x) eps (*.f64 x (+.f64 eps x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)
(fma.f64 (+.f64 eps x) x (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 x x))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 (+.f64 eps x) 2)

eval166.0ms (4.9%)

Compiler

Compiled 3382 to 1381 computations (59.2% saved)

prune27.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2003203
Fresh000
Picked112
Done000
Total2014205
Accurracy
100.0%
Counts
205 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
78.7%
(*.f64 eps eps)
62.6%
(*.f64 2 (*.f64 eps x))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
78.7%
(*.f64 eps eps)
62.6%
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 62 to 40 computations (35.5% saved)

localize64.0ms (1.9%)

Local Accuracy

Found 2 expressions with local accuracy:

NewAccuracyProgram
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
99.9%
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 41 to 18 computations (56.1% saved)

series4.0ms (0.1%)

Counts
2 → 24
Calls

12 calls:

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

rewrite70.0ms (2.1%)

Algorithm
batch-egg-rewrite
Rules
1144×log-prod
902×fma-def
828×pow-prod-down
512×pow-prod-up
482×pow-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01132
123828
2292528
Stop Event
node limit
Counts
2 → 103
Calls
Call 1
Inputs
(*.f64 2 (*.f64 eps x))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
Outputs
(+.f64 (*.f64 eps x) (*.f64 eps x))
(+.f64 0 (*.f64 2 (*.f64 eps x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 (*.f64 eps x)))) 1)
(pow.f64 (*.f64 2 (*.f64 eps x)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 eps x))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 eps x))))
(exp.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x)))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 3) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x)))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 eps x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 eps (-.f64 (+.f64 x x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (fma.f64 2 x eps) eps)
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) -1)
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) -1)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (pow.f64 (exp.f64 2) eps) x)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 eps x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps x) 2 (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 (*.f64 2 (*.f64 eps x)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 eps x)))
(fma.f64 1 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 4)) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (cbrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) (sqrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 eps x)) (*.f64 (sqrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 2 eps) x (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2)) (cbrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 (*.f64 2 (sqrt.f64 (*.f64 eps x))) (sqrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 (*.f64 eps (cbrt.f64 (*.f64 (*.f64 x x) 4))) (cbrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x x))) (sqrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) 1) x (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 eps x)))

simplify103.0ms (3%)

Algorithm
egg-herbie
Rules
1624×fma-def
1046×times-frac
696×distribute-rgt-in
692×distribute-lft-in
534×*-commutative
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02473267
16332727
218862607
Stop Event
node limit
Counts
127 → 119
Calls
Call 1
Inputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 eps x) (*.f64 eps x))
(+.f64 0 (*.f64 2 (*.f64 eps x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 (*.f64 eps x)))) 1)
(pow.f64 (*.f64 2 (*.f64 eps x)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) 1/2)
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 eps x))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 eps x))))
(exp.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x)))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 3) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x)))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 eps x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 eps (-.f64 (+.f64 x x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (fma.f64 2 x eps) eps)
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) -1)
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) -1)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (pow.f64 (exp.f64 2) eps) x)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 eps x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps x) 2 (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 (*.f64 2 (*.f64 eps x)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 eps x)))
(fma.f64 1 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 4)) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (cbrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) (sqrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 eps x)) (*.f64 (sqrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 2 eps) x (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2)) (cbrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 (*.f64 2 (sqrt.f64 (*.f64 eps x))) (sqrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 (*.f64 eps (cbrt.f64 (*.f64 (*.f64 x x) 4))) (cbrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x x))) (sqrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) 1) x (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 eps eps))
(fma.f64 (*.f64 (*.f64 2 eps) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 eps x)))
Outputs
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps x) (*.f64 eps x))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 0 (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 (*.f64 eps x)))) 1)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(pow.f64 (*.f64 2 (*.f64 eps x)) 1)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) 3)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) 1/2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4))
(pow.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8) 1/3)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) 2)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(sqrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 eps x))))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (log.f64 (*.f64 2 (*.f64 eps x))))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 1) 1))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x)))) 3))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (*.f64 eps x) 3) 8)) 1/3))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 2 (*.f64 eps x))) 3) 1/3))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x)))) 2))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 eps x))))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 eps (-.f64 (+.f64 x x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(*.f64 (fma.f64 2 x eps) eps)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 eps x))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6))) -1)
(*.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 3) 8 (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (*.f64 eps x) 2) 4 (*.f64 (pow.f64 eps 3) (fma.f64 -2 x eps))))
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4))) -1)
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4) (pow.f64 eps 4)) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (fma.f64 -2 x eps)))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 2) eps) x) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (pow.f64 (exp.f64 eps) eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (pow.f64 (exp.f64 2) eps) x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 eps x))))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 2 (*.f64 eps x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps x) 2 (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 (*.f64 eps x)) 1 (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 4)) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 4))) (*.f64 eps (cbrt.f64 (+.f64 x x))) (*.f64 eps eps))
(*.f64 eps (+.f64 eps (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 4))) (cbrt.f64 (+.f64 x x)))))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps (+.f64 x x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (cbrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 eps x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps (+.f64 x x))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 eps x) 2) 4)) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 (cbrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 eps x))) (sqrt.f64 (*.f64 2 (*.f64 eps x))) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (*.f64 eps x)) (*.f64 (sqrt.f64 (*.f64 eps x)) 2) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 eps (+.f64 x x)))
(fma.f64 eps (+.f64 x x) (*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 eps) x (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 eps x)))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 eps (+.f64 x x)))
(fma.f64 eps (+.f64 x x) (*.f64 (sqrt.f64 eps) (pow.f64 eps 3/2)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (*.f64 eps x)) 2)) (cbrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 (sqrt.f64 (*.f64 eps x))) (sqrt.f64 (*.f64 eps x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps (cbrt.f64 (*.f64 (*.f64 x x) 4))) (cbrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 4))) (*.f64 eps (cbrt.f64 (+.f64 x x))) (*.f64 eps eps))
(*.f64 eps (+.f64 eps (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 4))) (cbrt.f64 (+.f64 x x)))))
(fma.f64 (*.f64 eps (sqrt.f64 (+.f64 x x))) (sqrt.f64 (+.f64 x x)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (+.f64 x x) (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (*.f64 2 eps) 1) x (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (*.f64 2 eps) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 (*.f64 2 eps) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))

eval28.0ms (0.8%)

Compiler

Compiled 1535 to 810 computations (47.2% saved)

prune39.0ms (1.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1181119
Fresh000
Picked033
Done011
Total1185123
Accurracy
100.0%
Counts
123 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
62.7%
(*.f64 eps (+.f64 x x))
78.7%
(*.f64 eps eps)
62.6%
(*.f64 2 (*.f64 eps x))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
62.7%
(*.f64 eps (+.f64 x x))
78.7%
(*.f64 eps eps)
62.6%
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 76 to 48 computations (36.8% saved)

localize25.0ms (0.7%)

Compiler

Compiled 13 to 5 computations (61.5% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done044
Total055
Accurracy
100.0%
Counts
5 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
62.7%
(*.f64 eps (+.f64 x x))
78.7%
(*.f64 eps eps)
62.6%
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 86 to 49 computations (43% saved)

regimes37.0ms (1.1%)

Counts
7 → 1
Calls
Call 1
Inputs
(*.f64 eps eps)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Outputs
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
Calls

3 calls:

28.0ms
x
5.0ms
eps
3.0ms
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1eps
100.0%1(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Compiler

Compiled 65 to 37 computations (43.1% saved)

regimes26.0ms (0.8%)

Counts
3 → 3
Calls
Call 1
Inputs
(*.f64 eps eps)
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
Outputs
(*.f64 eps (+.f64 x x))
(*.f64 eps eps)
(*.f64 eps (+.f64 x x))
Calls

2 calls:

13.0ms
eps
12.0ms
x
Results
AccuracySegmentsBranch
91.2%3x
90.9%3eps
Compiler

Compiled 21 to 12 computations (42.9% saved)

regimes26.0ms (0.8%)

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

1 calls:

25.0ms
x
Results
AccuracySegmentsBranch
91.2%3x
Compiler

Compiled 13 to 8 computations (38.5% saved)

regimes5.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

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

2 calls:

2.0ms
x
2.0ms
eps
Results
AccuracySegmentsBranch
78.7%1eps
78.7%1x
Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch119.0ms (3.5%)

Algorithm
binary-search
Stop Event
narrow-enough
narrow-enough
Steps
TimeLeftRight
74.0ms
1.6064075501674617e-77
5.186581725292079e-75
46.0ms
-4.4414271829691536e-82
-2.675362722899303e-86
Results
70.0ms134×body256valid
39.0ms81×body1024valid
7.0ms41×body512valid
Compiler

Compiled 240 to 156 computations (35% saved)

bsearch46.0ms (1.4%)

Algorithm
binary-search
Stop Event
narrow-enough
narrow-enough
Steps
TimeLeftRight
20.0ms
1.6064075501674617e-77
5.186581725292079e-75
26.0ms
-4.4414271829691536e-82
-2.675362722899303e-86
Results
16.0ms70×body1024valid
14.0ms69×body512valid
13.0ms117×body256valid
Compiler

Compiled 240 to 172 computations (28.3% saved)

simplify6.0ms (0.2%)

Algorithm
egg-herbie
Rules
10×*-commutative
if-if-or-not
+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
028122
142122
Stop Event
done
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(if (<=.f64 x -2734063405978765/68351585149469122636640694597425667667286544715412888638305331450311031224980497600734786781970432) (*.f64 eps (+.f64 x x)) (if (<=.f64 x 146666590296083/8148143905337944345073782753637512644205873574663745002544561797417525199053346824733589504) (*.f64 eps eps) (*.f64 eps (+.f64 x x))))
(if (<=.f64 x -6439266133761187/69992023193056381579920071267763883691301421788582797965624659405118495974380029543152421664737722368) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 1161110506510657/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (*.f64 eps eps) (*.f64 2 (*.f64 eps x))))
(*.f64 eps eps)
Outputs
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(if (<=.f64 x -2734063405978765/68351585149469122636640694597425667667286544715412888638305331450311031224980497600734786781970432) (*.f64 eps (+.f64 x x)) (if (<=.f64 x 146666590296083/8148143905337944345073782753637512644205873574663745002544561797417525199053346824733589504) (*.f64 eps eps) (*.f64 eps (+.f64 x x))))
(if (or (<=.f64 x -2734063405978765/68351585149469122636640694597425667667286544715412888638305331450311031224980497600734786781970432) (not (<=.f64 x 146666590296083/8148143905337944345073782753637512644205873574663745002544561797417525199053346824733589504))) (*.f64 eps (+.f64 x x)) (*.f64 eps eps))
(if (<=.f64 x -6439266133761187/69992023193056381579920071267763883691301421788582797965624659405118495974380029543152421664737722368) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 1161110506510657/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (*.f64 eps eps) (*.f64 2 (*.f64 eps x))))
(if (or (<=.f64 x -6439266133761187/69992023193056381579920071267763883691301421788582797965624659405118495974380029543152421664737722368) (not (<=.f64 x 1161110506510657/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752))) (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(*.f64 eps eps)
Compiler

Compiled 54 to 35 computations (35.2% saved)

soundness419.0ms (12.4%)

Rules
1624×fma-def
1226×unswap-sqr
1216×log-prod
1174×distribute-lft-in
1074×distribute-rgt-in
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0925
12125
25225
316425
465215
5289915
01253
126653
2360053
03665737
18635383
227094789
02473267
16332727
218862607
Stop Event
node limit
node limit
node limit
node limit
Compiler

Compiled 171 to 67 computations (60.8% saved)

end0.0ms (0%)

preprocess52.0ms (1.5%)

Compiler

Compiled 118 to 68 computations (42.4% saved)

Profiling

Loading profile data...