Pow Add Add Pow x0 asec acosh x1 acot x6 x0 Pow Pow 4 E Add Add x0 x0 x0 
Mul Pow Add Add Pow x0 asec acosh x1 acot x6 x0 Add Pow Pow 4 E Add Add x0 x0 x0 -1 Add Mul Pow Pow 4 E Add Add x0 x0 x0 Add Mul Pow x0 Add asec acosh x1 -1 asec acosh x1 1 Mul Mul Add Add Pow x0 asec acosh x1 acot x6 x0 log Add Add Pow x0 asec acosh x1 acot x6 x0 Mul Pow Pow 4 E Add Add Add x0 x0 x0 -1 Mul Mul Pow 4 E log Pow 4 E 3 