Mul asec Mul -3 x0 Add x7 Pow Mul x0 Mul exp x5 Mul Mul atanh x3 pi Add x0 1 x3 
Add Mul Add x7 Pow Mul x0 Mul exp x5 Mul Mul atanh x3 pi Add x0 1 x3 Mul -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul -3 x0 Mul -3 x0 -1 Mul -3 x0 Mul -3 x0 -1 Mul asec Mul -3 x0 Mul Pow Mul x0 Mul exp x5 Mul Mul atanh x3 pi Add x0 1 Add x3 -1 Mul x3 Add Mul exp x5 Mul Mul atanh x3 pi Add x0 1 Mul x0 Mul exp x5 Mul atanh x3 pi 