Add x1 asec Mul Mul Pow coth atan x2 x0 x0 Mul x0 E 
Mul Add Mul Mul x0 E Add Mul x0 Mul Pow coth atan x2 Add x0 -1 Mul coth atan x2 log coth atan x2 Pow coth atan x2 x0 Mul Mul Pow coth atan x2 x0 x0 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow coth atan x2 x0 x0 Mul x0 E Mul Mul Pow coth atan x2 x0 x0 Mul x0 E -1 Mul Mul Pow coth atan x2 x0 x0 Mul x0 E Mul Mul Pow coth atan x2 x0 x0 Mul x0 E -1 