Mul 2 Add asinh Pow acosh x1 Mul cot x5 x0 x7 
Mul 2 Mul Mul Pow acosh x1 Add Mul cot x5 x0 -1 Mul Mul acosh x1 log acosh x1 cot x5 Pow sqrt Add 1 Mul Pow acosh x1 Mul cot x5 x0 Pow acosh x1 Mul cot x5 x0 -1 