Add Mul Add x0 x0 Pow x4 Mul Add cot Pow cosh acos acoth pi 4 x0 x0 x6 
Add Mul Pow x4 Mul Add cot Pow cosh acos acoth pi 4 x0 x0 2 Mul Add x0 x0 Mul Pow x4 Add Mul Add cot Pow cosh acos acoth pi 4 x0 x0 -1 Mul Mul x4 log x4 Add x0 Add cot Pow cosh acos acoth pi 4 x0 