csc Pow Mul acosh x0 Add -3 x0 log acot x4 
Mul Mul Mul -1 cot Pow Mul acosh x0 Add -3 x0 log acot x4 csc Pow Mul acosh x0 Add -3 x0 log acot x4 Mul Pow Mul acosh x0 Add -3 x0 Add log acot x4 -1 Mul log acot x4 Add Mul Add -3 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 