Add x0 Pow acot Mul sec Add pi x0 x0 Add -4 x0 
Add 1 Mul Pow acot Mul sec Add pi x0 x0 Add Add -4 x0 -1 Add Mul Add -4 x0 Mul -1 Mul Add Mul x0 Mul tan Add pi x0 sec Add pi x0 sec Add pi x0 Pow Add 1 Mul Mul sec Add pi x0 x0 Mul sec Add pi x0 x0 -1 Mul acot Mul sec Add pi x0 x0 log acot Mul sec Add pi x0 x0 