Add x5 asec Pow Mul Add -2 x0 x0 atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 
Mul Mul Pow Mul Add -2 x0 x0 Add atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 Add Mul atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 Add x0 Add -2 x0 Mul Mul Mul Add -2 x0 x0 log Mul Add -2 x0 x0 Mul Mul Pow Mul 2 sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 Mul Pow Mul 2 sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 Add Mul Mul -1 Pow csch Pow acos Mul x3 x0 x0 2 Mul Pow acos Mul x3 x0 Add x0 -1 Add Mul x0 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x3 x0 Mul x3 x0 -1 Mul acos Mul x3 x0 log acos Mul x3 x0 1 Pow Add 1 Mul -1 Mul sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul Add -2 x0 x0 atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 Pow Mul Add -2 x0 x0 atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 Pow Mul Add -2 x0 x0 atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 Pow Mul Add -2 x0 x0 atanh sqrt sqrt Add coth Pow acos Mul x3 x0 x0 x0 -1 