Pow asech acosh x6 Mul Mul x0 x0 Mul Pow x0 E x0 
Mul Pow asech acosh x6 Add Mul Mul x0 x0 Mul Pow x0 E x0 -1 Mul Mul asech acosh x6 log asech acosh x6 Add Mul Mul Pow x0 E x0 Add x0 x0 Mul Mul x0 x0 Add Mul x0 Mul Pow x0 Add E -1 E Pow x0 E 