Mul Mul x0 Pow Add exp acot x0 pi x0 acos x4 
Mul acos x4 Add Pow Add exp acot x0 pi x0 Mul x0 Mul Pow Add exp acot x0 pi Add x0 -1 Add Mul x0 Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add exp acot x0 pi log Add exp acot x0 pi 