Mul Add sec x0 Pow x0 Add asech x0 cosh Pow Pow acot E x0 -4 Add x3 x0 
Add Mul Add x3 x0 Add Mul tan x0 sec x0 Mul Pow x0 Add Add asech x0 cosh Pow Pow acot E x0 -4 -1 Add Add asech x0 cosh Pow Pow acot E x0 -4 Mul Mul x0 log x0 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul sinh Pow Pow acot E x0 -4 Mul Pow Pow acot E x0 5 Mul -4 Mul Pow acot E Add x0 -1 Mul acot E log acot E Add sec x0 Pow x0 Add asech x0 cosh Pow Pow acot E x0 -4 