Add x0 Pow Mul cosh x0 tan sqrt x7 Mul Mul Add x4 cot x0 x5 4 
Add 1 Mul Pow Mul cosh x0 tan sqrt x7 Add Mul Mul Add x4 cot x0 x5 4 -1 Add Mul Mul Mul Add x4 cot x0 x5 4 Mul tan sqrt x7 sinh x0 Mul Mul Mul cosh x0 tan sqrt x7 log Mul cosh x0 tan sqrt x7 Mul 4 Mul x5 Mul -1 Pow csc x0 2 