Pow Mul Pow x0 4 asec atanh pi Add 4 Add -4 x0 
Mul Pow Mul Pow x0 4 asec atanh pi Add Add 4 Add -4 x0 -1 Add Mul Add 4 Add -4 x0 Mul asec atanh pi Mul Pow x0 3 4 Mul Mul Pow x0 4 asec atanh pi log Mul Pow x0 4 asec atanh pi 