Mul pi Pow Mul Pow Pow x0 x7 Add acosh x3 -4 asec pi x0 
Mul pi Mul Pow Mul Pow Pow x0 x7 Add acosh x3 -4 asec pi Add x0 -1 Add Mul x0 Mul asec pi Mul Pow Pow x0 x7 Add Add acosh x3 -4 -1 Mul Add acosh x3 -4 Mul Pow x0 Add x7 -1 x7 Mul Mul Pow Pow x0 x7 Add acosh x3 -4 asec pi log Mul Pow Pow x0 x7 Add acosh x3 -4 asec pi 