cos cosh Pow Add Pow acosh atan x0 pi x3 E 
Mul Mul -1 sin cosh Pow Add Pow acosh atan x0 pi x3 E Mul sinh Pow Add Pow acosh atan x0 pi x3 E Mul Pow Add Pow acosh atan x0 pi x3 Add E -1 Mul E Mul Pow acosh atan x0 Add pi -1 Mul pi Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 