Mul Mul Mul x0 x0 x0 Mul Mul Mul x0 x0 acoth csch x3 Add x1 4.31811607165282 
Add Mul Mul Mul Mul x0 x0 acoth csch x3 Add x1 4.31811607165282 Add Mul x0 Add x0 x0 Mul x0 x0 Mul Mul Mul x0 x0 x0 Mul Add x1 4.31811607165282 Mul acoth csch x3 Add x0 x0 