asech Add Add Add x0 5 x0 Mul exp atanh x2 pi 
Mul 2 Pow Mul Mul Add Add Add x0 5 x0 Mul exp atanh x2 pi Add Add Add x0 5 x0 Mul exp atanh x2 pi sqrt Add 1 Mul -1 Pow Mul Add Add Add x0 5 x0 Mul exp atanh x2 pi Add Add Add x0 5 x0 Mul exp atanh x2 pi -1 -1 