Pow Pow x7 acosh acosh Add x0 -4 sech x0 
Mul Pow Pow x7 acosh acosh Add x0 -4 Add sech x0 -1 Add Mul sech x0 Mul Pow x7 Add acosh acosh Add x0 -4 -1 Mul Mul x7 log x7 Mul Pow Mul sqrt Add Add x0 -4 -1 sqrt Add 1 Add x0 -4 -1 Pow Mul sqrt Add acosh Add x0 -4 -1 sqrt Add 1 acosh Add x0 -4 -1 Mul Mul Pow x7 acosh acosh Add x0 -4 log Pow x7 acosh acosh Add x0 -4 Mul tanh x0 Mul -1 sech x0 