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