Mul x0 Pow Add Add 3 x0 acoth Mul log Add 3.52532008581609 x0 acoth x2 x0 
Add Pow Add Add 3 x0 acoth Mul log Add 3.52532008581609 x0 acoth x2 x0 Mul x0 Mul Pow Add Add 3 x0 acoth Mul log Add 3.52532008581609 x0 acoth x2 Add x0 -1 Add Mul x0 Add 1 Mul Mul acoth x2 Pow Add 3.52532008581609 x0 -1 Pow Add 1 Mul -1 Mul Mul log Add 3.52532008581609 x0 acoth x2 Mul log Add 3.52532008581609 x0 acoth x2 -1 Mul Add Add 3 x0 acoth Mul log Add 3.52532008581609 x0 acoth x2 log Add Add 3 x0 acoth Mul log Add 3.52532008581609 x0 acoth x2 