atanh Pow x0 Add -0.00411521472225051 acosh x4 
Mul Mul Pow x0 Add Add -0.00411521472225051 acosh x4 -1 Add -0.00411521472225051 acosh x4 Pow Add 1 Mul -1 Mul Pow x0 Add -0.00411521472225051 acosh x4 Pow x0 Add -0.00411521472225051 acosh x4 -1 