Mul x0 Pow Pow Mul sqrt x4 3 x0 Add Mul x0 x0 acoth Pow -1.15782128234958 x1 
Add Pow Pow Mul sqrt x4 3 x0 Add Mul x0 x0 acoth Pow -1.15782128234958 x1 Mul x0 Mul Pow Pow Mul sqrt x4 3 x0 Add Add Mul x0 x0 acoth Pow -1.15782128234958 x1 -1 Add Mul Add Mul x0 x0 acoth Pow -1.15782128234958 x1 Mul Pow Mul sqrt x4 3 Add x0 -1 Mul Mul sqrt x4 3 log Mul sqrt x4 3 Mul Mul Pow Mul sqrt x4 3 x0 log Pow Mul sqrt x4 3 x0 Add x0 x0 