Pow Mul x0 x1 acosh acoth Pow atan x6 x0 
Mul Pow Mul x0 x1 Add acosh acoth Pow atan x6 x0 -1 Add Mul acosh acoth Pow atan x6 x0 x1 Mul Mul Mul x0 x1 log Mul x0 x1 Mul Mul Mul Pow atan x6 Add x0 -1 Mul atan x6 log atan x6 Pow Add 1 Mul -1 Mul Pow atan x6 x0 Pow atan x6 x0 -1 Pow Mul sqrt Add acoth Pow atan x6 x0 -1 sqrt Add 1 acoth Pow atan x6 x0 -1 