inverse_weibull_cdf: value mismatch Presto returns infinity and Velox returns real

[peterenescu]

Description

Value mismatch between Presto/Velox. Presto appears to handle infinity correctly.

Error Reproduction

presto> SELECT inverse_weibull_cdf((infinity() - (c0 + cosh(c1))), asin(DOUBLE '0.5646822957787663'), sqrt(ceiling(c2))) from (values (0.24525619437918067, 0.9423456590157002, 0.5297509685624391)) t(c0, c1, c2);
  _col0   
----------
 Infinity 

presto:di> SELECT inverse_weibull_cdf((infinity() - (c0 + cosh(c1))), asin(DOUBLE '0.5646822957787663'), sqrt(ceiling(c2))) from (values (0.24525619437918067, 0.9423456590157002, 0.5297509685624391)) t(c0, c1, c2);
       _col0          
-------------------
 0.600048250724079 
(1 row)