Add Mul x0 x0 Mul Mul asin Pow x0 cos x0 pi Pow Mul Add x0 atan x4 asech Mul x0 x0 pi 
Add Add x0 x0 Add Mul Pow Mul Add x0 atan x4 asech Mul x0 x0 pi Mul pi Mul Mul Pow x0 Add cos x0 -1 Add cos x0 Mul Mul x0 log x0 Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 cos x0 Pow x0 cos x0 -1 Mul Mul asin Pow x0 cos x0 pi Mul Pow Mul Add x0 atan x4 asech Mul x0 x0 Add pi -1 Mul pi Add asech Mul x0 x0 Mul Add x0 atan x4 Mul Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 