Add Mul Pow coth asec Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 5 x0 x2 
Add Mul x0 Mul Pow coth asec Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 4 Mul 5 Mul Mul -1 Pow csch asec Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 2 Mul Add Mul acoth x0 Add Mul x0 Mul Pow x0 5 -4 Add Mul log x3 5 Pow x0 -4 Mul Mul Add Mul log x3 5 Pow x0 -4 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 -1 Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 -1 Pow coth asec Mul Mul Add Mul log x3 5 Pow x0 -4 x0 acoth x0 5 