Mul acoth Pow x2 Mul Mul x0 1.32581766366803 x6 x0 
Add Mul x0 Mul Mul Pow x2 Add Mul Mul x0 1.32581766366803 x6 -1 Mul Mul x2 log x2 Mul x6 1.32581766366803 Pow Add 1 Mul -1 Mul Pow x2 Mul Mul x0 1.32581766366803 x6 Pow x2 Mul Mul x0 1.32581766366803 x6 -1 acoth Pow x2 Mul Mul x0 1.32581766366803 x6 