sinh Pow Mul x7 x6 Add acot Mul -2 Pow x0 E x0 
Mul cosh Pow Mul x7 x6 Add acot Mul -2 Pow x0 E x0 Mul Pow Mul x7 x6 Add Add acot Mul -2 Pow x0 E x0 -1 Mul Mul Mul x7 x6 log Mul x7 x6 Add Mul -1 Mul Mul -2 Mul Pow x0 Add E -1 E Pow Add 1 Mul Mul -2 Pow x0 E Mul -2 Pow x0 E -1 1 