Mul tan x0 tan Add x2 acos Mul csch acoth Add x0 x0 log x0 
Add Mul tan Add x2 acos Mul csch acoth Add x0 x0 log x0 Pow sec x0 2 Mul tan x0 Mul Pow sec Add x2 acos Mul csch acoth Add x0 x0 log x0 2 Mul -1 Mul Add Mul log x0 Mul Mul Mul -1 coth acoth Add x0 x0 csch acoth Add x0 x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul csch acoth Add x0 x0 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul csch acoth Add x0 x0 log x0 Mul csch acoth Add x0 x0 log x0 -1 