Mul asin Mul 1.77215424758523 Pow acot log x1 x0 log exp x0 
Add Mul log exp x0 Mul Mul 1.77215424758523 Mul Pow acot log x1 Add x0 -1 Mul acot log x1 log acot log x1 Pow sqrt Add 1 Mul -1 Mul Mul 1.77215424758523 Pow acot log x1 x0 Mul 1.77215424758523 Pow acot log x1 x0 -1 Mul asin Mul 1.77215424758523 Pow acot log x1 x0 Mul exp x0 Pow exp x0 -1 