Pow x4 sinh Pow Mul acot Add x0 -3 E atanh acot x0 
Mul Pow x4 Add sinh Pow Mul acot Add x0 -3 E atanh acot x0 -1 Mul Mul x4 log x4 Mul cosh Pow Mul acot Add x0 -3 E atanh acot x0 Mul Pow Mul acot Add x0 -3 E Add atanh acot x0 -1 Add Mul atanh acot x0 Mul E Mul -1 Pow Add 1 Mul Add x0 -3 Add x0 -3 -1 Mul Mul Mul acot Add x0 -3 E log Mul acot Add x0 -3 E Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 