asec acos coth log Mul x0 -3 
Mul Mul -1 Mul Mul Mul -1 Pow csch log Mul x0 -3 2 Mul -3 Pow Mul x0 -3 -1 Pow sqrt Add 1 Mul -1 Mul coth log Mul x0 -3 coth log Mul x0 -3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos coth log Mul x0 -3 acos coth log Mul x0 -3 -1 acos coth log Mul x0 -3 acos coth log Mul x0 -3 -1 