cosh Pow atanh Mul atan x3 556.744360865161 x0 
Mul sinh Pow atanh Mul atan x3 556.744360865161 x0 Mul Pow atanh Mul atan x3 556.744360865161 Add x0 -1 Mul atanh Mul atan x3 556.744360865161 log atanh Mul atan x3 556.744360865161 