atanh Pow acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 Add x0 x0 
Mul Mul Pow acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -1 Mul Add Mul coth Mul x0 Add acos x3 -3 Add 4 pi Mul Mul x0 Add 4 pi Mul Mul -1 Pow csch Mul x0 Add acos x3 -3 2 Add acos x3 -3 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 -1 Mul Mul acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 log acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 2 Pow Add 1 Mul -1 Mul Pow acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 Add x0 x0 Pow acos Mul Mul x0 Add 4 pi coth Mul x0 Add acos x3 -3 Add x0 x0 -1 