Pow x2 acot Mul cosh Add Mul -1 x0 Pow x3 Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 -1 
Mul Pow x2 Add acot Mul cosh Add Mul -1 x0 Pow x3 Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 -1 -1 Mul Mul x2 log x2 Mul -1 Mul Mul -1 Mul sinh Add Mul -1 x0 Pow x3 Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 Add -1 Mul Pow x3 Add Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 -1 Mul Mul x3 log x3 Add 1 Add tan Pow acsch Mul x0 acos x7 -2 Mul x0 Mul Pow sec Pow acsch Mul x0 acos x7 -2 2 Mul Pow acsch Mul x0 acos x7 3 Mul -2 Mul Mul -1 acos x7 Pow Mul Mul Mul x0 acos x7 Mul x0 acos x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 acos x7 Mul x0 acos x7 -1 -1 Pow Add 1 Mul Mul cosh Add Mul -1 x0 Pow x3 Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 -1 Mul cosh Add Mul -1 x0 Pow x3 Add Add -4 x0 Mul x0 tan Pow acsch Mul x0 acos x7 -2 -1 -1 