


Bits error versus x



Bits error versus y



Bits error versus z



Bits error versus t



Bits error versus a



Bits error versus b



Bits error versus c



Bits error versus i
Results
Initial program 28.1
Taylor expanded around inf 28.2
Simplified28.1
Final simplification28.1
herbie shell --seed 2018365
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Time bar (total: 50.4s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 27.8b
Found 4 expressions with local error:
| 27.8b | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 0.1b | (* (+ (* x y) z) y) |
| 0.1b | (* (+ (* (+ y a) y) b) y) |
| 0.1b | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
4 calls. Slowest were:
| 77.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 28.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 15.0ms | (* (+ (* (+ y a) y) b) y) |
4 calls. Slowest were:
| 385.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 41.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 24.0ms | (* (+ (* x y) z) y) |
| 21.0ms | (* (+ (* (+ y a) y) b) y) |
53 calls. Slowest were:
| 810.0ms | (* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y) |
| 435.0ms | (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 414.0ms | (- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) |
11 alts after pruning (11 fresh and 0 done)
Merged error: 27.0b
Found 4 expressions with local error:
| 27.8b | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i)) |
| 3.6b | (* (* y y) (+ y a)) |
| 2.2b | (+ (* y b) (* (* y y) (+ y a))) |
| 0.1b | (* (+ (* x y) z) y) |
4 calls. Slowest were:
| 64.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i)) |
| 4.0ms | (* (+ (* x y) z) y) |
| 3.0ms | (* (* y y) (+ y a)) |
4 calls. Slowest were:
| 328.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i)) |
| 39.0ms | (+ (* y b) (* (* y y) (+ y a))) |
| 36.0ms | (* (+ (* x y) z) y) |
| 30.0ms | (* (* y y) (+ y a)) |
58 calls. Slowest were:
| 474.0ms | (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) |
| 439.0ms | (cbrt (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i)) |
| 408.0ms | (/ 1 (sqrt (+ (* (+ (+ (* y b) (* (* y y) (+ y a))) c) y) i))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 27.0b
Found 4 expressions with local error:
| 27.7b | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 0.4b | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 0.1b | (* (+ (* x y) z) y) |
| 0.1b | (* (+ (* (+ y a) y) b) y) |
4 calls. Slowest were:
| 60.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 28.0ms | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 14.0ms | (* (+ (* (+ y a) y) b) y) |
4 calls. Slowest were:
| 322.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 57.0ms | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 34.0ms | (* (+ (* (+ y a) y) b) y) |
| 22.0ms | (* (+ (* x y) z) y) |
46 calls. Slowest were:
| 525.0ms | (* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1) |
| 429.0ms | (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 393.0ms | (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (- (* i i) (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
11 alts after pruning (9 fresh and 2 done)
Merged error: 27.0b
Found 4 expressions with local error:
| 27.8b | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i)) |
| 22.9b | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
| 22.9b | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
| 22.9b | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
4 calls. Slowest were:
| 155.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i)) |
| 4.0ms | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
| 4.0ms | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
4 calls. Slowest were:
| 326.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i)) |
| 162.0ms | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
| 141.0ms | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
| 126.0ms | (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) |
56 calls. Slowest were:
| 888.0ms | (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y)))))) |
| 887.0ms | (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y)))))) |
| 847.0ms | (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 y)))))) |
11 alts after pruning (8 fresh and 3 done)
Merged error: 27.0b
0% (0.7b remaining)
Error of 28.1b against oracle of 27.4b and baseline of 28.1b