exp Mul -5 atanh Pow Mul tanh pi pi exp x0 
Mul exp Mul -5 atanh Pow Mul tanh pi pi exp x0 Mul -5 Mul Mul Pow Mul tanh pi pi Add exp x0 -1 Mul Mul Mul tanh pi pi log Mul tanh pi pi exp x0 Pow Add 1 Mul -1 Mul Pow Mul tanh pi pi exp x0 Pow Mul tanh pi pi exp x0 -1 