acot Mul x0 Mul Add -2 Pow sinh x7 Mul -3 Pow x0 asec x6 2 
Mul -1 Mul Add Mul Add -2 Pow sinh x7 Mul -3 Pow x0 asec x6 2 Mul x0 Mul 2 Mul Pow sinh x7 Add Mul -3 Pow x0 asec x6 -1 Mul Mul sinh x7 log sinh x7 Mul -3 Mul Pow x0 Add asec x6 -1 asec x6 Pow Add 1 Mul Mul x0 Mul Add -2 Pow sinh x7 Mul -3 Pow x0 asec x6 2 Mul x0 Mul Add -2 Pow sinh x7 Mul -3 Pow x0 asec x6 2 -1 