Pow coth Mul x7 x7 Pow Mul 0.275720564771783 x7 Mul x0 Pow acos x0 pi 
Mul Pow coth Mul x7 x7 Add Pow Mul 0.275720564771783 x7 Mul x0 Pow acos x0 pi -1 Mul Mul coth Mul x7 x7 log coth Mul x7 x7 Mul Pow Mul 0.275720564771783 x7 Add Mul x0 Pow acos x0 pi -1 Mul Mul Mul 0.275720564771783 x7 log Mul 0.275720564771783 x7 Add Pow acos x0 pi Mul x0 Mul Pow acos x0 Add pi -1 Mul pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 