cos acoth Add acot Mul Add atanh Mul Pow x7 x0 E x0 tan x0 x2 
Mul Mul -1 sin acoth Add acot Mul Add atanh Mul Pow x7 x0 E x0 tan x0 x2 Mul Mul -1 Mul Add Mul tan x0 Add Mul Mul E Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul Mul Pow x7 x0 E Mul Pow x7 x0 E -1 1 Mul Add atanh Mul Pow x7 x0 E x0 Pow sec x0 2 Pow Add 1 Mul Mul Add atanh Mul Pow x7 x0 E x0 tan x0 Mul Add atanh Mul Pow x7 x0 E x0 tan x0 -1 Pow Add 1 Mul -1 Mul Add acot Mul Add atanh Mul Pow x7 x0 E x0 tan x0 x2 Add acot Mul Add atanh Mul Pow x7 x0 E x0 tan x0 x2 -1 