Pow acot Add 2 Pow 2.84508773471675 x0 Add sec Add x0 x0 -2 
Mul Pow acot Add 2 Pow 2.84508773471675 x0 Add Add sec Add x0 x0 -2 -1 Add Mul Add sec Add x0 x0 -2 Mul -1 Mul Mul Pow 2.84508773471675 Add x0 -1 3.89068164003282 Pow Add 1 Mul Add 2 Pow 2.84508773471675 x0 Add 2 Pow 2.84508773471675 x0 -1 Mul Mul acot Add 2 Pow 2.84508773471675 x0 log acot Add 2 Pow 2.84508773471675 x0 Mul Mul tan Add x0 x0 sec Add x0 x0 2 