Add x1 Mul Mul Pow acot Add Add 1 Pow x0 E pi acot x0 sec E x0 
Add Mul x0 Mul sec E Mul Pow acot Add Add 1 Pow x0 E pi Add acot x0 -1 Add Mul acot x0 Mul -1 Mul Mul Pow x0 Add E -1 E Pow Add 1 Mul Add Add 1 Pow x0 E pi Add Add 1 Pow x0 E pi -1 Mul Mul acot Add Add 1 Pow x0 E pi log acot Add Add 1 Pow x0 E pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow acot Add Add 1 Pow x0 E pi acot x0 sec E 