cosh Pow x0 Pow Add asech log x0 x0 x7 
Mul sinh Pow x0 Pow Add asech log x0 x0 x7 Mul Pow x0 Add Pow Add asech log x0 x0 x7 -1 Add Pow Add asech log x0 x0 x7 Mul Mul x0 log x0 Mul Pow Add asech log x0 x0 Add x7 -1 Mul x7 Add Mul Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 1 