Details

Time bar (total: 2.7s)

analyze0.0ms (0%)

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

Compiled 26 to 19 computations (26.9% saved)

sample1.6s (58.5%)

Results
985.0ms6163×body256valid
309.0ms1008×body1024valid
236.0ms1058×body512valid
11.0ms27×body2048valid
Bogosity

preprocess4.0ms (0.2%)

Algorithm
2×egg-herbie
Rules
2×rational_best-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01350
11450
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 eps 2))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify11.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×rational_best-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0925
11025
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

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
Error
14.2b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶14.2b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Compiler

Compiled 11 to 8 computations (27.3% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(pow.f64 x 2)
✓0.0b
(pow.f64 (+.f64 x eps) 2)
✓2.8b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Compiler

Compiled 25 to 13 computations (48% saved)

series4.0ms (0.1%)

Counts
3 → 48
Calls

15 calls:

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

rewrite122.0ms (4.6%)

Algorithm
1×batch-egg-rewrite
Rules
1702×rational_best-2
1702×rational_best-3
1702×rational_best-1
1388×rational_best-4
1388×exponential-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0945
15745
29345
313445
420345
535345
661845
7110245
8240545
9407945
10583145
11768345
Stop Event
1×node limit
Counts
3 → 161
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(pow.f64 (+.f64 x eps) 2)
(pow.f64 x 2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)) (*.f64 (pow.f64 x 2) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 6) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))) (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (pow.f64 (+.f64 x eps) 2) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)) (*.f64 (pow.f64 x 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (*.f64 2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 2 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 (pow.f64 x 2) -8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (*.f64 (pow.f64 x 2) -3)) (neg.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (neg.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))) (neg.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (neg.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) -8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2)) (neg.f64 (*.f64 2 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (neg.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 8) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4)) (neg.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 x 2)) (*.f64 2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) -2) (*.f64 (pow.f64 x 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 x 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 x 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 x 2)))))))

simplify399.0ms (15%)

Algorithm
1×egg-herbie
Rules
1986×rational_best-simplify-2
1700×rational_best-simplify-1
754×rational_best-simplify-47
686×rational_best-simplify-53
616×rational_best-simplify-49
Iterations

Useful iterations: 12 (0.0ms)

IterNodesCost
03328131
16747409
213697181
321407161
427687145
532267141
638847141
750177097
859107097
965207097
1068917097
1169677097
1273107089
1377787089
Stop Event
1×node limit
Counts
209 → 243
Calls
Call 1
Inputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)))
(+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 x 2) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))))
(+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)) (*.f64 (pow.f64 x 2) -4))
(+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -3))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))
(+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 6) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -8))
(+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (pow.f64 (+.f64 x eps) 2) 8))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))
(+.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (pow.f64 (+.f64 x eps) 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -3))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)) (*.f64 (pow.f64 x 2) 3))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))
(+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 3) 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 2 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2)))
(+.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))
(+.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))
(+.f64 (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 (pow.f64 x 2) -8))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2))
(+.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))
(+.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))
(+.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (*.f64 (pow.f64 x 2) -3)) (neg.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (neg.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) 2)))
(+.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))) (neg.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) 2)))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (neg.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) -8))))
(+.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2)) (neg.f64 (*.f64 2 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))))
(+.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (neg.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) 2)))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) 2)))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) 2)))
(+.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 8) 2)))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4)) (neg.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) 2)))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(*.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) 0)
(+.f64 (pow.f64 x 2) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (pow.f64 x 2))
(+.f64 0 (pow.f64 (+.f64 x eps) 2))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))
(-.f64 (pow.f64 (+.f64 x eps) 2) 0)
(-.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(*.f64 (pow.f64 (+.f64 x eps) 2) 1)
(*.f64 1 (pow.f64 (+.f64 x eps) 2))
(*.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(*.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(/.f64 (pow.f64 (+.f64 x eps) 2) 1)
(/.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 x 2) 0)
(+.f64 0 (pow.f64 x 2))
(+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))
(+.f64 (*.f64 (pow.f64 x 2) -2) (*.f64 (pow.f64 x 2) 3))
(+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -2))
(-.f64 (pow.f64 x 2) 0)
(-.f64 0 (neg.f64 (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) 1)
(*.f64 1 (pow.f64 x 2))
(*.f64 -1 (neg.f64 (pow.f64 x 2)))
(*.f64 (neg.f64 (pow.f64 x 2)) -1)
(/.f64 (pow.f64 x 2) 1)
(/.f64 (neg.f64 (pow.f64 x 2)) -1)
(neg.f64 (neg.f64 (pow.f64 x 2)))
Outputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)) (*.f64 (pow.f64 x 2) -4))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -3))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -2)) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (+.f64 (pow.f64 x 2) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 6) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 eps x) 2)) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (*.f64 3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -3))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (*.f64 -3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2))))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) 4)) (*.f64 -3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2))))
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 x 2))) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (+.f64 (pow.f64 x 2) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2))
(+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2)))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) 4)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7))))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -8))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (pow.f64 (+.f64 x eps) 2) 8))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))) (pow.f64 (+.f64 x eps) 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -3))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (*.f64 (pow.f64 x 2) -2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) -4)) (*.f64 (pow.f64 x 2) 3))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) -4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -4)) (pow.f64 (+.f64 x eps) 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) (*.f64 (pow.f64 x 2) -4)) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) -2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2))
(+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2)))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -7))))
(+.f64 (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5))))
(+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) 4)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7))))
(+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 5))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 3) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 2 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (+.f64 (pow.f64 x 2) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2))) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (+.f64 (*.f64 2 (pow.f64 (+.f64 eps x) 2)) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (*.f64 3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -3))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (*.f64 -3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2))))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) 4)) (*.f64 -3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2))))
(+.f64 (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -3)))) (*.f64 (pow.f64 x 2) -8))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -4) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -3)))))
(+.f64 (*.f64 (pow.f64 x 2) -8) (neg.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -7))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 8) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) 8)))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 2 (pow.f64 x 2))) 2))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2)))) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 5))))
(+.f64 (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))) (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) -2)))))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) -2)) (+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (neg.f64 (pow.f64 (+.f64 eps x) 2))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))))))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) -3)) (+.f64 (*.f64 (pow.f64 x 2) -2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))))))
(+.f64 (+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) -3)) (*.f64 2 (+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))))))
(+.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (*.f64 (pow.f64 x 2) -3)) (neg.f64 (+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)) (+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 (pow.f64 x 2) -2)))))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (neg.f64 (pow.f64 (+.f64 eps x) 2))) (*.f64 (pow.f64 x 2) -3)) (neg.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (neg.f64 (pow.f64 (+.f64 eps x) 2))) (+.f64 (*.f64 (pow.f64 x 2) -2) (neg.f64 (pow.f64 (+.f64 eps x) 2))))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (neg.f64 (pow.f64 (+.f64 eps x) 2))) (+.f64 (*.f64 (pow.f64 x 2) -3) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (neg.f64 (pow.f64 (+.f64 eps x) 2))))))))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -5)) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) -2) (+.f64 (*.f64 (pow.f64 x 2) -2) (*.f64 (pow.f64 (+.f64 eps x) 2) -2)))))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -5)) (neg.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -2) (*.f64 (pow.f64 x 2) -2))))
(+.f64 (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -5)) (neg.f64 (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 2 (pow.f64 x 2)))) (+.f64 (neg.f64 (pow.f64 (+.f64 eps x) 2)) (*.f64 (pow.f64 x 2) -5)))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4)))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4))) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4))))))
(+.f64 (+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (neg.f64 (*.f64 2 (+.f64 (*.f64 2 (pow.f64 (+.f64 eps x) 2)) (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (*.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (*.f64 -2 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) (*.f64 2 (pow.f64 (+.f64 eps x) 2)))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (neg.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4)) 2)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (neg.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4)))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4)) -2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 9)) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6))) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 6) (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6))))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 6) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 6) (*.f64 2 (pow.f64 x 2)))))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 13)) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 6) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 13)) (neg.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)) 2)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 13)) (neg.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)))))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 13)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)) -2))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 13)) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) (*.f64 (pow.f64 (+.f64 x eps) 2) 6)) (neg.f64 (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))) (neg.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 2 (pow.f64 x 2))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 4))) (neg.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 2 (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 3))) (neg.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 2 (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 2 (pow.f64 x 2))))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 4) (*.f64 3 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)))) (neg.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 4)))))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))) 2)))
(+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2))
(+.f64 (pow.f64 x 2) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 2 (pow.f64 (+.f64 eps x) 2))) -2)))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 6))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))))))
(+.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 6)) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (+.f64 (pow.f64 x 2) (pow.f64 x 2)))) (neg.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (+.f64 (pow.f64 x 2) (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (+.f64 (pow.f64 x 2) (pow.f64 x 2))))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 6) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))))))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 11))) (neg.f64 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7)))) (neg.f64 (*.f64 2 (*.f64 (pow.f64 (+.f64 x eps) 2) -8))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 8) (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 7))))
(+.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)) -2)) (neg.f64 (*.f64 2 (neg.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 7))))))
(+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 7) (+.f64 (pow.f64 x 2) (*.f64 -2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)))))
(+.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5)))) (neg.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4) 2)))
(+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 5) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) -4))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3))) 2)))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3))) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))))
(+.f64 (+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) (*.f64 2 (+.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3))) 2)))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (pow.f64 (+.f64 eps x) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) 4)))) (neg.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) 4))))))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)) (*.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)) -2)))
(+.f64 (*.f64 2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3))) (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)) (*.f64 -2 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)))))
(+.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)) (*.f64 2 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7))) (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3)))))
(+.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7)) (*.f64 2 (+.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 3)) (neg.f64 (+.f64 (pow.f64 (+.f64 eps x) 2) (*.f64 (pow.f64 x 2) 7))))))
(+.f64 (+.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3)))) (neg.f64 (*.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x eps) 2) 5))) 2)))
(+.f64 (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)))) (neg.f64 (*.f64 2 (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (*.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) -2)))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (+.f64 (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3))) (*.f64 -2 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 2 (+.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))) (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5)) (*.f64 2 (+.f64 (+.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 eps x) 2) 3)) (neg.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 (+.f64 eps x) 2) 5))))))
(+.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (pow.f64 (+.f64 x eps) 2) (+.f64 (*.f64 (pow.f64 x 2) 4) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 (*.f64 (pow.f64 x 2) 8) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) (*.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 4)) (neg.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))) 2)))
(+.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3)))) (neg.f64 (*.f64 2 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 3))))))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) (*.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) -2)))
(+.f64 (*.f64 (+.f64 (pow.f64 x 2) (pow.f64 (+.f64 eps x) 2)) 4) (+.f64 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)) (*.f64 -2 (+.f64 (*.f64 (pow.f64 (+.f64 eps x) 2) 3) (*.f64 (pow.f64 x 2) 5)))))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(+.f64 (pow.f64 (+.f64 eps x) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 x eps) 2) 0)
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 x 2) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (pow.f64 x 2))
(pow.f64 (+.f64 eps x) 2)
(+.f64 0 (pow.f64 (+.f64 x eps) 2))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 2 (pow.f64 (+.f64 x eps) 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (neg.f64 (pow.f64 x 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (*.f64 2 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -2) (*.f64 (pow.f64 (+.f64 x eps) 2) 3))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 4) (*.f64 (pow.f64 (+.f64 x eps) 2) -3))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) 3) (*.f64 (pow.f64 (+.f64 x eps) 2) -2))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (*.f64 (pow.f64 (+.f64 x eps) 2) -3) (*.f64 (pow.f64 (+.f64 x eps) 2) 4))
(pow.f64 (+.f64 eps x) 2)
(-.f64 (pow.f64 (+.f64 x eps) 2) 0)
(pow.f64 (+.f64 eps x) 2)
(-.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (+.f64 x eps) 2) 1)
(pow.f64 (+.f64 eps x) 2)
(*.f64 1 (pow.f64 (+.f64 x eps) 2))
(pow.f64 (+.f64 eps x) 2)
(*.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(pow.f64 (+.f64 eps x) 2)
(/.f64 (pow.f64 (+.f64 x eps) 2) 1)
(pow.f64 (+.f64 eps x) 2)
(/.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(pow.f64 (+.f64 eps x) 2)
(neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(+.f64 (pow.f64 (+.f64 x eps) 2) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) 0)
(pow.f64 x 2)
(+.f64 0 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))
(pow.f64 x 2)
(+.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 x 2)
(+.f64 (neg.f64 (pow.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (pow.f64 x 2)) (neg.f64 (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 (pow.f64 x 2) -2) (*.f64 (pow.f64 x 2) 3))
(pow.f64 x 2)
(+.f64 (*.f64 (pow.f64 x 2) 3) (*.f64 (pow.f64 x 2) -2))
(pow.f64 x 2)
(-.f64 (pow.f64 x 2) 0)
(pow.f64 x 2)
(-.f64 0 (neg.f64 (pow.f64 x 2)))
(pow.f64 x 2)
(*.f64 (pow.f64 x 2) 1)
(pow.f64 x 2)
(*.f64 1 (pow.f64 x 2))
(pow.f64 x 2)
(*.f64 -1 (neg.f64 (pow.f64 x 2)))
(pow.f64 x 2)
(*.f64 (neg.f64 (pow.f64 x 2)) -1)
(pow.f64 x 2)
(/.f64 (pow.f64 x 2) 1)
(pow.f64 x 2)
(/.f64 (neg.f64 (pow.f64 x 2)) -1)
(pow.f64 x 2)
(neg.f64 (neg.f64 (pow.f64 x 2)))
(pow.f64 x 2)

eval121.0ms (4.6%)

Compiler

Compiled 6402 to 4380 computations (31.6% saved)

prune246.0ms (9.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2403243
Fresh000
Picked011
Done000
Total2404244
Error
0.0b
Counts
244 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
▶15.6b
(pow.f64 eps 2)
✓14.2b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
▶0.0b
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
▶23.9b
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 34 to 25 computations (26.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

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

rewrite13.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
28×rational_best-simplify-2
16×rational_best-4
16×rational_best-2
16×rational_best-3
16×rational_best-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14813
27913
38913
49113
Stop Event
1×saturated
Counts
1 → 5
Calls
Call 1
Inputs
(*.f64 2 (*.f64 eps x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (*.f64 eps x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 2 (*.f64 eps x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 2 (*.f64 eps x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 eps x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (*.f64 eps x)) 1)))))

simplify12.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
24×rational_best-simplify-2
12×rational_best-simplify-47
12×rational_best-simplify-6
4×rational_best-simplify-44
2×rational_best-simplify-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01465
11965
23065
33965
44465
54565
Stop Event
1×saturated
Counts
5 → 6
Calls
Call 1
Inputs
(+.f64 (*.f64 2 (*.f64 eps x)) 0)
(+.f64 0 (*.f64 2 (*.f64 eps x)))
(-.f64 (*.f64 2 (*.f64 eps x)) 0)
(/.f64 (*.f64 2 (*.f64 eps x)) 1)
(pow.f64 (*.f64 2 (*.f64 eps x)) 1)
Outputs
(+.f64 (*.f64 2 (*.f64 eps x)) 0)
(*.f64 2 (*.f64 eps x))
(+.f64 0 (*.f64 2 (*.f64 eps x)))
(*.f64 2 (*.f64 eps x))
(-.f64 (*.f64 2 (*.f64 eps x)) 0)
(*.f64 2 (*.f64 eps x))
(/.f64 (*.f64 2 (*.f64 eps x)) 1)
(*.f64 2 (*.f64 eps x))
(pow.f64 (*.f64 2 (*.f64 eps x)) 1)
(*.f64 2 (*.f64 eps x))

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
0.0b
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 25 to 13 computations (48% saved)

series1.0ms (0%)

Counts
1 → 6
Calls

6 calls:

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

rewrite13.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
32×rational_best-simplify-2
22×rational_best-simplify-1
20×rational_best-4
20×rational_best-2
20×rational_best-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0925
16125
29725
310625
410825
Stop Event
1×saturated
Counts
1 → 5
Calls
Call 1
Inputs
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))))

simplify12.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
14×rational_best-simplify-2
4×rational_best-simplify-44
2×rational_best-simplify-5
2×rational_best-simplify-4
2×exponential-simplify-11
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016185
121185
228185
330185
Stop Event
1×saturated
Counts
11 → 8
Calls
Call 1
Inputs
(*.f64 2 (*.f64 eps x))
(pow.f64 eps 2)
(pow.f64 eps 2)
(pow.f64 eps 2)
(*.f64 2 (*.f64 eps x))
(*.f64 2 (*.f64 eps x))
(-.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 0)
(*.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
(*.f64 1 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(/.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
(pow.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
Outputs
(*.f64 2 (*.f64 eps x))
(pow.f64 eps 2)
(pow.f64 eps 2)
(pow.f64 eps 2)
(*.f64 2 (*.f64 eps x))
(*.f64 2 (*.f64 eps x))
(-.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 0)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))
(*.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))
(*.f64 1 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))
(pow.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)
(+.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))

localize4.0ms (0.1%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval3.0ms (0.1%)

Compiler

Compiled 178 to 109 computations (38.8% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New20020
Fresh000
Picked011
Done033
Total20424
Error
0.0b
Counts
24 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓15.6b
(pow.f64 eps 2)
✓14.2b
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
✓0.0b
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
✓23.9b
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 34 to 25 computations (26.5% saved)

regimes13.0ms (0.5%)

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

3 calls:

6.0ms
eps
4.0ms
x
3.0ms
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1eps
0.0b1(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Compiler

Compiled 45 to 30 computations (33.3% saved)

regimes22.0ms (0.8%)

Accuracy

Total -34.5b remaining (-913.5%)

Threshold costs -34.5b (-913.5%)

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

2 calls:

11.0ms
eps
11.0ms
x
Results
ErrorSegmentsBranch
3.8b3x
8.0b3eps
Compiler

Compiled 16 to 11 computations (31.3% saved)

bsearch38.0ms (1.4%)

Algorithm
2×binary-search
Steps
TimeLeftRight
15.0ms
5.846491150377551e-142
1.982716140325658e-139
23.0ms
-1.8467508225816032e-85
-1.1472596775519598e-89
Results
22.0ms193×body256valid
13.0ms63×body512valid
Compiler

Compiled 240 to 188 computations (21.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01889
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(if (<=.f64 x -7740557828966491/573374653997517877902705223825521735199141247292070280934397209846730719022121202017504638277531421638656) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 552401686713635/53631231719770388398296099992823384509917463282369573510894245774887056120294187907207497192667613710760127432745944203415015531247786279785734596024336384) (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(*.f64 2 (*.f64 eps x))
Outputs
(+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))
(if (<=.f64 x -7740557828966491/573374653997517877902705223825521735199141247292070280934397209846730719022121202017504638277531421638656) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 552401686713635/53631231719770388398296099992823384509917463282369573510894245774887056120294187907207497192667613710760127432745944203415015531247786279785734596024336384) (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))
(*.f64 2 (*.f64 eps x))
Compiler

Compiled 41 to 28 computations (31.7% saved)

soundness0.0ms (0%)

end28.0ms (1%)

Compiler

Compiled 37 to 22 computations (40.5% saved)

Profiling

Loading profile data...