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

Loading: /home/roki/GIT/FPTaylor/benchmarks/probability/Bsplines3.txt
Processing: bspline2

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

Conservative bound: [-0.166667, 0.000000]

Simplified rounding: rnd32(((-(rnd32((rnd32((rnd32(u) * rnd32(u))) * rnd32(u))))) / 6))
Building Taylor forms...
Simplifying Taylor forms...
success
v0 = ((-(((u * u) * u))) * (1 / 6))
-1 (19): exp = -24: (7505999423690075/604462909807314587353088)
1 (6): exp = -24: ((((1 / 6) * (-(((u * u) * floor_power2(u))))) + ((1 / 6) * (-((u * (u * floor_power2(u))))))) + ((1 / 6) * (-((u * (u * floor_power2(u)))))))
2 (4): exp = -24: ((1 / 6) * (-((u * floor_power2(((u * u) + interval(-5.96046456635690447001e-08, 5.96046456635690447001e-08)))))))
3 (8): exp = -24: ((1 / 6) * (-(floor_power2((((u * u) * u) + interval(-1.49011616379368713940e-07, 1.49011616379368713940e-07))))))
4 (12): exp = -24: floor_power2((((-(((u * u) * u))) * (1 / 6)) + interval(-3.47693768591265586958e-08, 3.47693768591265586958e-08)))

Corresponding original subexpressions:
1: rnd32(u)
2: rnd32((rnd32(u) * rnd32(u)))
3: rnd32((rnd32((rnd32(u) * rnd32(u))) * rnd32(u)))
4: rnd32(((-(rnd32((rnd32((rnd32(u) * rnd32(u))) * rnd32(u))))) / 6))

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

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

Solving the exact optimization problem
exact bound (exp = -24): 7.083333e-01 (low = 5.416667e-01, subopt = 23.5%)
total2: 7.401487e-16 (low = 7.401487e-16, subopt = 0.0%)
exact total: 4.221996e-08 (low = 3.228585e-08, subopt = 23.5%)

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.37720
*************************************

-------------------------------------------------------------------------------
Problem: bspline2

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

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

Absolute error (exact): 4.221996e-08

Elapsed time: 0.38


