Pow acosh Add exp csc x0 x0 acos x2 
Mul Pow acosh Add exp csc x0 x0 Add acos x2 -1 Mul acos x2 Mul Add Mul exp csc x0 Mul Mul -1 cot x0 csc x0 1 Pow Mul sqrt Add Add exp csc x0 x0 -1 sqrt Add 1 Add exp csc x0 x0 -1 