Pow Pow x0 x1 Pow sec atan x1 cosh Add acot acosh Mul x0 x0 -5 
Mul Pow Pow x0 x1 Add Pow sec atan x1 cosh Add acot acosh Mul x0 x0 -5 -1 Add Mul Pow sec atan x1 cosh Add acot acosh Mul x0 x0 -5 Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x0 x1 log Pow x0 x1 Mul Pow sec atan x1 Add cosh Add acot acosh Mul x0 x0 -5 -1 Mul Mul sec atan x1 log sec atan x1 Mul sinh Add acot acosh Mul x0 x0 -5 Mul -1 Mul Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul acosh Mul x0 x0 acosh Mul x0 x0 -1 