sin Pow x2 Pow Pow Mul acosh x0 Add 1 Mul x0 x5 acos x3 Add -1 x3 
Mul cos Pow x2 Pow Pow Mul acosh x0 Add 1 Mul x0 x5 acos x3 Add -1 x3 Mul Pow x2 Add Pow Pow Mul acosh x0 Add 1 Mul x0 x5 acos x3 Add -1 x3 -1 Mul Mul x2 log x2 Mul Pow Pow Mul acosh x0 Add 1 Mul x0 x5 acos x3 Add Add -1 x3 -1 Mul Add -1 x3 Mul Pow Mul acosh x0 Add 1 Mul x0 x5 Add acos x3 -1 Mul acos x3 Add Mul Add 1 Mul x0 x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 x5 