asec Mul exp Add x0 Pow atanh x7 pi x4 
Mul Mul x4 exp Add x0 Pow atanh x7 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul exp Add x0 Pow atanh x7 pi x4 Mul exp Add x0 Pow atanh x7 pi x4 -1 Mul exp Add x0 Pow atanh x7 pi x4 Mul exp Add x0 Pow atanh x7 pi x4 -1 