Mul x0 Mul x7 sec Add 0.250000000000000 csch x0 
Add Mul x7 sec Add 0.250000000000000 csch x0 Mul x0 Mul x7 Mul Mul tan Add 0.250000000000000 csch x0 sec Add 0.250000000000000 csch x0 Mul Mul -1 coth x0 csch x0 