Mul Mul acos Pow Add x0 x0 exp acot x0 x0 x2 
Mul x2 Add Mul x0 Mul -1 Mul Mul Pow Add x0 x0 Add exp acot x0 -1 Add Mul exp acot x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 x0 exp acot x0 Pow Add x0 x0 exp acot x0 -1 acos Pow Add x0 x0 exp acot x0 