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

Loading: ./FPTaylor/bsplines0.txt
Processing: bspline3

*************************************
Taylor form for: rnd32((rnd32((rnd32((rnd32((rnd32(1) - rnd32(u))) * rnd32((rnd32(1) - rnd32(u))))) * rnd32((rnd32(1) - rnd32(u))))) / rnd32(6)))

Conservative bound: [-0.000000, 0.166667]

Simplified rounding: rnd32((rnd32((rnd32((rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))))) / 6))
Building Taylor forms...
Simplifying Taylor forms...
success
v0 = ((((1 - u) * (1 - u)) * (1 - u)) * (1 / 6))
-1 (28): exp = -24: (6192449638629381/75557863725914323419136)
1 (10): exp = -24: ((((1 / 6) * (((1 - u) * (1 - u)) * (-(floor_power2(u))))) + ((1 / 6) * ((1 - u) * ((1 - u) * (-(floor_power2(u))))))) + ((1 / 6) * ((1 - u) * ((1 - u) * (-(floor_power2(u)))))))
2 (11): exp = -24: ((((1 / 6) * (((1 - u) * (1 - u)) * floor_power2(((1 - u) + interval(-2.98023223876953125000e-08, 2.98023223876953125000e-08))))) + ((1 / 6) * ((1 - u) * ((1 - u) * floor_power2(((1 - u) + interval(-2.98023223876953125000e-08, 2.98023223876953125000e-08))))))) + ((1 / 6) * ((1 - u) * ((1 - u) * floor_power2(((1 - u) + interval(-2.98023223876953125000e-08, 2.98023223876953125000e-08)))))))
3 (8): exp = -24: ((1 / 6) * ((1 - u) * floor_power2((((1 - u) * (1 - u)) + interval(-1.78813942319777652301e-07, 1.78813942319777652301e-07)))))
4 (14): exp = -24: ((1 / 6) * floor_power2(((((1 - u) * (1 - u)) * (1 - u)) + interval(-3.27825575574537028758e-07, 3.27825575574537028758e-07))))
5 (18): exp = -24: floor_power2((((((1 - u) * (1 - u)) * (1 - u)) * (1 / 6)) + interval(-6.45717033916546266062e-08, 6.45717033916546266062e-08)))

Corresponding original subexpressions:
1: rnd32(u)
2: rnd[float32,ne,1.00,-24,0]((1 - rnd32(u)))
3: rnd32((rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u)))))
4: rnd32((rnd32((rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u)))))
5: rnd32((rnd32((rnd32((rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))))) * rnd[float32,ne,1.00,-24,0]((1 - rnd32(u))))) / 6))

bounds: [-0.000000e+00, 1.666667e-01]

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

Solving the exact optimization problem
exact bound (exp = -24): 9.602865e-01 (low = 5.416667e-01, subopt = 43.6%)
total2: 4.884981e-15 (low = 4.884981e-15, subopt = 0.0%)
exact total: 5.723754e-08 (low = 3.228585e-08, subopt = 43.6%)

Computing relative errors
**WARNING**: 
Cannot compute the relative error: values of the function are close to zero
**WARNING**: -0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
**WARNING**: 0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000002505909183520875968569614680770370524992534231990046604318405148467630281218195010089496230627027825414891031146499880413081224609160619018271942662793458427551041478278701507022263926

Elapsed time: 0.38449
*************************************

-------------------------------------------------------------------------------
Problem: bspline3

Optimization lower bounds for error models:
The absolute error model (exact): 3.228585e-08 (suboptimality = 43.6%)

Bounds (without rounding): [-0.000000e+00, 1.666667e-01]
Bounds (floating-point): [-5.72375381165577332956e-08, 1.66666723904204810980e-01]

Absolute error (exact): 5.723754e-08

Elapsed time: 0.38


