atan Mul sinh acos E Pow Mul sinh x0 2 Pow 2 x1 
Mul Mul sinh acos E Mul Pow Mul sinh x0 2 Add Pow 2 x1 -1 Mul Pow 2 x1 Mul 2 cosh x0 Pow Add 1 Mul Mul sinh acos E Pow Mul sinh x0 2 Pow 2 x1 Mul sinh acos E Pow Mul sinh x0 2 Pow 2 x1 -1 