Pow Mul acot x0 Pow Mul x0 x0 pi 7.38905609893065 
Mul Pow Mul acot x0 Pow Mul x0 x0 pi 6.38905609893065 Mul 7.38905609893065 Add Mul Pow Mul x0 x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul x0 x0 Add pi -1 Mul pi Add x0 x0 