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