


Bits error versus i
Results
if i < 243.10396228585506Initial program 44.7
Simplified0.0
if 243.10396228585506 < i Initial program 46.8
Simplified30.6
Taylor expanded around -inf 0.0
Simplified0.0
Final simplification0.0
herbie shell --seed 2019008
(FPCore (i)
:name "Octave 3.8, jcobi/4, as called"
:pre (and (> i 0))
(/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)))
Time bar (total: 2.7s)Debug log
1 calls. Slowest were:
| 120.0ms | (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 15.5b
Found 1 expressions with local error:
| 15.5b | (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) |
1 calls. Slowest were:
| 9.0ms | (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) |
1 calls. Slowest were:
| 36.0ms | (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) |
17 calls. Slowest were:
| 162.0ms | (+ (* (* i (* 4 i)) (* i (* 4 i))) (+ (* 1.0 1.0) (* (* i (* 4 i)) 1.0))) |
| 126.0ms | (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) |
| 103.0ms | (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0))) |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0b
Found 2 expressions with local error:
| 0.2b | (/ 0.00390625 (pow i 4)) |
| 0.1b | (/ (/ 0.015625 i) i) |
2 calls. Slowest were:
| 3.0ms | (/ (/ 0.015625 i) i) |
| 1.0ms | (/ 0.00390625 (pow i 4)) |
2 calls. Slowest were:
| 27.0ms | (/ 0.00390625 (pow i 4)) |
| 18.0ms | (/ (/ 0.015625 i) i) |
11 calls. Slowest were:
| 3.0ms | (/ 0.015625 (pow i 2)) |
| 3.0ms | (/ 0.015625 (pow i 2)) |
| 3.0ms | (/ 0.015625 (pow i 2)) |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0b
100% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 15.2b