Pow acosh Add acsch x7 Pow E x0 x3 
Mul Pow acosh Add acsch x7 Pow E x0 Add x3 -1 Mul x3 Mul Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Add acsch x7 Pow E x0 -1 sqrt Add 1 Add acsch x7 Pow E x0 -1 