Pow Pow Mul x0 Add 3 Mul -1 x0 Add coth Pow x0 Add 9 sqrt atan x1 Mul x0 3 3 
Mul Pow Pow Mul x0 Add 3 Mul -1 x0 Add coth Pow x0 Add 9 sqrt atan x1 Mul x0 3 2 Mul 3 Mul Pow Mul x0 Add 3 Mul -1 x0 Add Add coth Pow x0 Add 9 sqrt atan x1 Mul x0 3 -1 Add Mul Add coth Pow x0 Add 9 sqrt atan x1 Mul x0 3 Add Add 3 Mul -1 x0 Mul x0 -1 Mul Mul Mul x0 Add 3 Mul -1 x0 log Mul x0 Add 3 Mul -1 x0 Add Mul Mul -1 Pow csch Pow x0 Add 9 sqrt atan x1 2 Mul Pow x0 Add Add 9 sqrt atan x1 -1 Add 9 sqrt atan x1 3 