sinh exp Pow atan Add acot Add -2 x2 x0 2 
Mul cosh exp Pow atan Add acot Add -2 x2 x0 2 Mul exp Pow atan Add acot Add -2 x2 x0 2 Mul atan Add acot Add -2 x2 x0 Mul 2 Pow Add 1 Mul Add acot Add -2 x2 x0 Add acot Add -2 x2 x0 -1 