Mul Mul x0 x2 Mul acot Pow Mul x4 x4 x0 sinh Mul x0 cosh x0 
Add Mul Mul acot Pow Mul x4 x4 x0 sinh Mul x0 cosh x0 x2 Mul Mul x0 x2 Add Mul sinh Mul x0 cosh x0 Mul -1 Mul Mul Pow Mul x4 x4 Add x0 -1 Mul Mul x4 x4 log Mul x4 x4 Pow Add 1 Mul Pow Mul x4 x4 x0 Pow Mul x4 x4 x0 -1 Mul acot Pow Mul x4 x4 x0 Mul cosh Mul x0 cosh x0 Add cosh x0 Mul x0 sinh x0 