Pow Pow Mul x3 x0 2 Add Mul Add Mul x0 Add csch x7 x0 -3 sqrt pi x0 
Mul Pow Pow Mul x3 x0 2 Add Add Mul Add Mul x0 Add csch x7 x0 -3 sqrt pi x0 -1 Add Mul Add Mul Add Mul x0 Add csch x7 x0 -3 sqrt pi x0 Mul Mul x3 x0 Mul 2 x3 Mul Mul Pow Mul x3 x0 2 log Pow Mul x3 x0 2 Add Mul sqrt pi Add Add csch x7 x0 x0 1 