sin Pow Mul x0 x5 Mul acosh x0 3 
Mul cos Pow Mul x0 x5 Mul acosh x0 3 Mul Pow Mul x0 x5 Add Mul acosh x0 3 -1 Add Mul Mul acosh x0 3 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Mul 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 