Add Add -1 acot Pow cot Add -1 x0 1125899906842624 -2 
Mul -1 Mul Mul Pow cot Add -1 x0 1125899906842623 Mul 1125899906842624 Mul -1 Pow csc Add -1 x0 2 Pow Add 1 Mul Pow cot Add -1 x0 1125899906842624 Pow cot Add -1 x0 1125899906842624 -1 