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