Mul Pow sech x0 Mul Add -4 x0 sec x0 x0 
Add Mul x0 Mul Pow sech x0 Add Mul Add -4 x0 sec x0 -1 Add Mul Mul Add -4 x0 sec x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Add sec x0 Mul Add -4 x0 Mul tan x0 sec x0 Pow sech x0 Mul Add -4 x0 sec x0 