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