Mul acsch csc Mul acot x1 acosh x0 acosh x3 
Mul acosh x3 Mul Mul -1 Mul Mul Mul -1 cot Mul acot x1 acosh x0 csc Mul acot x1 acosh x0 Mul acot x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul csc Mul acot x1 acosh x0 csc Mul acot x1 acosh x0 sqrt Add 1 Mul -1 Pow Mul csc Mul acot x1 acosh x0 csc Mul acot x1 acosh x0 -1 -1 