Pow Pow Pow cosh Mul acsch acsch log x0 Add x0 x3 E Pow sec sqrt Add x0 2 x2 x7 
Mul Pow Pow Pow cosh Mul acsch acsch log x0 Add x0 x3 E Pow sec sqrt Add x0 2 x2 Add x7 -1 Mul x7 Mul Pow Pow cosh Mul acsch acsch log x0 Add x0 x3 E Add Pow sec sqrt Add x0 2 x2 -1 Add Mul Pow sec sqrt Add x0 2 x2 Mul Pow cosh Mul acsch acsch log x0 Add x0 x3 Add E -1 Mul E Mul sinh Mul acsch acsch log x0 Add x0 x3 Add Mul Add x0 x3 Mul Mul -1 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 Pow Mul Mul acsch log x0 acsch log x0 sqrt Add 1 Mul -1 Pow Mul acsch log x0 acsch log x0 -1 -1 acsch acsch log x0 Mul Mul Pow cosh Mul acsch acsch log x0 Add x0 x3 E log Pow cosh Mul acsch acsch log x0 Add x0 x3 E Mul Pow sec sqrt Add x0 2 Add x2 -1 Mul x2 Mul Mul tan sqrt Add x0 2 sec sqrt Add x0 2 Pow Mul 2 sqrt Add x0 2 -1 