acot Mul Pow x0 cosh Pow atan x0 asec Add x3 x0 -5 
Mul -1 Mul Mul -5 Mul Pow x0 Add cosh Pow atan x0 asec Add x3 x0 -1 Add cosh Pow atan x0 asec Add x3 x0 Mul Mul x0 log x0 Mul sinh Pow atan x0 asec Add x3 x0 Mul Pow atan x0 Add asec Add x3 x0 -1 Add Mul asec Add x3 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 Add x3 x0 Add x3 x0 -1 Pow Add 1 Mul Mul Pow x0 cosh Pow atan x0 asec Add x3 x0 -5 Mul Pow x0 cosh Pow atan x0 asec Add x3 x0 -5 -1 