Mul Mul Add x0 -3 sech Pow x7 acoth Add tan x0 x4 5 
Mul 5 Add sech Pow x7 acoth Add tan x0 x4 Mul Add x0 -3 Mul Mul tanh Pow x7 acoth Add tan x0 x4 Mul -1 sech Pow x7 acoth Add tan x0 x4 Mul Pow x7 Add acoth Add tan x0 x4 -1 Mul Mul x7 log x7 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 x4 Add tan x0 x4 -1 