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

Time bar (total: 7.2s)

analyze227.0ms (3.1%)

Algorithm
1×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)

sample3.4s (46.8%)

Results
1.9s5581×body256valid
798.0ms1232×body1024valid
682.0ms1435×body512valid
4.0ms8×body2048valid
Bogosity

preprocess58.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
1756×distribute-rgt-in
1748×distribute-lft-in
958×associate-*r*
808×unswap-sqr
770×associate-*l*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
023108
158104
2126104
3283104
4840104
53255104
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 5) (pow.f64 (neg.f64 x) 5))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 5) (pow.f64 (neg.f64 x) 5))
(-.f64 (pow.f64 (-.f64 eps x) 5) (pow.f64 (neg.f64 x) 5))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (-.f64 x eps) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5))
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 eps 5))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify61.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
1404×distribute-lft-neg-in
1172×distribute-rgt-neg-in
872×unswap-sqr
842×fma-def
552×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0925
12025
24125
38325
423325
596425
6299325
7554325
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

eval0.0ms (0%)

Compiler

Compiled 11 to 8 computations (27.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Accurracy
93.6%
Counts
2 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
▶93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Compiler

Compiled 22 to 16 computations (27.3% saved)

localize104.0ms (1.4%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Compiler

Compiled 26 to 14 computations (46.2% saved)

series7.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
1.0ms
eps
@0
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
1.0ms
x
@0
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
1.0ms
x
@inf
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
1.0ms
eps
@-inf
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

rewrite131.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
1814×prod-diff
944×log-prod
734×fma-def
674×pow-prod-down
556×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0925
121025
2292225
Stop Event
1×node limit
Counts
1 → 106
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Outputs
(+.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(+.f64 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 -1 (pow.f64 x 5) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 (neg.f64 (pow.f64 x 5)) 3)) (+.f64 (pow.f64 (+.f64 x eps) 10) (-.f64 (pow.f64 (neg.f64 (pow.f64 x 5)) 2) (*.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 (neg.f64 (pow.f64 x 5)) 2)) (-.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 3)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2)
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) -1)
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) -1)
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (neg.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (pow.f64 x 5))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 2))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 1 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (neg.f64 (cbrt.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (pow.f64 x 5/2) (neg.f64 (pow.f64 x 5/2)) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (sqrt.f64 (neg.f64 (pow.f64 x 5))) (sqrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (neg.f64 (pow.f64 x 5/2)) (pow.f64 x 5/2) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 -1 (pow.f64 x 5) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))

simplify157.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
1326×associate-+r+
1310×associate-+l+
744×distribute-lft-in
740×distribute-rgt-in
476×fma-def
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03246606
18656128
229115342
Stop Event
1×node limit
Counts
130 → 207
Calls
Call 1
Inputs
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (+.f64 (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (+.f64 (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 (+.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 eps 4))) x) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -4 (pow.f64 eps 4)) (*.f64 -1 (pow.f64 eps 4))) x)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))))))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))))))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))
(+.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(+.f64 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 -1 (pow.f64 x 5) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 (neg.f64 (pow.f64 x 5)) 3)) (+.f64 (pow.f64 (+.f64 x eps) 10) (-.f64 (pow.f64 (neg.f64 (pow.f64 x 5)) 2) (*.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 (neg.f64 (pow.f64 x 5)) 2)) (-.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 3)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2)
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) -1)
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) -1)
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (neg.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (pow.f64 x 5))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 2))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 1 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (neg.f64 (cbrt.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (pow.f64 x 5/2) (neg.f64 (pow.f64 x 5/2)) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (sqrt.f64 (neg.f64 (pow.f64 x 5))) (sqrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (neg.f64 (pow.f64 x 5/2)) (pow.f64 x 5/2) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 -1 (pow.f64 x 5) (pow.f64 (+.f64 x eps) 5))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
Outputs
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (*.f64 (*.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (+.f64 (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x))))
(+.f64 (pow.f64 eps 5) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (*.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x))))
(+.f64 (pow.f64 eps 5) (*.f64 x (+.f64 (*.f64 (*.f64 (pow.f64 eps 3) 10) x) (*.f64 5 (pow.f64 eps 4)))))
(+.f64 (pow.f64 eps 5) (+.f64 (*.f64 (+.f64 (*.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (fma.f64 (*.f64 (*.f64 eps eps) 10) (pow.f64 x 3) (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x) (*.f64 (*.f64 eps eps) (*.f64 10 (pow.f64 x 3))))))
(+.f64 (pow.f64 eps 5) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (*.f64 (*.f64 x x) (+.f64 (*.f64 (pow.f64 eps 3) 10) (*.f64 x (*.f64 eps (*.f64 eps 10)))))))
(*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))
(fma.f64 (*.f64 5 eps) (pow.f64 x 4) (*.f64 (*.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))
(fma.f64 (*.f64 eps (*.f64 eps 10)) (pow.f64 x 3) (*.f64 5 (*.f64 eps (pow.f64 x 4))))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 (*.f64 eps eps) (*.f64 10 (pow.f64 x 3))))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(fma.f64 (*.f64 5 eps) (pow.f64 x 4) (fma.f64 (*.f64 (*.f64 eps eps) 10) (pow.f64 x 3) (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x))))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (fma.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x) (*.f64 (*.f64 eps eps) (*.f64 10 (pow.f64 x 3)))))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 (*.f64 x x) (+.f64 (*.f64 (pow.f64 eps 3) 10) (*.f64 x (*.f64 eps (*.f64 eps 10))))))
(+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 (+.f64 (pow.f64 eps 4) (*.f64 4 (pow.f64 eps 4))) x) (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(fma.f64 (*.f64 5 eps) (pow.f64 x 4) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (fma.f64 (*.f64 (*.f64 eps eps) 10) (pow.f64 x 3) (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x)))))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x) (*.f64 (*.f64 eps eps) (*.f64 10 (pow.f64 x 3))))))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (fma.f64 (*.f64 5 (pow.f64 eps 4)) x (*.f64 (*.f64 x x) (+.f64 (*.f64 (pow.f64 eps 3) 10) (*.f64 x (*.f64 eps (*.f64 eps 10)))))))
(*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)))
(fma.f64 -1 (*.f64 (pow.f64 x 3) (fma.f64 -1 (*.f64 (*.f64 eps eps) 6) (*.f64 (*.f64 eps eps) -4))) (*.f64 (*.f64 5 eps) (pow.f64 x 4)))
(-.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (*.f64 (pow.f64 x 3) (fma.f64 (*.f64 eps eps) -4 (*.f64 (*.f64 eps eps) -6))))
(-.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (*.f64 (pow.f64 x 3) (*.f64 (*.f64 eps eps) -10)))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(fma.f64 -1 (*.f64 (pow.f64 x 3) (fma.f64 -1 (*.f64 (*.f64 eps eps) 6) (*.f64 (*.f64 eps eps) -4))) (fma.f64 (*.f64 5 eps) (pow.f64 x 4) (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x))))
(-.f64 (fma.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x) (*.f64 5 (*.f64 eps (pow.f64 x 4)))) (*.f64 (pow.f64 x 3) (fma.f64 (*.f64 eps eps) -4 (*.f64 (*.f64 eps eps) -6))))
(-.f64 (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 (*.f64 (pow.f64 eps 3) 10) (*.f64 x x))) (*.f64 (pow.f64 x 3) (*.f64 (*.f64 eps eps) -10)))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2)))) (*.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (*.f64 (+.f64 (*.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -4 (pow.f64 eps 4)) (*.f64 -1 (pow.f64 eps 4))) x)) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 eps 2)) (*.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(fma.f64 -1 (*.f64 (pow.f64 x 3) (fma.f64 -1 (*.f64 (*.f64 eps eps) 6) (*.f64 (*.f64 eps eps) -4))) (fma.f64 (*.f64 5 eps) (pow.f64 x 4) (fma.f64 -1 (*.f64 x (*.f64 (pow.f64 eps 4) -5)) (*.f64 (fma.f64 (*.f64 (*.f64 eps eps) 6) eps (*.f64 4 (pow.f64 eps 3))) (*.f64 x x)))))
(-.f64 (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (fma.f64 (fma.f64 4 (pow.f64 eps 3) (*.f64 (pow.f64 eps 3) 6)) (*.f64 x x) (*.f64 (*.f64 (pow.f64 eps 4) -5) (neg.f64 x)))) (*.f64 (pow.f64 x 3) (fma.f64 (*.f64 eps eps) -4 (*.f64 (*.f64 eps eps) -6))))
(-.f64 (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 x (+.f64 (*.f64 (*.f64 (pow.f64 eps 3) 10) x) (*.f64 5 (pow.f64 eps 4))))) (*.f64 (pow.f64 x 3) (*.f64 (*.f64 eps eps) -10)))
(*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 x (*.f64 (*.f64 x x) 6))) (*.f64 eps (*.f64 5 (pow.f64 x 4))))
(fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 6))))
(*.f64 eps (+.f64 (*.f64 5 (pow.f64 x 4)) (*.f64 eps (*.f64 (pow.f64 x 3) 10))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 x (*.f64 (*.f64 x x) 6))) (fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) 10))))
(fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 6)) (fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (*.f64 (pow.f64 eps 3) (*.f64 x x)) 10)))
(fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (pow.f64 eps 3) (*.f64 x (*.f64 x 10)))))
(+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))))))
(fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 x (*.f64 (*.f64 x x) 6))) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) 10)))))
(fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 6)) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 eps (*.f64 5 (pow.f64 x 4)) (*.f64 (*.f64 (pow.f64 eps 3) (*.f64 x x)) 10))))
(+.f64 (*.f64 5 (+.f64 (*.f64 eps (pow.f64 x 4)) (*.f64 (pow.f64 eps 4) x))) (*.f64 (*.f64 eps eps) (+.f64 (*.f64 (pow.f64 x 3) 10) (*.f64 eps (*.f64 x (*.f64 x 10))))))
(pow.f64 eps 5)
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (*.f64 (*.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) 10)))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (pow.f64 eps 3) (*.f64 x (*.f64 x 10)) (pow.f64 eps 5)))
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))))))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 x (*.f64 (*.f64 x x) 6))) (+.f64 (pow.f64 eps 5) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) 10)))))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 6)) (fma.f64 (pow.f64 eps 3) (*.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (fma.f64 (pow.f64 eps 3) (*.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(pow.f64 eps 5)
(+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (*.f64 (*.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))))))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (pow.f64 eps 5)))
(fma.f64 -1 (*.f64 (pow.f64 eps 3) (fma.f64 -4 (*.f64 x x) (neg.f64 (*.f64 (*.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)))
(-.f64 (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)) (*.f64 (pow.f64 eps 3) (fma.f64 (*.f64 x x) -4 (*.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) -10)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 eps 3) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 -1 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))))))) (+.f64 (*.f64 (pow.f64 eps 4) (+.f64 (*.f64 4 x) x)) (+.f64 (*.f64 (pow.f64 eps 2) (+.f64 (*.f64 4 (pow.f64 x 3)) (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))
(fma.f64 -1 (*.f64 (pow.f64 eps 3) (fma.f64 -4 (*.f64 x x) (neg.f64 (*.f64 (*.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 x (*.f64 (*.f64 x x) 6))) (pow.f64 eps 5))))
(-.f64 (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (*.f64 (pow.f64 x 3) 6)) (pow.f64 eps 5))) (*.f64 (pow.f64 eps 3) (fma.f64 (*.f64 x x) -4 (*.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (pow.f64 eps 5))) (*.f64 (pow.f64 eps 3) (*.f64 (*.f64 x x) -10)))
(+.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 -1 (pow.f64 x 5) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (+.f64 eps x) 5) 1 (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (+.f64 eps x) 5) 1 (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (-.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10))) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(-.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10))) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (-.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10))) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(-.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10))) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))
(+.f64 (fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (pow.f64 (+.f64 eps x) 5) 1 (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))
(+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 5)) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))))
(+.f64 (*.f64 0 (*.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))) (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5)))))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (*.f64 (pow.f64 (cbrt.f64 x) 5) (neg.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 5))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))) (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(*.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(*.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(/.f64 (+.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 (neg.f64 (pow.f64 x 5)) 3)) (+.f64 (pow.f64 (+.f64 x eps) 10) (-.f64 (pow.f64 (neg.f64 (pow.f64 x 5)) 2) (*.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))))
(/.f64 (+.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 (neg.f64 (pow.f64 x 5)) 3)) (-.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 (neg.f64 (pow.f64 x 5)) 2)) (*.f64 (pow.f64 (+.f64 eps x) 5) (neg.f64 (pow.f64 x 5)))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 (pow.f64 x 5) 3)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 x 10) (*.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 (pow.f64 x 5) 3)) (+.f64 (pow.f64 x 10) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (pow.f64 (+.f64 eps x) 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 (neg.f64 (pow.f64 x 5)) 2)) (-.f64 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5))))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 3)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2) 1/2)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(pow.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3) 1/3)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(pow.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2)
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5))) (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15))) -1)
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(pow.f64 (/.f64 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10))) -1)
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(sqrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 2))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (neg.f64 (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (/.f64 1 (exp.f64 (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (exp.f64 (neg.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (exp.f64 (pow.f64 (+.f64 x eps) 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (pow.f64 x 5))) (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (/.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (exp.f64 (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 x eps) 5))) (+.f64 1 (expm1.f64 (pow.f64 x 5)))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(cbrt.f64 (pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 3))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(expm1.f64 (log1p.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 1) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 3))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 1/3))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))) 2))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(log1p.f64 (expm1.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (neg.f64 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (+.f64 x eps) 5) 1 (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 1 (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (neg.f64 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 1 (pow.f64 (+.f64 x eps) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 1 (neg.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (neg.f64 (cbrt.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) 2) (cbrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 eps x) 5)) (cbrt.f64 (pow.f64 (+.f64 eps x) 10)) (neg.f64 (pow.f64 x 5)))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (sqrt.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)) (/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10)))))
(+.f64 (-.f64 (pow.f64 x 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10)))) (/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)))))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 15) (pow.f64 x 15)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 10) (+.f64 (pow.f64 x 10) (pow.f64 (*.f64 (+.f64 x eps) x) 5)))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(/.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (pow.f64 (*.f64 x (+.f64 eps x)) 5)) (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (+.f64 eps x) 10) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (pow.f64 x 10))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 x 15)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10))))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(fma.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)) (/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(+.f64 (-.f64 (pow.f64 x 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10)))) (/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(fma.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(*.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (/.f64 1 (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (neg.f64 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 (+.f64 x eps) 5/2) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 x 5/2) (neg.f64 (pow.f64 x 5/2)) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (sqrt.f64 (neg.f64 (pow.f64 x 5))) (sqrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (neg.f64 (pow.f64 x 5/2)) (pow.f64 x 5/2) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (neg.f64 (pow.f64 x 5)))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (neg.f64 (pow.f64 x 5)))
(-.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5)) (pow.f64 x 5))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x eps)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 x eps)) 5) (*.f64 (neg.f64 (pow.f64 x 5)) 1))
(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5) (neg.f64 (pow.f64 x 5)))
(-.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 eps x)) 2) 5) (pow.f64 (cbrt.f64 (+.f64 eps x)) 5)) (pow.f64 x 5))
(fma.f64 -1 (pow.f64 x 5) (pow.f64 (+.f64 x eps) 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (pow.f64 x 5)) 1 (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))
(fma.f64 (+.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (-.f64 (pow.f64 (+.f64 x eps) 5/2) (pow.f64 x 5/2)) (+.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5))
(fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 (+.f64 x eps) 5))
(+.f64 (-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 x 5)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 5))) (cbrt.f64 (pow.f64 x 10)) (pow.f64 x 5)))
(-.f64 (pow.f64 (+.f64 eps x) 5) (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 10))))

eval206.0ms (2.9%)

Compiler

Compiled 5336 to 3521 computations (34% saved)

prune276.0ms (3.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2043207
Fresh000
Picked011
Done000
Total2044208
Accurracy
100.0%
Counts
208 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
▶87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
▶87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
▶93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
▶87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
▶87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
Compiler

Compiled 68 to 52 computations (23.5% saved)

localize391.0ms (5.4%)

Local Accuracy

Found 3 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓100.0%
(*.f64 eps (pow.f64 x 4))
✓100.0%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
Compiler

Compiled 44 to 29 computations (34.1% saved)

series14.0ms (0.2%)

Counts
3 → 24
Calls

18 calls:

TimeVariablePointExpression
4.0ms
eps
@0
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
2.0ms
x
@0
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
2.0ms
eps
@inf
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
2.0ms
x
@inf
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
1.0ms
eps
@-inf
(*.f64 5 (*.f64 eps (pow.f64 x 4)))

rewrite214.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
1784×pow1
1644×add-exp-log
1644×log1p-expm1-u
1644×expm1-log1p-u
1610×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01151
122751
2236051
Stop Event
1×node limit
Counts
3 → 39
Calls
Call 1
Inputs
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (pow.f64 x 4))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
Outputs
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(-.f64 (+.f64 1 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(pow.f64 (*.f64 (*.f64 x x) (sqrt.f64 eps)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 4)) eps))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (pow.f64 x 4) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))

simplify268.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
1968×log-prod
1332×fma-def
852×associate-*r/
756×unswap-sqr
728×associate-*l/
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0751275
11831197
27511119
326481119
469991119
Stop Event
1×node limit
Counts
63 → 31
Calls
Call 1
Inputs
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(-.f64 (+.f64 1 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(pow.f64 (*.f64 (*.f64 x x) (sqrt.f64 eps)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 4)) eps))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (pow.f64 x 4) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
Outputs
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(-.f64 (+.f64 1 (*.f64 eps (pow.f64 x 4))) 1)
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (*.f64 (*.f64 x x) (sqrt.f64 eps)) 2)
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 4)) eps))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (pow.f64 x 4) 3)))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 eps 3)))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(+.f64 1 (-.f64 (*.f64 eps (pow.f64 x 4)) 1))
(+.f64 (*.f64 eps (pow.f64 x 4)) 0)
(*.f64 eps (pow.f64 x 4))
(-.f64 (+.f64 1 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 1)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 1)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (cbrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 3)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3) 1/3)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(pow.f64 (sqrt.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))) 2)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(sqrt.f64 (*.f64 (*.f64 25 (*.f64 eps eps)) (pow.f64 x 8)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 3))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 4) 3) (pow.f64 (*.f64 5 eps) 3)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(cbrt.f64 (*.f64 (pow.f64 (*.f64 5 eps) 3) (pow.f64 (pow.f64 x 4) 3)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(expm1.f64 (log1p.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(exp.f64 (log.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))
(log1p.f64 (expm1.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (*.f64 5 eps))

eval37.0ms (0.5%)

Compiler

Compiled 305 to 239 computations (21.6% saved)

prune59.0ms (0.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New30131
Fresh000
Picked033
Done011
Total30535
Accurracy
100.0%
Counts
35 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
▶81.6%
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))
✓93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
▶81.6%
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))
Compiler

Compiled 92 to 70 computations (23.9% saved)

localize150.0ms (2.1%)

Local Accuracy

Found 2 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))
✓93.3%
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
Compiler

Compiled 38 to 21 computations (44.7% saved)

series2.0ms (0%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
x
@0
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
0.0ms
eps
@-inf
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
0.0ms
eps
@inf
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
0.0ms
x
@inf
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
0.0ms
eps
@-inf
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))

rewrite243.0ms (3.4%)

Algorithm
1×batch-egg-rewrite
Rules
1066×log-prod
868×prod-exp
806×exp-prod
682×pow-prod-down
562×pow-prod-up
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01252
124632
2277932
Stop Event
1×node limit
Counts
2 → 69
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)))
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))
Outputs
(+.f64 0 (*.f64 eps (pow.f64 x 4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4)))) 1)
(*.f64 eps (pow.f64 x 4))
(*.f64 (*.f64 eps (pow.f64 x 4)) 1)
(*.f64 1 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) (cbrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2))
(*.f64 (pow.f64 x 4) eps)
(*.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) (sqrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 (*.f64 (pow.f64 x 4) (sqrt.f64 eps)) (sqrt.f64 eps))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 1/2)
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) 3/2)
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(pow.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 1/4)
(pow.f64 (*.f64 (pow.f64 eps 6) (pow.f64 x 24)) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) 2)
(pow.f64 (exp.f64 1/2) (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (pow.f64 x 4))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))) (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(fabs.f64 (*.f64 eps (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (pow.f64 x 4)))))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 x) 4)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 4 (log.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 x) 4)))
(exp.f64 (+.f64 (*.f64 4 (log.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(pow.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25) 1/2)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2)) (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))) (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))

simplify125.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
1256×unswap-sqr
1148×log-prod
1078×fma-def
694×distribute-lft-in
630×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01862143
14202077
213322077
362912077
Stop Event
1×node limit
Counts
117 → 88
Calls
Call 1
Inputs
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(+.f64 0 (*.f64 eps (pow.f64 x 4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4)))) 1)
(*.f64 eps (pow.f64 x 4))
(*.f64 (*.f64 eps (pow.f64 x 4)) 1)
(*.f64 1 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) (cbrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2))
(*.f64 (pow.f64 x 4) eps)
(*.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) (sqrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 (*.f64 (pow.f64 x 4) (sqrt.f64 eps)) (sqrt.f64 eps))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 1/2)
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) 3/2)
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(pow.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 1/4)
(pow.f64 (*.f64 (pow.f64 eps 6) (pow.f64 x 24)) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) 2)
(pow.f64 (exp.f64 1/2) (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (pow.f64 x 4))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))) (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(fabs.f64 (*.f64 eps (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (pow.f64 x 4)))))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4)))) 2))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 x) 4)))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 4 (log.f64 x))))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 x) 4)))
(exp.f64 (+.f64 (*.f64 4 (log.f64 x)) (*.f64 (log.f64 eps) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (log.f64 eps)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (*.f64 (log.f64 eps) 1)))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(pow.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25) 1/2)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2)) (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))) (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
Outputs
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(neg.f64 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (neg.f64 (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(neg.f64 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (neg.f64 (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(neg.f64 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (neg.f64 (pow.f64 x 4)))
(*.f64 -1 (*.f64 eps (pow.f64 x 4)))
(neg.f64 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (neg.f64 (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(+.f64 0 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (pow.f64 x 4))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))))
(*.f64 eps (pow.f64 x 4))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4)))) 1)
(*.f64 eps (pow.f64 x 4))
(*.f64 eps (pow.f64 x 4))
(*.f64 (*.f64 eps (pow.f64 x 4)) 1)
(*.f64 eps (pow.f64 x 4))
(*.f64 1 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (pow.f64 x 4))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) (cbrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(*.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2))
(*.f64 eps (pow.f64 x 4))
(*.f64 (pow.f64 x 4) eps)
(*.f64 eps (pow.f64 x 4))
(*.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) (sqrt.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(*.f64 (*.f64 (pow.f64 x 4) (sqrt.f64 eps)) (sqrt.f64 eps))
(*.f64 eps (pow.f64 x 4))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 1/2)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (*.f64 eps (pow.f64 x 4)) 1)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 2) 3/2)
(pow.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4))) 3)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 1/4)
(pow.f64 (*.f64 (pow.f64 x 16) (pow.f64 eps 4)) 1/4)
(pow.f64 (*.f64 (pow.f64 eps 6) (pow.f64 x 24)) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3) 1/3)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4))) 2)
(*.f64 eps (pow.f64 x 4))
(pow.f64 (exp.f64 1/2) (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(*.f64 eps (pow.f64 x 4))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (log.f64 x) (log.f64 eps))) 2)) (cbrt.f64 (fma.f64 4 (log.f64 x) (log.f64 eps))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))) (sqrt.f64 (log.f64 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 4 (log.f64 x) (log.f64 eps)))) (sqrt.f64 (fma.f64 4 (log.f64 x) (log.f64 eps))))
(fabs.f64 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (pow.f64 x 4))
(log.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)))
(*.f64 eps (pow.f64 x 4))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (pow.f64 x 4)))))
(*.f64 eps (pow.f64 x 4))
(cbrt.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 3))
(*.f64 eps (pow.f64 x 4))
(expm1.f64 (log1p.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (log.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1) 1/2))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/2) 1))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 eps (pow.f64 x 4))) 1) 1))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 eps (pow.f64 x 4)))) 3))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 eps (pow.f64 x 4)))) 1/3))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 eps (pow.f64 x 4)))) 2))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (log.f64 eps) (*.f64 (log.f64 x) 4)))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 4 (log.f64 x))))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (*.f64 (log.f64 eps) 1) (*.f64 (log.f64 x) 4)))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (*.f64 4 (log.f64 x)) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (log.f64 eps)))
(*.f64 eps (pow.f64 x 4))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 4) (*.f64 (log.f64 eps) 1)))
(*.f64 eps (pow.f64 x 4))
(log1p.f64 (expm1.f64 (*.f64 eps (pow.f64 x 4))))
(*.f64 eps (pow.f64 x 4))
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25) 1/2)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2)) (cbrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 eps (*.f64 (pow.f64 x 4) 5)))) 2)) (cbrt.f64 (log.f64 (*.f64 eps (*.f64 (pow.f64 x 4) 5)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))) (sqrt.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 eps (*.f64 (pow.f64 x 4) 5))))) (sqrt.f64 (log.f64 (*.f64 eps (*.f64 (pow.f64 x 4) 5)))))
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(log.f64 (pow.f64 (exp.f64 5) (*.f64 eps (pow.f64 x 4))))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1/3))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))

eval66.0ms (0.9%)

Compiler

Compiled 1056 to 815 computations (22.8% saved)

prune100.0ms (1.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New87188
Fresh000
Picked101
Done044
Total88593
Accurracy
100.0%
Counts
93 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
▶81.6%
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
✓93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
▶81.6%
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
Compiler

Compiled 92 to 70 computations (23.9% saved)

localize99.0ms (1.4%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓93.2%
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
Compiler

Compiled 39 to 22 computations (43.6% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@0
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
0.0ms
x
@inf
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
0.0ms
eps
@inf
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
0.0ms
x
@-inf
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
0.0ms
eps
@-inf
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))

rewrite83.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
1102×log-prod
844×prod-exp
686×pow-prod-down
566×pow-prod-up
518×pow-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01229
124919
2283019
Stop Event
1×node limit
Counts
1 → 35
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
Outputs
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(*.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(*.f64 1 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))))
(*.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 (pow.f64 x 4) (sqrt.f64 (*.f64 eps (*.f64 eps 25))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25))) 1/2)
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) 3/2)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(pow.f64 (*.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 625) 1/4)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 6) 1/6)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(fabs.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))

simplify82.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
1244×log-prod
650×cube-prod
622×distribute-lft-neg-in
602×swap-sqr
514×prod-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01041199
12351163
27691163
333831163
456531163
Stop Event
1×node limit
Counts
59 → 47
Calls
Call 1
Inputs
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(*.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(*.f64 1 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))))
(*.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 (pow.f64 x 4) (sqrt.f64 (*.f64 eps (*.f64 eps 25))))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25))) 1/2)
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) 3/2)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(pow.f64 (*.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 625) 1/4)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 6) 1/6)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(fabs.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(exp.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
Outputs
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(*.f64 -5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 -5 eps) (pow.f64 x 4))
(*.f64 eps (*.f64 (pow.f64 x 4) -5))
(*.f64 (pow.f64 x 4) (*.f64 eps -5))
(+.f64 0 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 1)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 1 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 eps (pow.f64 x 4)) 5)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) (sqrt.f64 (*.f64 eps (*.f64 eps 25))))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(pow.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25))) 1/2)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 1)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps (*.f64 eps 25)))) 3/2)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 3)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (*.f64 (*.f64 (pow.f64 eps 4) (pow.f64 x 16)) 625) 1/4)
(pow.f64 (*.f64 (pow.f64 eps 4) (*.f64 (pow.f64 x 16) 625)) 1/4)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 6) 1/6)
(pow.f64 (pow.f64 (*.f64 eps (*.f64 (pow.f64 x 4) 5)) 6) 1/6)
(pow.f64 (pow.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) 6) 1/6)
(pow.f64 (*.f64 (pow.f64 (*.f64 eps (pow.f64 x 4)) 6) 15625) 1/6)
(pow.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3) 1/3)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(pow.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 2)
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(fabs.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) (pow.f64 x 4)) 5))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1) 1/2))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (*.f64 (fma.f64 8 (log.f64 x) (log.f64 (*.f64 eps (*.f64 eps 25)))) 1/2) 1))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)) 1) 1))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 3))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5) 3)) 1/3))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5))) 2))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 eps (pow.f64 x 4)) 5)))
(*.f64 eps (*.f64 (pow.f64 x 4) 5))
(*.f64 5 (*.f64 eps (pow.f64 x 4)))

eval14.0ms (0.2%)

Compiler

Compiled 543 to 419 computations (22.8% saved)

prune9.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New47047
Fresh000
Picked011
Done044
Total47552
Accurracy
100.0%
Counts
52 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.5%
(pow.f64 eps 5)
✓93.6%
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓87.3%
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
✓87.3%
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
✓81.6%
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
Compiler

Compiled 94 to 68 computations (27.7% saved)

regimes62.0ms (0.9%)

Counts
6 → 3
Calls
Call 1
Inputs
(pow.f64 eps 5)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(sqrt.f64 (*.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps)) 25))
(*.f64 5 (sqrt.f64 (*.f64 (pow.f64 x 8) (*.f64 eps eps))))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(pow.f64 eps 5)
Calls

3 calls:

30.0ms
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
16.0ms
x
14.0ms
eps
Results
AccuracySegmentsBranch
99.6%3x
99.3%3eps
100.0%3(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Compiler

Compiled 65 to 45 computations (30.8% saved)

regimes64.0ms (0.9%)

Counts
3 → 3
Calls
Call 1
Inputs
(pow.f64 eps 5)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
Outputs
(*.f64 (*.f64 5 eps) (pow.f64 x 4))
(pow.f64 eps 5)
(*.f64 5 (*.f64 eps (pow.f64 x 4)))
Calls

1 calls:

29.0ms
x
Results
AccuracySegmentsBranch
99.6%3x
Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes9.0ms (0.1%)

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

1 calls:

8.0ms
x
Results
AccuracySegmentsBranch
99.6%3x
Compiler

Compiled 15 to 11 computations (26.7% saved)

regimes6.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

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

2 calls:

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

Compiled 11 to 8 computations (27.3% saved)

bsearch0.0ms (0%)

Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
0.0
9.73657767e-316
0.0ms
-1.1022717322461762e-290
0.0
Compiler

Compiled 16 to 12 computations (25% saved)

bsearch33.0ms (0.5%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
18.0ms
4.854868032442584e-55
3.1539179963873936e-54
15.0ms
-1.0573331095333106e-52
-8.354763196070667e-53
Results
20.0ms65×body1024valid
6.0ms33×body512valid
5.0ms46×body256valid
Compiler

Compiled 160 to 129 computations (19.4% saved)

bsearch41.0ms (0.6%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
21.0ms
4.854868032442584e-55
3.1539179963873936e-54
20.0ms
-1.0573331095333106e-52
-8.354763196070667e-53
Results
20.0ms61×body1024valid
9.0ms44×body256valid
7.0ms39×body512valid
Compiler

Compiled 160 to 129 computations (19.4% saved)

simplify12.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
10×*-commutative
6×+-commutative
4×sub-neg
2×neg-mul-1
2×if-if-or-not
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037238
150238
254238
356238
457238
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -3511119404027961/351111940402796075728379920075981393284761128699669252487168127261196632432619068618571244770327218791250222421623815151677323767215657465806342637967722899175327916845440400930277772658683777577056802640791026892262013051450122815378736544025053197584668966180832613749896964723593195907881555331297312768) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (*.f64 (*.f64 5 eps) (pow.f64 x 4)) (pow.f64 eps 5)))
(if (<=.f64 x -4744950613418513/53919893334301279589334030174039261347274288845081144962207220498432) (*.f64 (*.f64 5 eps) (pow.f64 x 4)) (if (<=.f64 x 1725436586697641/3450873173395281893717377931138512726225554486085193277581262111899648) (pow.f64 eps 5) (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(if (<=.f64 x -4852790400087115/53919893334301279589334030174039261347274288845081144962207220498432) (*.f64 5 (*.f64 eps (pow.f64 x 4))) (if (<=.f64 x 7453886054533809/13803492693581127574869511724554050904902217944340773110325048447598592) (pow.f64 eps 5) (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(pow.f64 eps 5)
Outputs
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -3511119404027961/351111940402796075728379920075981393284761128699669252487168127261196632432619068618571244770327218791250222421623815151677323767215657465806342637967722899175327916845440400930277772658683777577056802640791026892262013051450122815378736544025053197584668966180832613749896964723593195907881555331297312768) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (*.f64 (*.f64 5 eps) (pow.f64 x 4)) (pow.f64 eps 5)))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -3511119404027961/351111940402796075728379920075981393284761128699669252487168127261196632432619068618571244770327218791250222421623815151677323767215657465806342637967722899175327916845440400930277772658683777577056802640791026892262013051450122815378736544025053197584668966180832613749896964723593195907881555331297312768) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (*.f64 (*.f64 eps 5) (pow.f64 x 4)) (pow.f64 eps 5)))
(if (<=.f64 x -4744950613418513/53919893334301279589334030174039261347274288845081144962207220498432) (*.f64 (*.f64 5 eps) (pow.f64 x 4)) (if (<=.f64 x 1725436586697641/3450873173395281893717377931138512726225554486085193277581262111899648) (pow.f64 eps 5) (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(if (<=.f64 x -4744950613418513/53919893334301279589334030174039261347274288845081144962207220498432) (*.f64 (*.f64 eps 5) (pow.f64 x 4)) (if (<=.f64 x 1725436586697641/3450873173395281893717377931138512726225554486085193277581262111899648) (pow.f64 eps 5) (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(if (<=.f64 x -4852790400087115/53919893334301279589334030174039261347274288845081144962207220498432) (*.f64 5 (*.f64 eps (pow.f64 x 4))) (if (<=.f64 x 7453886054533809/13803492693581127574869511724554050904902217944340773110325048447598592) (pow.f64 eps 5) (*.f64 5 (*.f64 eps (pow.f64 x 4)))))
(if (or (<=.f64 x -4852790400087115/53919893334301279589334030174039261347274288845081144962207220498432) (not (<=.f64 x 7453886054533809/13803492693581127574869511724554050904902217944340773110325048447598592))) (*.f64 5 (*.f64 eps (pow.f64 x 4))) (pow.f64 eps 5))
(pow.f64 eps 5)
Compiler

Compiled 98 to 71 computations (27.6% saved)

soundness299.0ms (4.1%)

Rules
1326×associate-+r+
1326×associate-+r+
1310×associate-+l+
1310×associate-+l+
744×distribute-lft-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03246606
18656128
229115342
03246606
18656128
229115342
Stop Event
1×node limit
1×node limit
Compiler

Compiled 61 to 45 computations (26.2% saved)

end0.0ms (0%)

preprocess134.0ms (1.9%)

Compiler

Compiled 206 to 146 computations (29.1% saved)

Profiling

Loading profile data...