Mul atan x6 acsc acosh Pow acos Pow x4 x6 x0 
Mul atan x6 Mul -1 Mul Mul Mul Pow acos Pow x4 x6 Add x0 -1 Mul acos Pow x4 x6 log acos Pow x4 x6 Pow Mul sqrt Add Pow acos Pow x4 x6 x0 -1 sqrt Add 1 Pow acos Pow x4 x6 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Pow acos Pow x4 x6 x0 acosh Pow acos Pow x4 x6 x0 -1 acosh Pow acos Pow x4 x6 x0 acosh Pow acos Pow x4 x6 x0 -1 