Mul x0 coth Mul Mul x0 Mul x7 Add acos x0 -4 acoth Add 2 Add x0 x0 
Add coth Mul Mul x0 Mul x7 Add acos x0 -4 acoth Add 2 Add x0 x0 Mul x0 Mul Mul -1 Pow csch Mul Mul x0 Mul x7 Add acos x0 -4 acoth Add 2 Add x0 x0 2 Add Mul acoth Add 2 Add x0 x0 Add Mul x7 Add acos x0 -4 Mul x0 Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 Mul x7 Add acos x0 -4 Mul 2 Pow Add 1 Mul -1 Mul Add 2 Add x0 x0 Add 2 Add x0 x0 -1 