Pow Add tanh Pow x7 sec x1 acoth Add Add x0 5 tan acoth atanh x0 Add atanh tan x0 acoth x4 
Mul Pow Add tanh Pow x7 sec x1 acoth Add Add x0 5 tan acoth atanh x0 Add Add atanh tan x0 acoth x4 -1 Add Mul Add atanh tan x0 acoth x4 Mul Add 1 Mul Pow sec acoth atanh x0 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow Add 1 Mul -1 Mul Add Add x0 5 tan acoth atanh x0 Add Add x0 5 tan acoth atanh x0 -1 Mul Mul Add tanh Pow x7 sec x1 acoth Add Add x0 5 tan acoth atanh x0 log Add tanh Pow x7 sec x1 acoth Add Add x0 5 tan acoth atanh x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 