Add Mul Pow x0 -1.08476818799800 acot log x0 asin x0 
Add Add Mul acot log x0 Mul Pow x0 -2.08476818799800 -1.08476818799800 Mul Pow x0 -1.08476818799800 Mul -1 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 