Mul asec coth acoth x0 log Mul x1 4 
Mul log Mul x1 4 Mul Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth acoth x0 coth acoth x0 -1 coth acoth x0 coth acoth x0 -1 