Pow Mul Pow acoth Mul x2 x6 x0 2 Pow E asec x0 
Mul Pow Mul Pow acoth Mul x2 x6 x0 2 Add Pow E asec x0 -1 Add Mul Pow E asec x0 Mul 2 Mul Pow acoth Mul x2 x6 Add x0 -1 Mul acoth Mul x2 x6 log acoth Mul x2 x6 Mul Mul Mul Pow acoth Mul x2 x6 x0 2 log Mul Pow acoth Mul x2 x6 x0 2 Mul Pow E Add asec x0 -1 Mul Mul E log E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 