Loading configuration file: /home/roki/GIT/FPTaylor/./default.cfg
FPTaylor, version 0.9.3+dev

Loading: /home/roki/GIT/FPTaylor/benchmarks/probability/Filters1.txt
Processing: filter1

*************************************
Taylor form for: rnd32((rnd32((7/10)) * rnd32(x0)))

Conservative bound: [-1.400000, 1.400000]

Simplified rounding: rnd32((rnd32((7/10)) * rnd32(x0)))
Building Taylor forms...
Simplifying Taylor forms...
success
v0 = ((7/10) * x0)
-1 (6): exp = -24: (7205759403792795/604462909807314587353088)
1 (1): exp = -24: (x0 * (1/5))
2 (2): exp = -24: ((7/10) * floor_power2(x0))
3 (4): exp = -24: floor_power2((((7/10) * x0) + interval(-6.55651099634724391420e-08, 6.55651099634724391420e-08)))

Corresponding original subexpressions:
1: rnd32(0)
2: rnd32(x0)
3: rnd32((rnd32((7/10)) * rnd32(x0)))

bounds: [-1.400000e+00, 1.400000e+00]

Computing absolute errors
-1: exp = -24: 1.192093e-08 (low = 1.192093e-08, subopt = 0.0%)

Solving the exact optimization problem
exact bound (exp = -24): 2.100000e+00 (low = 2.100000e+00, subopt = 0.0%)
total2: 7.105427e-16 (low = 7.105427e-16, subopt = 0.0%)
exact total: 1.251698e-07 (low = 1.251698e-07, subopt = 0.0%)

Computing relative errors
**WARNING**: 
Cannot compute the relative error: values of the function are close to zero
**WARNING**: 0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
**WARNING**: 0.00000000000000000000000000000000000000000000000000100000000000000000761622370578234285759930916419271389895138472837095389481447900651438935953211746691245522253373491061798089161657965284746296674711629748344421386718750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Elapsed time: 0.36557
*************************************

-------------------------------------------------------------------------------
Problem: filter1

Optimization lower bounds for error models:
The absolute error model (exact): 1.251698e-07 (suboptimality = 0.0%)

Bounds (without rounding): [-1.400000e+00, 1.400000e+00]
Bounds (floating-point): [-1.40000012516975491650e+00, 1.40000012516975491650e+00]

Absolute error (exact): 1.251698e-07

Elapsed time: 0.37


