atan Pow x0 Mul 2 Pow Pow 3 x2 acosh E 
Mul Mul Pow x0 Add Mul 2 Pow Pow 3 x2 acosh E -1 Mul 2 Pow Pow 3 x2 acosh E Pow Add 1 Mul Pow x0 Mul 2 Pow Pow 3 x2 acosh E Pow x0 Mul 2 Pow Pow 3 x2 acosh E -1 