Add Mul x0 Pow Add x0 Pow acoth Pow x6 x0 Mul Mul x0 -0.900178430331177 x0 x3 x6 
Add Pow Add x0 Pow acoth Pow x6 x0 Mul Mul x0 -0.900178430331177 x0 x3 Mul x0 Mul Pow Add x0 Pow acoth Pow x6 x0 Mul Mul x0 -0.900178430331177 x0 Add x3 -1 Mul x3 Add 1 Mul Pow acoth Pow x6 x0 Add Mul Mul x0 -0.900178430331177 x0 -1 Add Mul Mul Mul x0 -0.900178430331177 x0 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Pow x6 x0 Pow x6 x0 -1 Mul Mul acoth Pow x6 x0 log acoth Pow x6 x0 Add Mul x0 -0.900178430331177 Mul x0 -0.900178430331177 