acoth tan Mul Mul Pow sech Add x1 E x0 x0 x0 
Mul Mul Pow sec Mul Mul Pow sech Add x1 E x0 x0 x0 2 Add Mul x0 Add Mul x0 Mul Pow sech Add x1 E Add x0 -1 Mul sech Add x1 E log sech Add x1 E Pow sech Add x1 E x0 Mul Pow sech Add x1 E x0 x0 Pow Add 1 Mul -1 Mul tan Mul Mul Pow sech Add x1 E x0 x0 x0 tan Mul Mul Pow sech Add x1 E x0 x0 x0 -1 