sec Mul x5 exp Add 0.481211825059603 csch x0 
Mul Mul tan Mul x5 exp Add 0.481211825059603 csch x0 sec Mul x5 exp Add 0.481211825059603 csch x0 Mul x5 Mul exp Add 0.481211825059603 csch x0 Mul Mul -1 coth x0 csch x0 