sech cot Mul x0 Mul 0.0156250000000000 x1 
Mul Mul tanh cot Mul x0 Mul 0.0156250000000000 x1 Mul -1 sech cot Mul x0 Mul 0.0156250000000000 x1 Mul Mul -1 Pow csc Mul x0 Mul 0.0156250000000000 x1 2 Mul 0.0156250000000000 x1 