Mul Add x0 x0 sech Mul x0 acoth Mul 8165619676597685 x7 
Add Mul sech Mul x0 acoth Mul 8165619676597685 x7 2 Mul Add x0 x0 Mul Mul tanh Mul x0 acoth Mul 8165619676597685 x7 Mul -1 sech Mul x0 acoth Mul 8165619676597685 x7 acoth Mul 8165619676597685 x7 