Mul x0 sinh Mul csc Pow Add -3 sqrt x0 x5 cot E 
Add sinh Mul csc Pow Add -3 sqrt x0 x5 cot E Mul x0 Mul cosh Mul csc Pow Add -3 sqrt x0 x5 cot E Mul cot E Mul Mul Mul -1 cot Pow Add -3 sqrt x0 x5 csc Pow Add -3 sqrt x0 x5 Mul Pow Add -3 sqrt x0 Add x5 -1 Mul x5 Pow Mul 2 sqrt x0 -1 