Pow x1 Pow log cot x0 Pow acos x3 Add log x0 asinh x0 
Mul Pow x1 Add Pow log cot x0 Pow acos x3 Add log x0 asinh x0 -1 Mul Mul x1 log x1 Mul Pow log cot x0 Add Pow acos x3 Add log x0 asinh x0 -1 Add Mul Pow acos x3 Add log x0 asinh x0 Mul Mul -1 Pow csc x0 2 Pow cot x0 -1 Mul Mul log cot x0 log log cot x0 Mul Pow acos x3 Add Add log x0 asinh x0 -1 Mul Mul acos x3 log acos x3 Add Pow x0 -1 Pow sqrt Add 1 Mul x0 x0 -1 