Pow Pow Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 x0 Mul x7 acosh Add asec x0 pi 
Mul Pow Pow Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 x0 Add Mul x7 acosh Add asec x0 pi -1 Add Mul Mul x7 acosh Add asec x0 pi Mul Pow Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 x0 Mul acoth x1 Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Mul Mul acoth x1 Pow atan x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 log Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 Mul Mul Pow Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 x0 log Pow Mul Mul acoth x1 Pow atan x0 x0 Pow x0 x0 x0 Mul x7 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul sqrt Add Add asec x0 pi -1 sqrt Add 1 Add asec x0 pi -1 