Add acos Mul Add acosh x1 Add sin Pow x5 x0 pi x0 4 
Mul -1 Mul Add Mul x0 Mul cos Pow x5 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Add acosh x1 Add sin Pow x5 x0 pi Pow sqrt Add 1 Mul -1 Mul Mul Add acosh x1 Add sin Pow x5 x0 pi x0 Mul Add acosh x1 Add sin Pow x5 x0 pi x0 -1 