Mul x3 Pow sqrt Mul Mul x0 x0 x0 Add coth Pow x7 2 -0.252714296617167 
Mul x3 Mul Pow sqrt Mul Mul x0 x0 x0 Add Add coth Pow x7 2 -0.252714296617167 -1 Mul Add coth Pow x7 2 -0.252714296617167 Mul Pow Mul 2 sqrt Mul Mul x0 x0 x0 -1 Add Mul x0 Add x0 x0 Mul x0 x0 