Mul Add pi x0 Mul Mul Add x0 E x0 asinh acot Add x0 pi 
Add Mul Mul Add x0 E x0 asinh acot Add x0 pi Mul Add pi x0 Add Mul asinh acot Add x0 pi Add x0 Add x0 E Mul Mul Add x0 E x0 Mul Mul -1 Pow Add 1 Mul Add x0 pi Add x0 pi -1 Pow sqrt Add 1 Mul acot Add x0 pi acot Add x0 pi -1 