Mul Pow x0 asech x0 cosh Pow Pow Add x0 2 Add E Pow x0 x4 -1 
Add Mul cosh Pow Pow Add x0 2 Add E Pow x0 x4 -1 Mul Pow x0 Add asech x0 -1 Add asech x0 Mul Mul x0 log x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x0 asech x0 Mul sinh Pow Pow Add x0 2 Add E Pow x0 x4 -1 Mul Pow Pow Add x0 2 Add E Pow x0 x4 2 Mul -1 Mul Pow Add x0 2 Add Add E Pow x0 x4 -1 Add Add E Pow x0 x4 Mul Mul Add x0 2 log Add x0 2 Mul Pow x0 Add x4 -1 x4 