acot Mul Pow x0 -4 cosh Pow Add Mul x0 x7 csch sinh x1 Pow x0 Pow Add x7 x7 x0 
Mul -1 Mul Add Mul cosh Pow Add Mul x0 x7 csch sinh x1 Pow x0 Pow Add x7 x7 x0 Mul Pow x0 5 -4 Mul Pow x0 -4 Mul sinh Pow Add Mul x0 x7 csch sinh x1 Pow x0 Pow Add x7 x7 x0 Mul Pow Add Mul x0 x7 csch sinh x1 Add Pow x0 Pow Add x7 x7 x0 -1 Add Mul Pow x0 Pow Add x7 x7 x0 x7 Mul Mul Add Mul x0 x7 csch sinh x1 log Add Mul x0 x7 csch sinh x1 Mul Pow x0 Add Pow Add x7 x7 x0 -1 Add Pow Add x7 x7 x0 Mul Mul x0 log x0 Mul Pow Add x7 x7 Add x0 -1 Mul Add x7 x7 log Add x7 x7 Pow Add 1 Mul Mul Pow x0 -4 cosh Pow Add Mul x0 x7 csch sinh x1 Pow x0 Pow Add x7 x7 x0 Mul Pow x0 -4 cosh Pow Add Mul x0 x7 csch sinh x1 Pow x0 Pow Add x7 x7 x0 -1 