Mul Pow Add x0 Add 2 pi x2 Mul exp Mul Pow sech x0 Add Mul atan x0 tan x0 x0 -2 Add acosh x3 x0 
Add Mul Mul exp Mul Pow sech x0 Add Mul atan x0 tan x0 x0 -2 Add acosh x3 x0 Mul Pow Add x0 Add 2 pi Add x2 -1 x2 Mul Pow Add x0 Add 2 pi x2 Add Mul Add acosh x3 x0 Mul exp Mul Pow sech x0 Add Mul atan x0 tan x0 x0 -2 Mul -2 Mul Pow sech x0 Add Add Mul atan x0 tan x0 x0 -1 Add Mul Add Mul atan x0 tan x0 x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Add Add Mul tan x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Pow sec x0 2 1 exp Mul Pow sech x0 Add Mul atan x0 tan x0 x0 -2 