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

Details

Time bar (total: 5.3s)

analyze304.0ms (5.8%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.7%74.3%0%0%0%0
0%0%50.6%49.4%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%196.8%-96.8%0%0%0%3
0%0%387.9%-287.9%0%0%0%4
14%94.2%579.2%-573.3%0%0%0%5
16.5%188.4%956%-1044.4%0%0%0%6
26%468.4%1332.8%-1701.1%0%0%0%7
26.5%748.3%2075.3%-2723.6%0%0%0%8
33.1%1394.4%2817.4%-4111.7%0%0%0%9
32.3%2040%4280.3%-6220.4%0%0%0%10
37.2%3407.4%5741.6%-9049.1%0%0%0%11
35.6%4773.5%8623.4%-13296.9%0%0%0%12
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample2.8s (54.1%)

Results
1.4s5507×body256valid
746.0ms1242×body1024valid
599.0ms1493×body512valid
10.0ms14×body2048valid
Bogosity

preprocess52.0ms (1%)

Algorithm
egg-herbie
Rules
1004×distribute-lft-out
996×distribute-lft-neg-in
992×associate-*r*
944×distribute-rgt-neg-in
830×associate-*l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01350
13450
27950
326550
4119238
5468038
022
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (pow.f64 (+.f64 x 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 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)

simplify41.0ms (0.8%)

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))

eval1.0ms (0%)

Compiler

Compiled 26 to 15 computations (42.3% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New213
Fresh101
Picked000
Done000
Total314
Accurracy
100.0%
Counts
4 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 eps (fma.f64 2 x eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
Compiler

Compiled 16 to 10 computations (37.5% saved)

localize64.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiled 16 to 9 computations (43.8% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
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
@0
(*.f64 eps (fma.f64 2 x eps))
0.0ms
eps
@inf
(*.f64 eps (fma.f64 2 x eps))
0.0ms
x
@inf
(*.f64 eps (fma.f64 2 x eps))

rewrite74.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
1472×pow1
1344×add-exp-log
1344×log1p-expm1-u
1344×expm1-log1p-u
1314×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
115915
2181815
Stop Event
node limit
Counts
1 → 13
Calls
Call 1
Inputs
(*.f64 eps (fma.f64 2 x eps))
Outputs
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))
(-.f64 (+.f64 1 (*.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)) 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)))
(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))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))

simplify52.0ms (1%)

Algorithm
egg-herbie
Rules
1576×fma-def
1172×log-prod
650×*-commutative
638×associate-*r*
626×distribute-lft-out
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
043525
1104525
2334525
32351525
45603525
Stop Event
node limit
Counts
37 → 19
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)))
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))
(-.f64 (+.f64 1 (*.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)) 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)))
(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))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
Outputs
(*.f64 2 (*.f64 eps x))
(*.f64 eps (*.f64 2 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 eps (*.f64 2 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 eps (*.f64 2 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 (*.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 (+.f64 1 (*.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)) 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))
(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))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))

eval4.0ms (0.1%)

Compiler

Compiled 147 to 90 computations (38.8% saved)

prune6.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New15419
Fresh000
Picked011
Done000
Total15520
Accurracy
100.0%
Counts
20 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
87.4%
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
87.4%
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
Compiler

Compiled 84 to 56 computations (33.3% saved)

localize234.0ms (4.5%)

Local Accuracy

Found 4 expressions with local accuracy:

NewAccuracyProgram
100.0%
(*.f64 eps (fma.f64 2 x eps))
99.9%
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
74.6%
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
Compiler

Compiled 70 to 36 computations (48.6% saved)

series11.0ms (0.2%)

Counts
3 → 48
Calls

18 calls:

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

rewrite96.0ms (1.8%)

Algorithm
batch-egg-rewrite
Rules
1330×log-prod
992×pow-prod-down
798×fma-def
660×pow-prod-up
628×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01549
131649
2351549
Stop Event
node limit
Counts
3 → 212
Calls
Call 1
Inputs
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(-.f64 (/.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (*.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 (fma.f64 2 x eps) eps)
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 6)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2) 2/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 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 4)
(pow.f64 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) -1)
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (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 (exp.f64 eps) (+.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 x eps) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 2 (*.f64 x eps)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 x eps)))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 x eps)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (*.f64 x eps) 2 (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps 2) x (*.f64 eps eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (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))
(+.f64 0 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(*.f64 1 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 2 (*.f64 x eps)) (sqrt.f64 (-.f64 (pow.f64 eps 4) (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (sqrt.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (sqrt.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/2)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 3)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/4)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 2)
(fabs.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(hypot.f64 eps (sqrt.f64 (*.f64 2 (*.f64 x eps))))
(hypot.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) eps)
(exp.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6)) 3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (*.f64 1/4 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(+.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(+.f64 0 (*.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 (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)
(-.f64 (/.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (*.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 (fma.f64 2 x eps) eps)
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(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 (exp.f64 eps) (+.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 x eps) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 2 (*.f64 x eps)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 x eps)))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 x eps)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (*.f64 x eps) 2 (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps 2) x (*.f64 eps eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (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))

simplify104.0ms (2%)

Algorithm
egg-herbie
Rules
1114×distribute-lft-in
1052×distribute-rgt-in
790×associate-+r+
674×associate-+l+
370×log-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03727522
19376500
229456278
Stop Event
node limit
Counts
260 → 204
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)))
eps
(+.f64 eps x)
(+.f64 eps (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x))
(+.f64 eps (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 eps 2))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x)))
(*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2)))
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) x)
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) (+.f64 x (*.f64 1/2 (/.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 2) eps)))))
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))) (+.f64 x (*.f64 1/2 (/.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 2) eps))))))
eps
(+.f64 eps x)
(+.f64 eps (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x))
(+.f64 eps (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 eps 2))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 2 (*.f64 eps x)) (+.f64 (/.f64 (pow.f64 x 3) eps) (+.f64 (pow.f64 x 2) (*.f64 -1 (/.f64 (pow.f64 x 3) eps)))))))
(*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2))
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))))
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 -1 (/.f64 (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 -1) 2)) (*.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 -1) 2)))) eps)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2))))))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 (+.f64 (*.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (pow.f64 eps 2)))) (*.f64 5/4 (/.f64 1 (pow.f64 eps 2)))) (pow.f64 x 4)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(+.f64 (*.f64 (+.f64 (*.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (pow.f64 eps 2)))) (*.f64 5/4 (/.f64 1 (pow.f64 eps 2)))) (pow.f64 x 4)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(-.f64 (/.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (*.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 (fma.f64 2 x eps) eps)
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 6)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2) 2/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 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 4)
(pow.f64 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) -1)
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (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 (exp.f64 eps) (+.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 x eps) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 2 (*.f64 x eps)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 x eps)))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 x eps)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (*.f64 x eps) 2 (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps 2) x (*.f64 eps eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (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))
(+.f64 0 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(*.f64 1 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 2 (*.f64 x eps)) (sqrt.f64 (-.f64 (pow.f64 eps 4) (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (sqrt.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (sqrt.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/2)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 3)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/4)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 2)
(fabs.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(hypot.f64 eps (sqrt.f64 (*.f64 2 (*.f64 x eps))))
(hypot.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) eps)
(exp.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6)) 3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (*.f64 (*.f64 1/4 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(+.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(+.f64 0 (*.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 (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)
(-.f64 (/.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (*.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 (fma.f64 2 x eps) eps)
(*.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 1 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) eps))
(*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(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 (exp.f64 eps) (+.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (pow.f64 (exp.f64 eps) eps)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps)))) (+.f64 1 (expm1.f64 (*.f64 eps eps)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 eps) eps) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 x eps))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 eps eps))) (+.f64 1 (expm1.f64 (*.f64 2 (*.f64 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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (*.f64 x eps) (*.f64 eps eps))
(fma.f64 x (*.f64 2 eps) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 2 (*.f64 x eps)) 1 (*.f64 eps eps))
(fma.f64 (*.f64 eps eps) 1 (*.f64 2 (*.f64 x eps)))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 x eps)))
(fma.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) eps) (*.f64 eps eps))
(fma.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 (*.f64 x eps) 2 (*.f64 eps eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 eps eps))
(fma.f64 (*.f64 eps 2) x (*.f64 eps eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (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))
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 x (+.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 x (+.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 x (+.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))
(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))
eps
(+.f64 eps x)
(+.f64 eps (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x))
(+.f64 eps (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x))
(+.f64 eps (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x))
(+.f64 eps (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 eps 2))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (/.f64 (pow.f64 x 3) eps) eps) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
(*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2)))
eps
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) x)
(+.f64 eps x)
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) (+.f64 x (*.f64 1/2 (/.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 2) eps)))))
(+.f64 eps (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x))
(+.f64 eps (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x))
(+.f64 (*.f64 -1 (*.f64 eps (pow.f64 (sqrt.f64 -1) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))) (+.f64 x (*.f64 1/2 (/.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 2) eps))))))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (/.f64 (pow.f64 x 3) eps) eps) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
eps
(+.f64 eps x)
(+.f64 eps (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x))
(+.f64 eps (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x))
(+.f64 eps (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x))
(+.f64 eps (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 3) (pow.f64 eps 2))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 x 2) eps)) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 (*.f64 x x) eps) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (/.f64 (pow.f64 x 3) eps) eps) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
(+.f64 eps (fma.f64 1/2 (/.f64 (pow.f64 x 3) (*.f64 eps eps)) (fma.f64 -1/2 (/.f64 x (/.f64 eps x)) x)))
(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 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 2 (*.f64 eps x)) (+.f64 (/.f64 (pow.f64 x 3) eps) (+.f64 (pow.f64 x 2) (*.f64 -1 (/.f64 (pow.f64 x 3) eps)))))))
(+.f64 (fma.f64 -1 (*.f64 x x) (fma.f64 2 (*.f64 eps x) (+.f64 (+.f64 (/.f64 (pow.f64 x 3) eps) (*.f64 x x)) (neg.f64 (/.f64 (pow.f64 x 3) eps))))) (*.f64 eps eps))
(fma.f64 eps eps (-.f64 (+.f64 (fma.f64 x x (/.f64 (neg.f64 (pow.f64 x 3)) eps)) (fma.f64 2 (*.f64 eps x) (/.f64 (pow.f64 x 3) eps))) (*.f64 x x)))
(+.f64 (*.f64 eps (fma.f64 2 x eps)) (*.f64 0 (/.f64 (pow.f64 x 3) eps)))
(*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2))
(*.f64 eps eps)
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2)))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 -2 (*.f64 eps (*.f64 (pow.f64 (sqrt.f64 -1) 2) x))) (+.f64 (*.f64 -1 (pow.f64 x 2)) (+.f64 (*.f64 -1 (/.f64 (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 -1) 2)) (*.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 -1) 2)))) eps)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (sqrt.f64 -1) 4) (pow.f64 eps 2))))))
(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 (*.f64 (+.f64 (*.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (pow.f64 eps 2)))) (*.f64 5/4 (/.f64 1 (pow.f64 eps 2)))) (pow.f64 x 4)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(fma.f64 (fma.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (*.f64 eps eps))) (/.f64 5/4 (*.f64 eps eps))) (pow.f64 x 4) (fma.f64 eps eps (*.f64 2 (*.f64 eps x))))
(fma.f64 (-.f64 (/.f64 5/4 (*.f64 eps eps)) (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (*.f64 eps eps)))) (pow.f64 x 4) (*.f64 eps (fma.f64 2 x eps)))
(fma.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 -1/2 eps) 2)) (*.f64 (/.f64 1 (*.f64 eps eps)) 1/4)) (pow.f64 x 4) (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (*.f64 (+.f64 (*.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (pow.f64 eps 2)))) (*.f64 5/4 (/.f64 1 (pow.f64 eps 2)))) (pow.f64 x 4)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(fma.f64 (fma.f64 -1 (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (*.f64 eps eps))) (/.f64 5/4 (*.f64 eps eps))) (pow.f64 x 4) (fma.f64 eps eps (*.f64 2 (*.f64 eps x))))
(fma.f64 (-.f64 (/.f64 5/4 (*.f64 eps eps)) (+.f64 (pow.f64 (/.f64 -1/2 eps) 2) (/.f64 1 (*.f64 eps eps)))) (pow.f64 x 4) (*.f64 eps (fma.f64 2 x eps)))
(fma.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 -1/2 eps) 2)) (*.f64 (/.f64 1 (*.f64 eps eps)) 1/4)) (pow.f64 x 4) (*.f64 eps (fma.f64 2 x eps)))
(-.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 4 (pow.f64 (*.f64 x eps) 2)) (*.f64 eps (-.f64 (+.f64 x x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 (fma.f64 2 x eps) eps)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.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 (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 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 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (fma.f64 2 x eps) (cbrt.f64 eps)))
(*.f64 (fma.f64 2 x eps) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) 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 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 eps (*.f64 (fma.f64 2 x eps) (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 6))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (fma.f64 2 x eps) (cbrt.f64 eps)))
(*.f64 (fma.f64 2 x eps) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 (*.f64 eps (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(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 (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 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 6)
(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)) 3/2) 2/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 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 4)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) -1)
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(pow.f64 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) -1)
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(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 (exp.f64 eps) (+.f64 x 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 x eps)))) (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 x eps)))) (+.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 x 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 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x 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 x eps))))))
(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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(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 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(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))
(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 x eps) (*.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 x x) eps (*.f64 eps 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 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 (*.f64 x eps)) 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 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.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 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 eps (+.f64 x x)))
(*.f64 eps (+.f64 (+.f64 x x) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps))))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (+.f64 x x) (cbrt.f64 eps)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x (cbrt.f64 eps))) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 eps (+.f64 x x)))
(*.f64 eps (+.f64 (+.f64 x x) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps))))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.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 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 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 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 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 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 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 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 x (+.f64 eps eps)))
(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 (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 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 x eps) 2 (*.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 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 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 x (+.f64 eps eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 eps (+.f64 x x)) (pow.f64 (cbrt.f64 eps) 6))
(+.f64 (*.f64 x (+.f64 eps eps)) (pow.f64 (cbrt.f64 eps) 6))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (+.f64 x x) (cbrt.f64 eps)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x (cbrt.f64 eps))) (*.f64 eps 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 eps 2) x (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (cbrt.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 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))
(+.f64 0 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) 1)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 1 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 eps))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 eps))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (fabs.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 2 (*.f64 x eps)) (sqrt.f64 (-.f64 (pow.f64 eps 4) (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 2 (*.f64 eps x)) (sqrt.f64 (-.f64 (pow.f64 eps 4) (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 eps (+.f64 x x)) (sqrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (pow.f64 eps 3) (*.f64 -2 x))))))
(/.f64 (sqrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))) (hypot.f64 (*.f64 x (+.f64 eps eps)) (sqrt.f64 (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2))))))
(/.f64 (sqrt.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (sqrt.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (sqrt.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4)))) (sqrt.f64 (*.f64 eps (+.f64 x (-.f64 x eps)))))
(/.f64 (sqrt.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4))) (sqrt.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (sqrt.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4)))) (sqrt.f64 (*.f64 eps (fma.f64 2 x (neg.f64 eps)))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/2)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 1)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6) 3)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2) 1/3)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/4)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) 2)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(fabs.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(log.f64 (exp.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/2))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(hypot.f64 eps (sqrt.f64 (*.f64 2 (*.f64 x eps))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(hypot.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) eps)
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1/2))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 1))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 1))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6)) 3))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(exp.f64 (*.f64 (*.f64 1/4 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 2))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.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)))))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(-.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 4 (pow.f64 (*.f64 x eps) 2)) (*.f64 eps (-.f64 (+.f64 x x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 (fma.f64 2 x eps) eps)
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.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 (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 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 (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2) (*.f64 (cbrt.f64 (fma.f64 2 x eps)) eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (fma.f64 2 x eps) (cbrt.f64 eps)))
(*.f64 (fma.f64 2 x eps) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 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 (sqrt.f64 (fma.f64 2 x eps)) (*.f64 (sqrt.f64 (fma.f64 2 x eps)) 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 (sqrt.f64 eps) (pow.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps))) 1/2))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 eps (*.f64 (fma.f64 2 x eps) (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 eps) (sqrt.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 6))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (/.f64 1 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(*.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/4) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3/4))
(*.f64 (*.f64 eps (pow.f64 (cbrt.f64 (fma.f64 2 x eps)) 2)) (cbrt.f64 (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 eps (sqrt.f64 (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 2 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 (fma.f64 2 x eps) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps))
(*.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (fma.f64 2 x eps) (cbrt.f64 eps)))
(*.f64 (fma.f64 2 x eps) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps)))
(*.f64 (*.f64 (fma.f64 2 x eps) (sqrt.f64 eps)) (sqrt.f64 eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (*.f64 (*.f64 eps (fma.f64 2 x eps)) eps) 1/2) (sqrt.f64 (fma.f64 2 x eps)))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 (*.f64 eps (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 (sqrt.f64 (fma.f64 2 x eps)) (sqrt.f64 (*.f64 (fma.f64 2 x eps) (*.f64 eps eps))))
(*.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 5/6) (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1/6))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))) (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 1 (/.f64 (*.f64 eps (-.f64 (+.f64 x x) eps)) (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (neg.f64 (*.f64 (+.f64 x x) (pow.f64 eps 3))))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (neg.f64 (fma.f64 8 (pow.f64 (*.f64 x eps) 3) (pow.f64 eps 6))) (neg.f64 (-.f64 (fma.f64 4 (pow.f64 (*.f64 x eps) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3)))))
(/.f64 (*.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) 1) (-.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (*.f64 (pow.f64 eps 3) (*.f64 -2 x)))))
(/.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (*.f64 (pow.f64 eps 3) (+.f64 eps (*.f64 x -2)))))
(/.f64 (neg.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 x eps) 2)) (pow.f64 eps 4))) (neg.f64 (*.f64 eps (-.f64 (+.f64 x x) eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 (*.f64 x eps) 2))) (-.f64 (*.f64 eps eps) (*.f64 2 (*.f64 x eps))))
(/.f64 (fma.f64 4 (pow.f64 (*.f64 eps x) 2) (neg.f64 (pow.f64 eps 4))) (*.f64 eps (+.f64 x (-.f64 x eps))))
(/.f64 (-.f64 (*.f64 4 (pow.f64 (*.f64 eps x) 2)) (pow.f64 eps 4)) (*.f64 eps (-.f64 (+.f64 x x) eps)))
(/.f64 (fma.f64 (pow.f64 (*.f64 eps x) 2) -4 (pow.f64 eps 4)) (*.f64 eps (+.f64 eps (*.f64 x -2))))
(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 (exp.f64 eps) (+.f64 x 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 x eps)))) (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 x eps)))) (+.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 x 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 eps eps))) (pow.f64 (exp.f64 eps) (+.f64 x 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 x eps))))))
(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 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1/2) 2))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) 1) 2))
(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 2 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/2))
(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))
(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 x eps) (*.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 x x) eps (*.f64 eps 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 eps eps (*.f64 2 (*.f64 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 2 (*.f64 x eps)) 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 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.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 x eps)))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 eps (+.f64 x x)))
(*.f64 eps (+.f64 (+.f64 x x) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps))))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (cbrt.f64 eps) (+.f64 x x)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (+.f64 x x) (cbrt.f64 eps)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x (cbrt.f64 eps))) (*.f64 eps eps))
(fma.f64 (*.f64 (cbrt.f64 eps) eps) (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x eps)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 2 (*.f64 eps x)))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 eps (cbrt.f64 eps)) (*.f64 eps (+.f64 x x)))
(*.f64 eps (+.f64 (+.f64 x x) (*.f64 (cbrt.f64 (*.f64 eps eps)) (cbrt.f64 eps))))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (*.f64 (cbrt.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 (cbrt.f64 (*.f64 2 (*.f64 x eps))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 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 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 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 eps) (pow.f64 eps 3/2) (*.f64 2 (*.f64 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 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 x (+.f64 eps eps)))
(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 (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 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 x eps) 2 (*.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 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 (sqrt.f64 eps) (pow.f64 eps 3/2) (*.f64 x (+.f64 eps eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 eps (+.f64 x x)) (pow.f64 (cbrt.f64 eps) 6))
(+.f64 (*.f64 x (+.f64 eps eps)) (pow.f64 (cbrt.f64 eps) 6))
(fma.f64 (*.f64 (+.f64 x x) (cbrt.f64 (*.f64 eps eps))) (cbrt.f64 eps) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 (+.f64 x x) (cbrt.f64 eps)) (*.f64 eps eps))
(fma.f64 (cbrt.f64 (*.f64 eps eps)) (*.f64 2 (*.f64 x (cbrt.f64 eps))) (*.f64 eps 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 eps 2) x (*.f64 eps eps))
(fma.f64 eps eps (*.f64 2 (*.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps (pow.f64 (cbrt.f64 (+.f64 x x)) 2)) (cbrt.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 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))

eval65.0ms (1.2%)

Compiler

Compiled 3335 to 1981 computations (40.6% saved)

prune38.0ms (0.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2221223
Fresh000
Picked134
Done011
Total2235228
Accurracy
100.0%
Counts
228 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
100.0%
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (fma.f64 2 x eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
Compiler

Compiled 82 to 50 computations (39% saved)

localize37.0ms (0.7%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiled 19 to 6 computations (68.4% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

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

rewrite65.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
1556×pow1
1436×add-exp-log
1434×log1p-expm1-u
1434×expm1-log1p-u
1402×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0821
116619
2219819
Stop Event
node limit
Counts
1 → 22
Calls
Call 1
Inputs
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
Outputs
(+.f64 (*.f64 eps eps) (*.f64 (+.f64 x x) eps))
(+.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps))
(+.f64 (*.f64 (*.f64 (+.f64 x x) eps) 1) (*.f64 eps eps))
(-.f64 (+.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps))) 1)
(*.f64 eps (+.f64 (+.f64 x x) eps))
(*.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(*.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps)))
(*.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2) (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(*.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(/.f64 (+.f64 (pow.f64 (*.f64 (+.f64 x x) eps) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (-.f64 (pow.f64 eps 4) (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (pow.f64 eps 4)) (-.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))
(pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 2))
(log.f64 (exp.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(cbrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(exp.f64 (log.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(log1p.f64 (expm1.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))

simplify58.0ms (1.1%)

Algorithm
egg-herbie
Rules
786×associate-+r+
748×associate-+l+
726×associate-/r*
622×fma-neg
590×fma-def
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0611146
1178738
2724730
33428730
Stop Event
node limit
Counts
46 → 33
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 eps) (*.f64 (+.f64 x x) eps))
(+.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps))
(+.f64 (*.f64 (*.f64 (+.f64 x x) eps) 1) (*.f64 eps eps))
(-.f64 (+.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps))) 1)
(*.f64 eps (+.f64 (+.f64 x x) eps))
(*.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(*.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps)))
(*.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2) (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(*.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(/.f64 (+.f64 (pow.f64 (*.f64 (+.f64 x x) eps) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (-.f64 (pow.f64 eps 4) (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (pow.f64 eps 4)) (-.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))
(pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 2))
(log.f64 (exp.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(cbrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(exp.f64 (log.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(log1p.f64 (expm1.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
Outputs
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps eps) (*.f64 (+.f64 x x) eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 (*.f64 (+.f64 x x) eps) 1) (*.f64 eps eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (+.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps))) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 eps (+.f64 (+.f64 x x) eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 1 (*.f64 eps (+.f64 (+.f64 x x) eps)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2) (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (+.f64 (pow.f64 (*.f64 (+.f64 x x) eps) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (-.f64 (pow.f64 eps 4) (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 (*.f64 eps eps) 3)) (fma.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x)) (-.f64 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) (*.f64 eps (+.f64 x x))))))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 eps 6)) (-.f64 (fma.f64 (*.f64 4 (*.f64 x x)) (*.f64 eps eps) (pow.f64 eps 4)) (*.f64 (+.f64 x x) (pow.f64 eps 3))))
(/.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 eps x) 3)) (pow.f64 eps 6)) (-.f64 (pow.f64 eps 4) (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 eps (*.f64 x -2))))))
(/.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 eps x) 3)) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (*.f64 eps (*.f64 (*.f64 2 (*.f64 eps x)) (+.f64 x (-.f64 x eps))))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x x) eps) (*.f64 (+.f64 x x) eps)) (pow.f64 eps 4)) (-.f64 (*.f64 (+.f64 x x) eps) (*.f64 eps eps)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 3)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3) 1/3)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))) 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(sqrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 2))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (exp.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (+.f64 (+.f64 x x) eps)) 3))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (+.f64 (+.f64 x x) eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))

eval6.0ms (0.1%)

Compiler

Compiled 450 to 147 computations (67.3% saved)

prune12.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New32133
Fresh000
Picked011
Done134
Total33538
Accurracy
100.0%
Counts
38 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (+.f64 (+.f64 x x) eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
100.0%
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (+.f64 (+.f64 x x) eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
Compiler

Compiled 84 to 50 computations (40.5% saved)

localize62.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiled 20 to 6 computations (70% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

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

rewrite65.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
1826×pow1
1706×add-exp-log
1704×log1p-expm1-u
1704×expm1-log1p-u
1672×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0719
116215
2256715
Stop Event
node limit
Counts
1 → 26
Calls
Call 1
Inputs
(*.f64 eps (+.f64 (+.f64 x x) eps))
Outputs
(+.f64 (*.f64 eps eps) (*.f64 eps (+.f64 x x)))
(+.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps))
(+.f64 (*.f64 x eps) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 eps x) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 (*.f64 eps (+.f64 x x)) 1) (*.f64 (*.f64 eps eps) 1))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (-.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))))
(/.f64 (-.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (*.f64 (*.f64 eps eps) (*.f64 eps eps))) (-.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))
(/.f64 (*.f64 eps (+.f64 (+.f64 x x) (pow.f64 eps 3))) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 (*.f64 eps (-.f64 (+.f64 x x) (*.f64 eps eps))) (+.f64 x (-.f64 x eps)))
(/.f64 (*.f64 (+.f64 (+.f64 x x) (pow.f64 eps 3)) eps) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 (*.f64 (-.f64 (+.f64 x x) (*.f64 eps eps)) eps) (+.f64 x (-.f64 x eps)))
(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)) 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 (fma.f64 2 x eps)) eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 2 x eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 2 x eps) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))

simplify62.0ms (1.2%)

Algorithm
egg-herbie
Rules
906×fma-def
884×times-frac
852×fma-neg
736×div-sub
620×distribute-lft-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0861354
1259922
21015906
35331898
Stop Event
node limit
Counts
50 → 46
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)))
(+.f64 (*.f64 eps eps) (*.f64 eps (+.f64 x x)))
(+.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps))
(+.f64 (*.f64 x eps) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 eps x) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 (*.f64 eps (+.f64 x x)) 1) (*.f64 (*.f64 eps eps) 1))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (-.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))))
(/.f64 (-.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (*.f64 (*.f64 eps eps) (*.f64 eps eps))) (-.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))
(/.f64 (*.f64 eps (+.f64 (+.f64 x x) (pow.f64 eps 3))) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 (*.f64 eps (-.f64 (+.f64 x x) (*.f64 eps eps))) (+.f64 x (-.f64 x eps)))
(/.f64 (*.f64 (+.f64 (+.f64 x x) (pow.f64 eps 3)) eps) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 (*.f64 (-.f64 (+.f64 x x) (*.f64 eps eps)) eps) (+.f64 x (-.f64 x eps)))
(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)) 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 (fma.f64 2 x eps)) eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 2 x eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 2 x eps) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
Outputs
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(*.f64 x (+.f64 eps eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.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 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(*.f64 x (+.f64 eps eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 2 (*.f64 eps x))
(*.f64 eps (+.f64 x x))
(*.f64 x (+.f64 eps eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps eps) (*.f64 eps (+.f64 x x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 x eps) (*.f64 (+.f64 eps x) eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 eps x) (*.f64 eps (+.f64 eps x)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (*.f64 (*.f64 eps (+.f64 x x)) 1) (*.f64 (*.f64 eps eps) 1))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 (*.f64 eps eps) 3)) (+.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (-.f64 (*.f64 (*.f64 eps eps) (*.f64 eps eps)) (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 (*.f64 eps eps) 3)) (fma.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x)) (*.f64 (*.f64 eps eps) (-.f64 (*.f64 eps eps) (*.f64 eps (+.f64 x x))))))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 eps 6)) (*.f64 (*.f64 eps eps) (+.f64 (*.f64 eps (-.f64 eps (+.f64 x x))) (*.f64 4 (*.f64 x x)))))
(/.f64 (+.f64 (pow.f64 (*.f64 eps (+.f64 x x)) 3) (pow.f64 eps 6)) (*.f64 (*.f64 eps eps) (fma.f64 eps (fma.f64 -2 x eps) (*.f64 4 (*.f64 x x)))))
(/.f64 (/.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 eps x) 3)) (pow.f64 eps 6)) (*.f64 eps eps)) (fma.f64 eps (fma.f64 -2 x eps) (*.f64 4 (*.f64 x x))))
(/.f64 (-.f64 (*.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps (+.f64 x x))) (*.f64 (*.f64 eps eps) (*.f64 eps eps))) (-.f64 (*.f64 eps (+.f64 x x)) (*.f64 eps eps)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (*.f64 eps (+.f64 (+.f64 x x) (pow.f64 eps 3))) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 eps (/.f64 (+.f64 x (+.f64 x (*.f64 eps (-.f64 eps (+.f64 x x))))) (+.f64 (+.f64 x x) (pow.f64 eps 3))))
(*.f64 (/.f64 eps (fma.f64 2 x (*.f64 eps (-.f64 eps (+.f64 x x))))) (fma.f64 2 x (pow.f64 eps 3)))
(*.f64 (fma.f64 2 x (pow.f64 eps 3)) (/.f64 eps (+.f64 x (fma.f64 eps (fma.f64 -2 x eps) x))))
(/.f64 (fma.f64 2 (*.f64 eps x) (pow.f64 eps 4)) (fma.f64 eps (fma.f64 -2 x eps) (+.f64 x x)))
(/.f64 (*.f64 eps (-.f64 (+.f64 x x) (*.f64 eps eps))) (+.f64 x (-.f64 x eps)))
(/.f64 eps (/.f64 (-.f64 (+.f64 x x) eps) (-.f64 (+.f64 x x) (*.f64 eps eps))))
(*.f64 (/.f64 eps (-.f64 (+.f64 x x) eps)) (+.f64 x (-.f64 x (*.f64 eps eps))))
(/.f64 (fma.f64 2 (*.f64 eps x) (neg.f64 (pow.f64 eps 3))) (+.f64 x (-.f64 x eps)))
(/.f64 (-.f64 x (fma.f64 eps eps (neg.f64 x))) (fma.f64 2 (/.f64 x eps) -1))
(/.f64 (*.f64 (+.f64 (+.f64 x x) (pow.f64 eps 3)) eps) (+.f64 (+.f64 x x) (*.f64 eps (-.f64 eps (+.f64 x x)))))
(/.f64 eps (/.f64 (+.f64 x (+.f64 x (*.f64 eps (-.f64 eps (+.f64 x x))))) (+.f64 (+.f64 x x) (pow.f64 eps 3))))
(*.f64 (/.f64 eps (fma.f64 2 x (*.f64 eps (-.f64 eps (+.f64 x x))))) (fma.f64 2 x (pow.f64 eps 3)))
(*.f64 (fma.f64 2 x (pow.f64 eps 3)) (/.f64 eps (+.f64 x (fma.f64 eps (fma.f64 -2 x eps) x))))
(/.f64 (fma.f64 2 (*.f64 eps x) (pow.f64 eps 4)) (fma.f64 eps (fma.f64 -2 x eps) (+.f64 x x)))
(/.f64 (*.f64 (-.f64 (+.f64 x x) (*.f64 eps eps)) eps) (+.f64 x (-.f64 x eps)))
(/.f64 eps (/.f64 (-.f64 (+.f64 x x) eps) (-.f64 (+.f64 x x) (*.f64 eps eps))))
(*.f64 (/.f64 eps (-.f64 (+.f64 x x) eps)) (+.f64 x (-.f64 x (*.f64 eps eps))))
(/.f64 (fma.f64 2 (*.f64 eps x) (neg.f64 (pow.f64 eps 3))) (+.f64 x (-.f64 x eps)))
(/.f64 (-.f64 x (fma.f64 eps eps (neg.f64 x))) (fma.f64 2 (/.f64 x eps) -1))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (pow.f64 (exp.f64 (fma.f64 2 x eps)) eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 2 x eps) 3)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 2 x eps) 3) (pow.f64 eps 3)))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps (+.f64 x x) (*.f64 eps eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(+.f64 (*.f64 2 (*.f64 eps x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))

eval9.0ms (0.2%)

Compiler

Compiled 630 to 251 computations (60.2% saved)

prune21.0ms (0.4%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New46046
Fresh000
Picked011
Done044
Total46551
Accurracy
100.0%
Counts
51 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
100.0%
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))
100.0%
(*.f64 eps (+.f64 (+.f64 x x) eps))
65.3%
(*.f64 eps (*.f64 2 x))
78.5%
(*.f64 eps eps)
Compiler

Compiled 100 to 54 computations (46% saved)

regimes19.0ms (0.4%)

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

3 calls:

10.0ms
eps
5.0ms
x
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 75 to 41 computations (45.3% saved)

regimes13.0ms (0.2%)

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

2 calls:

7.0ms
x
4.0ms
eps
Results
AccuracySegmentsBranch
100.0%1x
100.0%1eps
Compiler

Compiled 38 to 20 computations (47.4% saved)

regimes22.0ms (0.4%)

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

2 calls:

13.0ms
eps
8.0ms
x
Results
AccuracySegmentsBranch
96.0%3x
88.4%3eps
Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes86.0ms (1.6%)

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:

83.0ms
eps
3.0ms
x
Results
AccuracySegmentsBranch
78.5%1eps
78.5%1x
Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch164.0ms (3.1%)

Algorithm
binary-search
Stop Event
narrow-enough
narrow-enough
Steps
TimeLeftRight
145.0ms
1.7583443420016886e-122
9.762491633508908e-120
18.0ms
-4.886245003987176e-73
-7.19832701532737e-75
Results
137.0ms55×body1024valid
13.0ms126×body256valid
9.0ms59×body512valid
Compiler

Compiled 226 to 162 computations (28.3% saved)

simplify5.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02292
13192
Stop Event
done
saturated
Calls
Call 1
Inputs
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(*.f64 eps (+.f64 (+.f64 x x) eps))
(if (<=.f64 x -3666664757402075/509258994083621521567111422102344540262867098416484062659035112338595324940834176545849344) (*.f64 eps (*.f64 2 x)) (if (<=.f64 x 4506400090632763/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656) (*.f64 eps eps) (*.f64 eps (*.f64 2 x))))
(*.f64 eps eps)
Outputs
(fma.f64 (+.f64 x x) eps (*.f64 eps eps))
(*.f64 eps (+.f64 (+.f64 x x) eps))
(if (<=.f64 x -3666664757402075/509258994083621521567111422102344540262867098416484062659035112338595324940834176545849344) (*.f64 eps (*.f64 2 x)) (if (<=.f64 x 4506400090632763/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656) (*.f64 eps eps) (*.f64 eps (*.f64 2 x))))
(if (or (<=.f64 x -3666664757402075/509258994083621521567111422102344540262867098416484062659035112338595324940834176545849344) (not (<=.f64 x 4506400090632763/726838724295606890549323807888004534353641360687318060281490199180639288113397923326191050713763565560762521606266177933534601628614656))) (*.f64 eps (*.f64 x 2)) (*.f64 eps eps))
(*.f64 eps eps)
Compiler

Compiled 43 to 26 computations (39.5% saved)

soundness485.0ms (9.2%)

Rules
1576×fma-def
1576×fma-def
1556×pow1
1472×pow1
1436×add-exp-log
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0925
12125
25225
316425
465215
5289915
0815
115915
2181815
01549
131649
2351549
043525
1104525
2334525
32351525
45603525
043525
1104525
2334525
32351525
45603525
0821
116619
2219819
Stop Event
node limit
node limit
node limit
node limit
node limit
node limit
Compiler

Compiled 280 to 113 computations (59.6% saved)

end70.0ms (1.3%)

Compiler

Compiled 96 to 50 computations (47.9% saved)

Profiling

Loading profile data...