Mul x0 Add Pow Mul x0 Mul x0 Mul csch E x0 sec x6 x0 
Add Add Pow Mul x0 Mul x0 Mul csch E x0 sec x6 x0 Mul x0 Add Mul Pow Mul x0 Mul x0 Mul csch E x0 Add sec x6 -1 Mul sec x6 Add Mul x0 Mul csch E x0 Mul x0 Add Mul csch E x0 Mul x0 csch E 1 