exp Pow 8165619676597681 Add 4 Mul x0 Pow Pow acoth x4 x1 -1 
Mul exp Pow 8165619676597681 Add 4 Mul x0 Pow Pow acoth x4 x1 -1 Mul Pow 8165619676597681 Add Add 4 Mul x0 Pow Pow acoth x4 x1 -1 -1 Mul 8165619676597718 Pow Pow acoth x4 x1 -1 