Mul cosh sin Mul Mul x0 Pow x0 acosh x5 sinh Pow asech x4 x4 x0 
Add Mul x0 Mul sinh sin Mul Mul x0 Pow x0 acosh x5 sinh Pow asech x4 x4 Mul cos Mul Mul x0 Pow x0 acosh x5 sinh Pow asech x4 x4 Mul sinh Pow asech x4 x4 Add Pow x0 acosh x5 Mul x0 Mul Pow x0 Add acosh x5 -1 acosh x5 cosh sin Mul Mul x0 Pow x0 acosh x5 sinh Pow asech x4 x4 