acoth Mul Pow cosh x4 Pow cot coth pi x0 Pow x0 acos acot Mul Pow x2 x0 x0 
Mul Add Mul Pow x0 acos acot Mul Pow x2 x0 x0 Mul Pow cosh x4 Add Pow cot coth pi x0 -1 Mul Mul cosh x4 log cosh x4 Mul Pow cot coth pi Add x0 -1 Mul cot coth pi log cot coth pi Mul Pow cosh x4 Pow cot coth pi x0 Mul Pow x0 Add acos acot Mul Pow x2 x0 x0 -1 Add acos acot Mul Pow x2 x0 x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Mul Add Mul x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow x2 x0 Pow Add 1 Mul Mul Pow x2 x0 x0 Mul Pow x2 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul Pow x2 x0 x0 acot Mul Pow x2 x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow cosh x4 Pow cot coth pi x0 Pow x0 acos acot Mul Pow x2 x0 x0 Mul Pow cosh x4 Pow cot coth pi x0 Pow x0 acos acot Mul Pow x2 x0 x0 -1 