cosh Pow Pow x0 Mul sqrt cosh x0 x0 1.57079632679490 
Mul sinh Pow Pow x0 Mul sqrt cosh x0 x0 1.57079632679490 Mul Pow Pow x0 Mul sqrt cosh x0 x0 0.570796326794897 Mul 1.57079632679490 Mul Pow x0 Add Mul sqrt cosh x0 x0 -1 Add Mul sqrt cosh x0 x0 Mul Mul x0 log x0 Add Mul x0 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 sqrt cosh x0 