Mul x0 atan acoth Pow 1.56919632611223 x0 
Add atan acoth Pow 1.56919632611223 x0 Mul x0 Mul Mul Mul Pow 1.56919632611223 Add x0 -1 2.01975992021385 Pow Add 1 Mul -1 Mul Pow 1.56919632611223 x0 Pow 1.56919632611223 x0 -1 Pow Add 1 Mul acoth Pow 1.56919632611223 x0 acoth Pow 1.56919632611223 x0 -1 