Add 3 Mul x0 Add x7 Mul asec Mul x0 x0 Add Mul -2 x0 csc Pow cosh x0 64 
Add Add x7 Mul asec Mul x0 x0 Add Mul -2 x0 csc Pow cosh x0 64 Mul x0 Add Mul Add Mul -2 x0 csc Pow cosh x0 64 Mul Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 Mul x0 x0 Mul x0 x0 -1 Mul asec Mul x0 x0 Add -2 Mul Mul Mul -1 cot Pow cosh x0 64 csc Pow cosh x0 64 Mul Pow cosh x0 63 Mul 64 sinh x0 