Pow cot acosh Mul Mul acos x0 x0 x0 atan x4 
Mul Pow cot acosh Mul Mul acos x0 x0 x0 Add atan x4 -1 Mul atan x4 Mul Mul -1 Pow csc acosh Mul Mul acos x0 x0 x0 2 Mul Add Mul x0 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 Mul acos x0 x0 Pow Mul sqrt Add Mul Mul acos x0 x0 x0 -1 sqrt Add 1 Mul Mul acos x0 x0 x0 -1 