sinh Add x0 cosh Mul Mul x7 sqrt x7 Add Add cot x0 -4 x0 
Mul cosh Add x0 cosh Mul Mul x7 sqrt x7 Add Add cot x0 -4 x0 Add 1 Mul sinh Mul Mul x7 sqrt x7 Add Add cot x0 -4 x0 Mul Mul x7 sqrt x7 Add Mul -1 Pow csc x0 2 1 