Pow Pow x0 -1 acoth Add tan x0 3 
Mul Pow Pow x0 -1 Add acoth Add tan x0 3 -1 Add Mul acoth Add tan x0 3 Mul Pow x0 2 -1 Mul Mul Pow x0 -1 log Pow x0 -1 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 3 Add tan x0 3 -1 