Pow Add exp Pow acoth Mul x0 1.37954061269353 Add x0 x6 E x2 
Mul Pow Add exp Pow acoth Mul x0 1.37954061269353 Add x0 x6 E Add x2 -1 Mul x2 Mul exp Pow acoth Mul x0 1.37954061269353 Add x0 x6 Mul Pow acoth Mul x0 1.37954061269353 Add Add x0 x6 -1 Add Mul Add x0 x6 Mul 1.37954061269353 Pow Add 1 Mul -1 Mul Mul x0 1.37954061269353 Mul x0 1.37954061269353 -1 Mul acoth Mul x0 1.37954061269353 log acoth Mul x0 1.37954061269353 