asin Add x0 Mul log Mul Pow x1 Add Mul -3 x0 x0 2 Mul 5 asech pi 
Mul Add 1 Mul Mul 5 asech pi Mul Mul 2 Mul Pow x1 Add Add Mul -3 x0 x0 -1 Mul Mul x1 log x1 2 Pow Mul Pow x1 Add Mul -3 x0 x0 2 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul log Mul Pow x1 Add Mul -3 x0 x0 2 Mul 5 asech pi Add x0 Mul log Mul Pow x1 Add Mul -3 x0 x0 2 Mul 5 asech pi -1 