Pow x2 Pow acot sinh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 x3 
Mul Pow x2 Add Pow acot sinh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 x3 -1 Mul Mul x2 log x2 Mul Pow acot sinh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 Add x3 -1 Mul x3 Mul -1 Mul Mul cosh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 Mul Pow acoth Add Mul Pow x0 -4 x3 5 Add Mul x2 x0 -1 Add Mul Mul x2 x0 Mul Mul x3 Mul Pow x0 5 -4 Pow Add 1 Mul -1 Mul Add Mul Pow x0 -4 x3 5 Add Mul Pow x0 -4 x3 5 -1 Mul Mul acoth Add Mul Pow x0 -4 x3 5 log acoth Add Mul Pow x0 -4 x3 5 x2 Pow Add 1 Mul sinh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 sinh Pow acoth Add Mul Pow x0 -4 x3 5 Mul x2 x0 -1 