Mul acoth x0 asec Pow Add x1 x0 Add x0 E 
Add Mul asec Pow Add x1 x0 Add x0 E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul Pow Add x1 x0 Add Add x0 E -1 Add Add x0 E Mul Add x1 x0 log Add x1 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add x1 x0 Add x0 E Pow Add x1 x0 Add x0 E -1 Pow Add x1 x0 Add x0 E Pow Add x1 x0 Add x0 E -1 