Add pi Pow Pow acosh Pow x5 cosh x6 x0 asinh x6 
Mul Pow Pow acosh Pow x5 cosh x6 x0 Add asinh x6 -1 Mul asinh x6 Mul Pow acosh Pow x5 cosh x6 Add x0 -1 Mul acosh Pow x5 cosh x6 log acosh Pow x5 cosh x6 