Pow sqrt Add atanh sec atanh x7 Mul Pow x0 acoth x6 tan x0 atan Add Add x0 -4 pi 
Mul Pow sqrt Add atanh sec atanh x7 Mul Pow x0 acoth x6 tan x0 Add atan Add Add x0 -4 pi -1 Add Mul atan Add Add x0 -4 pi Mul Pow Mul 2 sqrt Add atanh sec atanh x7 Mul Pow x0 acoth x6 tan x0 -1 Add Mul tan x0 Mul Pow x0 Add acoth x6 -1 acoth x6 Mul Pow x0 acoth x6 Pow sec x0 2 Mul Mul sqrt Add atanh sec atanh x7 Mul Pow x0 acoth x6 tan x0 log sqrt Add atanh sec atanh x7 Mul Pow x0 acoth x6 tan x0 Pow Add 1 Mul Add Add x0 -4 pi Add Add x0 -4 pi -1 