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