Mul acosh sqrt x2 sinh Pow csc x0 Mul 3 asinh x0 
Mul acosh sqrt x2 Mul cosh Pow csc x0 Mul 3 asinh x0 Mul Pow csc x0 Add Mul 3 asinh x0 -1 Add Mul Mul 3 asinh x0 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Mul 3 Pow sqrt Add 1 Mul x0 x0 -1 