Add acot Add Pow sqrt x3 Mul x0 exp x0 x0 pi 
Mul -1 Mul Add Mul Pow sqrt x3 Add Mul x0 exp x0 -1 Mul Mul sqrt x3 log sqrt x3 Add exp x0 Mul x0 exp x0 1 Pow Add 1 Mul Add Pow sqrt x3 Mul x0 exp x0 x0 Add Pow sqrt x3 Mul x0 exp x0 x0 -1 