Add -4 cot acosh Add asin cosh x0 x3 
Mul Mul -1 Pow csc acosh Add asin cosh x0 x3 2 Mul Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow Mul sqrt Add Add asin cosh x0 x3 -1 sqrt Add 1 Add asin cosh x0 x3 -1 