Add Mul Pow acoth pi x0 x1 Pow x0 tanh Mul asec x0 cot E 
Add Mul x1 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi Mul Pow x0 Add tanh Mul asec x0 cot E -1 Add tanh Mul asec x0 cot E Mul Mul x0 log x0 Mul Pow sech Mul asec x0 cot E 2 Mul cot E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 