Add Mul acosh x5 x0 acot acos Pow x0 atan E 
Add acosh x5 Mul -1 Mul Mul -1 Mul Mul Pow x0 Add atan E -1 atan E Pow sqrt Add 1 Mul -1 Mul Pow x0 atan E Pow x0 atan E -1 Pow Add 1 Mul acos Pow x0 atan E acos Pow x0 atan E -1 