Pow x3 Pow asec Add E pi Add acosh Mul Add acos x0 x0 sech x0 1 
Mul Pow x3 Add Pow asec Add E pi Add acosh Mul Add acos x0 x0 sech x0 1 -1 Mul Mul x3 log x3 Mul Pow asec Add E pi Add Add acosh Mul Add acos x0 x0 sech x0 1 -1 Mul Mul asec Add E pi log asec Add E pi Mul Add Mul sech x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add acos x0 x0 Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add Mul Add acos x0 x0 sech x0 -1 sqrt Add 1 Mul Add acos x0 x0 sech x0 -1 