Add coth sqrt E Mul -1 Mul acoth Pow Pow x0 -5 Mul Pow acoth asec Pow 3 x5 x0 x0 x1 
Mul -1 Mul x1 Mul Mul Pow Pow x0 -5 Add Mul Pow acoth asec Pow 3 x5 x0 x0 -1 Add Mul Mul Pow acoth asec Pow 3 x5 x0 x0 Mul Pow x0 6 -5 Mul Mul Pow x0 -5 log Pow x0 -5 Add Mul x0 Mul Pow acoth asec Pow 3 x5 Add x0 -1 Mul acoth asec Pow 3 x5 log acoth asec Pow 3 x5 Pow acoth asec Pow 3 x5 x0 Pow Add 1 Mul -1 Mul Pow Pow x0 -5 Mul Pow acoth asec Pow 3 x5 x0 x0 Pow Pow x0 -5 Mul Pow acoth asec Pow 3 x5 x0 x0 -1 