


Bits error versus z
Results
Initial program 1.8
Initial simplification0.7
rmApplied sub-neg0.7
Applied unpow-prod-up0.7
Applied associate-*l*0.7
Simplified0.7
Final simplification0.7
herbie shell --seed 2018365 +o rules:numerics
(FPCore (z)
:name "Jmat.Real.gamma, branch z less than 0.5"
(* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))
Time bar (total: 1.3m)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.6b
Found 4 expressions with local error:
| 2.6b | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 1.0b | (sqrt (* 2 PI)) |
| 1.0b | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 1.0b | (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5))))) |
4 calls. Slowest were:
| 26.0ms | (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5))))) |
| 11.0ms | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 9.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
4 calls. Slowest were:
| 86.0ms | (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5))))) |
| 22.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 20.0ms | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 0.0ms | (sqrt (* 2 PI)) |
65 calls. Slowest were:
| 1.6s | (pow (+ (sqrt (- 1 z)) (sqrt (- -6 0.5))) (- (- 1 z) (- 1 0.5))) |
| 1.2s | (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (- 1 z) 1)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) -1259.1392167224028)) |
| 1.0s | (pow (- (- 1 z) (- -6 0.5)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt (- 1 0.5)) (sqrt (- 1 0.5)))))) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 2.6b | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 1.0b | (sqrt (* 2 PI)) |
| 1.0b | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 1.0b | (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) |
4 calls. Slowest were:
| 12.0ms | (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) |
| 7.0ms | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 5.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
4 calls. Slowest were:
| 39.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 37.0ms | (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) |
| 31.0ms | (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 0.0ms | (sqrt (* 2 PI)) |
35 calls. Slowest were:
| 2.0s | (+ (* -0.13857109526572012 (- 6 (+ z 1))) (* (+ (- 1 z) 5) 12.507343278686905)) |
| 899.0ms | (+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (- 1 z) 1)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) -1259.1392167224028)) |
| 661.0ms | (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (+ (- 1 z) 1)) |
8 alts after pruning (7 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 2.8b | (fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 1.0b | (sqrt (* 2 PI)) |
| 1.0b | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 1.0b | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
4 calls. Slowest were:
| 17.0ms | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 10.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 1.0ms | (sqrt (* 2 PI)) |
4 calls. Slowest were:
| 235.0ms | (fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 61.0ms | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 26.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 0.0ms | (sqrt (* 2 PI)) |
51 calls. Slowest were:
| 640.0ms | (* (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 541.0ms | (* (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3))) (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)))) |
| 459.0ms | (- (+ (pow 0.9999999999996199 1/3) (* 253815.54669011026 (* (/ 1 (pow z 2)) (pow 0.9999999999996199 1/3)))) (+ (* 305119.87232239795 (* (/ 1 (pow z 2)) (pow (/ 1 (pow 0.9999999999996199 5)) 1/3))) (* 451.0135787480091 (* (/ 1 z) (pow 0.9999999999996199 1/3))))) |
9 alts after pruning (7 fresh and 2 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 2.8b | (fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 1.0b | (sqrt PI) |
| 1.0b | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 1.0b | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
4 calls. Slowest were:
| 7.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 6.0ms | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 0.0ms | (fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
4 calls. Slowest were:
| 200.0ms | (fma (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 1 z) 1))) |
| 72.0ms | (* (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 29.0ms | (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1)))) |
| 0.0ms | (sqrt PI) |
50 calls. Slowest were:
| 625.0ms | (* (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3))) (cbrt (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) |
| 592.0ms | (* (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3))) (cbrt (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)))) |
| 418.0ms | (- (+ (pow 0.9999999999996199 1/3) (* 253815.54669011026 (* (/ 1 (pow z 2)) (pow 0.9999999999996199 1/3)))) (+ (* 305119.87232239795 (* (/ 1 (pow z 2)) (pow (/ 1 (pow 0.9999999999996199 5)) 1/3))) (* 451.0135787480091 (* (/ 1 z) (pow 0.9999999999996199 1/3))))) |
10 alts after pruning (7 fresh and 3 done)
Merged error: 0.0b
0% (0.6b remaining)
Error of 0.7b against oracle of 0.0b and baseline of 0.7b