Mul exp Pow atan Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 asin pi x0 
Add Mul x0 Mul exp Pow atan Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 asin pi Mul Pow atan Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 Add asin pi -1 Mul asin pi Mul Mul Pow Mul exp x0 tanh tan Add x0 x0 Add Add -0.874279479878078 x5 -1 Mul Add -0.874279479878078 x5 Add Mul tanh tan Add x0 x0 exp x0 Mul exp x0 Mul Pow sech tan Add x0 x0 2 Mul Pow sec Add x0 x0 2 2 Pow Add 1 Mul Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 -1 exp Pow atan Pow Mul exp x0 tanh tan Add x0 x0 Add -0.874279479878078 x5 asin pi 