sin Pow x1 asech acos Pow x0 Mul pi x0 
Mul cos Pow x1 asech acos Pow x0 Mul pi x0 Mul Pow x1 Add asech acos Pow x0 Mul pi x0 -1 Mul Mul x1 log x1 Mul Mul -1 Mul Mul Pow x0 Add Mul pi x0 -1 Add Mul pi x0 Mul Mul x0 log x0 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 Mul pi x0 Pow x0 Mul pi x0 -1 Pow Mul Mul acos Pow x0 Mul pi x0 acos Pow x0 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul acos Pow x0 Mul pi x0 acos Pow x0 Mul pi x0 -1 -1 