Mul sech x0 Add acos log Mul acoth x0 x2 x2 
Add Mul Add acos log Mul acoth x0 x2 x2 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul -1 Mul Mul Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul acoth x0 x2 -1 Pow sqrt Add 1 Mul -1 Mul log Mul acoth x0 x2 log Mul acoth x0 x2 -1 