sin Pow acsch Pow x0 acos pi x5 
Mul cos Pow acsch Pow x0 acos pi x5 Mul Pow acsch Pow x0 acos pi Add x5 -1 Mul x5 Mul Mul -1 Mul Pow x0 Add acos pi -1 acos pi Pow Mul Mul Pow x0 acos pi Pow x0 acos pi sqrt Add 1 Mul -1 Pow Mul Pow x0 acos pi Pow x0 acos pi -1 -1 