acos Mul Add Mul x0 x7 Add Add 5 x0 x0 Add coth Mul 3 Mul x0 Mul x1 x7 x0 
Mul -1 Mul Add Mul Add coth Mul 3 Mul x0 Mul x1 x7 x0 Add x7 2 Mul Add Mul x0 x7 Add Add 5 x0 x0 Add Mul Mul -1 Pow csch Mul 3 Mul x0 Mul x1 x7 2 Mul 3 Mul x1 x7 1 Pow sqrt Add 1 Mul -1 Mul Mul Add Mul x0 x7 Add Add 5 x0 x0 Add coth Mul 3 Mul x0 Mul x1 x7 x0 Mul Add Mul x0 x7 Add Add 5 x0 x0 Add coth Mul 3 Mul x0 Mul x1 x7 x0 -1 