Add sech x0 Pow sec acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 x0 
Add Mul tanh x0 Mul -1 sech x0 Mul Pow sec acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 Add x0 -1 Add Mul x0 Mul Mul tan acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 sec acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 Mul Add 1 Add Pow Mul x1 csch atan x0 acos tan x0 Mul x0 Mul Pow Mul x1 csch atan x0 Add acos tan x0 -1 Add Mul acos tan x0 Mul x1 Mul Mul Mul -1 coth atan x0 csch atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x1 csch atan x0 log Mul x1 csch atan x0 Mul -1 Mul Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul tan x0 tan x0 -1 Pow Add 1 Mul -1 Mul Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 -1 Mul sec acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 log sec acoth Add x0 Mul x0 Pow Mul x1 csch atan x0 acos tan x0 