Pow Mul asech sinh acosh x3 x2 Mul Pow x6 x0 -4 
Mul Pow Mul asech sinh acosh x3 x2 Add Mul Pow x6 x0 -4 -1 Mul Mul Mul asech sinh acosh x3 x2 log Mul asech sinh acosh x3 x2 Mul -4 Mul Pow x6 Add x0 -1 Mul x6 log x6 