Mul 6 sin Pow Mul -2 Add x5 log Mul x0 acos acosh x0 -3 
Mul 6 Mul cos Pow Mul -2 Add x5 log Mul x0 acos acosh x0 -3 Mul Pow Mul -2 Add x5 log Mul x0 acos acosh x0 4 Mul -3 Mul -2 Mul Add acos acosh x0 Mul x0 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Mul x0 acos acosh x0 -1 