Mul x0 Mul Add 2 Add atanh asin x0 x0 Add asech Pow x2 4 Mul 4 x0 
Add Mul Add 2 Add atanh asin x0 x0 Add asech Pow x2 4 Mul 4 x0 Mul x0 Add Mul Add asech Pow x2 4 Mul 4 x0 Add Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin x0 asin x0 -1 1 Mul Add 2 Add atanh asin x0 x0 4 