acsc cosh Mul acosh Add x3 exp Mul x0 atan x7 3 
Mul -1 Mul Mul sinh Mul acosh Add x3 exp Mul x0 atan x7 3 Mul 3 Mul Mul exp Mul x0 atan x7 atan x7 Pow Mul sqrt Add Add x3 exp Mul x0 atan x7 -1 sqrt Add 1 Add x3 exp Mul x0 atan x7 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh Mul acosh Add x3 exp Mul x0 atan x7 3 cosh Mul acosh Add x3 exp Mul x0 atan x7 3 -1 cosh Mul acosh Add x3 exp Mul x0 atan x7 3 cosh Mul acosh Add x3 exp Mul x0 atan x7 3 -1 