Pow Mul Add atan Mul Mul 2 x0 E x0 Mul x0 x0 cosh x2 
Mul Pow Mul Add atan Mul Mul 2 x0 E x0 Mul x0 x0 Add cosh x2 -1 Mul cosh x2 Add Mul Mul x0 x0 Add Mul Mul E 2 Pow Add 1 Mul Mul Mul 2 x0 E Mul Mul 2 x0 E -1 1 Mul Add atan Mul Mul 2 x0 E x0 Add x0 x0 