Mul Pow x5 acoth x6 Mul sech x0 tan Pow Add acosh atan x0 x0 x0 
Mul Pow x5 acoth x6 Add Mul tan Pow Add acosh atan x0 x0 x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul Pow sec Pow Add acosh atan x0 x0 x0 2 Mul Pow Add acosh atan x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 1 Mul Add acosh atan x0 x0 log Add acosh atan x0 x0 