Add sin Pow x0 acosh Add Mul x0 pi x4 acos x0 
Add Mul cos Pow x0 acosh Add Mul x0 pi x4 Mul Pow x0 Add acosh Add Mul x0 pi x4 -1 Add acosh Add Mul x0 pi x4 Mul Mul x0 log x0 Mul pi Pow Mul sqrt Add Add Mul x0 pi x4 -1 sqrt Add 1 Add Mul x0 pi x4 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 