sin sin Mul acosh x0 Mul asinh Pow x1 x0 Mul x0 x0 
Mul cos sin Mul acosh x0 Mul asinh Pow x1 x0 Mul x0 x0 Mul cos Mul acosh x0 Mul asinh Pow x1 x0 Mul x0 x0 Add Mul Mul asinh Pow x1 x0 Mul x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul Mul x0 x0 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul Pow x1 x0 Pow x1 x0 -1 Mul asinh Pow x1 x0 Add x0 x0 