Pow sec Pow acoth x6 Pow acoth x2 Pow 2 x0 x0 
Mul Pow sec Pow acoth x6 Pow acoth x2 Pow 2 x0 Add x0 -1 Add Mul x0 Mul Mul tan Pow acoth x6 Pow acoth x2 Pow 2 x0 sec Pow acoth x6 Pow acoth x2 Pow 2 x0 Mul Pow acoth x6 Add Pow acoth x2 Pow 2 x0 -1 Mul Mul acoth x6 log acoth x6 Mul Pow acoth x2 Add Pow 2 x0 -1 Mul Mul acoth x2 log acoth x2 Mul Pow 2 Add x0 -1 2.69314718055995 Mul sec Pow acoth x6 Pow acoth x2 Pow 2 x0 log sec Pow acoth x6 Pow acoth x2 Pow 2 x0 