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

Loading: /home/roki/GIT/FPTaylor/benchmarks/probability/RigidBody1.txt
Processing: rigidbody1

*************************************
Taylor form for: rnd32((rnd32((rnd32((rnd32((-(rnd32((rnd32(x1) * rnd32(x2)))))) - rnd32((rnd32(2) * rnd32((rnd32(x2) * rnd32(x3))))))) - rnd32(x1))) - rnd32(x3)))

Conservative bound: [-705.000313, 705.000313]

Simplified rounding: rnd[float32,ne,1.00,-24,0]((rnd[float32,ne,1.00,-24,0]((rnd[float32,ne,1.00,-24,0](((-(rnd32((rnd32(x1) * rnd32(x2))))) - (2 * rnd32((rnd32(x2) * rnd32(x3)))))) - rnd32(x1))) - rnd32(x3)))
Building Taylor forms...
Simplifying Taylor forms...
success
v0 = ((((-((x1 * x2))) - (2 * (x2 * x3))) - x1) - x3)
-1 (26): exp = -24: (3377699720527873/295147905179352825856)
1 (1): exp = -24: ((-((x2 * floor_power2(x1)))) + (-(floor_power2(x1))))
2 (2): exp = -24: ((-((x1 * floor_power2(x2)))) + (-((2 * (x3 * floor_power2(x2))))))
3 (4): exp = -24: (-(floor_power2(((x1 * x2) + interval(-1.43051149734674254432e-05, 1.43051149734674254432e-05)))))
4 (7): exp = -24: ((-((2 * (x2 * floor_power2(x3))))) + (-(floor_power2(x3))))
5 (9): exp = -24: (-((2 * floor_power2(((x2 * x3) + interval(-1.43051149734674254432e-05, 1.43051149734674254432e-05))))))
6 (12): exp = -24: floor_power2((((-((x1 * x2))) - (2 * (x2 * x3))) + interval(-6.58035285141522898822e-05, 6.58035285141522898822e-05)))
7 (15): exp = -24: floor_power2(((((-((x1 * x2))) - (2 * (x2 * x3))) - x1) + interval(-9.67979437973554148822e-05, 9.67979437973554148822e-05)))
8 (18): exp = -24: floor_power2((((((-((x1 * x2))) - (2 * (x2 * x3))) - x1) - x3) + interval(-1.27792359080558553435e-04, 1.27792359080558553435e-04)))

Corresponding original subexpressions:
1: rnd32(x1)
2: rnd32(x2)
3: rnd32((rnd32(x1) * rnd32(x2)))
4: rnd32(x3)
5: rnd32((rnd32(x2) * rnd32(x3)))
6: rnd[float32,ne,1.00,-24,0](((-(rnd32((rnd32(x1) * rnd32(x2))))) - (2 * rnd32((rnd32(x2) * rnd32(x3))))))
7: rnd[float32,ne,1.00,-24,0]((rnd[float32,ne,1.00,-24,0](((-(rnd32((rnd32(x1) * rnd32(x2))))) - (2 * rnd32((rnd32(x2) * rnd32(x3)))))) - rnd32(x1)))
8: rnd[float32,ne,1.00,-24,0]((rnd[float32,ne,1.00,-24,0]((rnd[float32,ne,1.00,-24,0](((-(rnd32((rnd32(x1) * rnd32(x2))))) - (2 * rnd32((rnd32(x2) * rnd32(x3)))))) - rnd32(x1))) - rnd32(x3)))

bounds: [-7.050000e+02, 7.050000e+02]

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

Solving the exact optimization problem
exact bound (exp = -24): 2.656000e+03 (low = 2.656000e+03, subopt = 0.0%)
total2: 6.821210e-13 (low = 6.821210e-13, subopt = 0.0%)
exact total: 1.583099e-04 (low = 1.583099e-04, 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.38723
*************************************

-------------------------------------------------------------------------------
Problem: rigidbody1

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

Bounds (without rounding): [-7.050000e+02, 7.050000e+02]
Bounds (floating-point): [-7.05000158309937319245e+02, 7.05000158309937319245e+02]

Absolute error (exact): 1.583099e-04

Elapsed time: 0.39


