sin Mul x7 Mul asech x5 Pow x0 Pow acosh x0 Add Mul x0 x0 asech x2 
Mul cos Mul x7 Mul asech x5 Pow x0 Pow acosh x0 Add Mul x0 x0 asech x2 Mul x7 Mul asech x5 Mul Pow x0 Add Pow acosh x0 Add Mul x0 x0 asech x2 -1 Add Pow acosh x0 Add Mul x0 x0 asech x2 Mul Mul x0 log x0 Mul Pow acosh x0 Add Add Mul x0 x0 asech x2 -1 Add Mul Add Mul x0 x0 asech x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Add x0 x0 