Mul Pow acoth x6 Mul Pow 2 Pow 3 asec x0 3 x0 
Add Mul x0 Mul Pow acoth x6 Add Mul Pow 2 Pow 3 asec x0 3 -1 Mul Mul acoth x6 log acoth x6 Mul 3 Mul Pow 2 Add Pow 3 asec x0 -1 Mul 2.69314718055995 Mul Pow 3 Add asec x0 -1 Mul 4.09861228866811 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow acoth x6 Mul Pow 2 Pow 3 asec x0 3 