Mul Pow acsc Pow x0 x2 Pow x0 acosh atan E x0 
Add Mul x0 Mul Pow acsc Pow x0 x2 Add Pow x0 acosh atan E -1 Add Mul Pow x0 acosh atan E Mul -1 Mul Mul Pow x0 Add x2 -1 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x2 Pow x0 x2 -1 Pow x0 x2 Pow x0 x2 -1 Mul Mul acsc Pow x0 x2 log acsc Pow x0 x2 Mul Pow x0 Add acosh atan E -1 acosh atan E Pow acsc Pow x0 x2 Pow x0 acosh atan E 