Mul Pow Pow cosh acoth x0 atan x4 asec Add x0 x6 x0 
Add Mul x0 Mul Pow Pow cosh acoth x0 atan x4 Add asec Add x0 x6 -1 Add Mul asec Add x0 x6 Mul Pow cosh acoth x0 Add atan x4 -1 Mul atan x4 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow cosh acoth x0 atan x4 log Pow cosh acoth x0 atan x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 x6 Add x0 x6 -1 Add x0 x6 Add x0 x6 -1 Pow Pow cosh acoth x0 atan x4 asec Add x0 x6 