Mul x5 Pow acoth Pow x0 pi Pow sec Mul 3 x0 x7 
Mul x5 Mul Pow acoth Pow x0 pi Add Pow sec Mul 3 x0 x7 -1 Add Mul Pow sec Mul 3 x0 x7 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul Mul acoth Pow x0 pi log acoth Pow x0 pi Mul Pow sec Mul 3 x0 Add x7 -1 Mul x7 Mul Mul tan Mul 3 x0 sec Mul 3 x0 3 