Mul exp acoth Pow x0 Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 x0 
Add Mul x0 Mul exp acoth Pow x0 Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 Mul Mul Pow x0 Add Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 -1 Add Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 Mul Mul x0 log x0 Mul Pow x3 Add Add Add asech Mul csc x0 acos x0 x0 x0 -1 Mul Mul x3 log x3 Add Add Mul Add Mul acos x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul csc x0 acos x0 Mul csc x0 acos x0 sqrt Add 1 Mul -1 Pow Mul Mul csc x0 acos x0 Mul csc x0 acos x0 -1 -1 1 1 Pow Add 1 Mul -1 Mul Pow x0 Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 Pow x0 Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 -1 exp acoth Pow x0 Pow x3 Add Add asech Mul csc x0 acos x0 x0 x0 