Mul sinh Pow sinh x6 sec acot x0 Pow x1 x5 
Mul Pow x1 x5 Mul cosh Pow sinh x6 sec acot x0 Mul Pow sinh x6 Add sec acot x0 -1 Mul Mul sinh x6 log sinh x6 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 