Add Add Add -5 pi asech Pow Pow Pow acosh x6 x0 asech acos E x0 atanh Pow x0 x0 
Add Mul Mul Pow Pow Pow acosh x6 x0 asech acos E Add x0 -1 Add Mul x0 Mul Pow Pow acosh x6 x0 Add asech acos E -1 Mul asech acos E Mul Pow acosh x6 Add x0 -1 Mul acosh x6 log acosh x6 Mul Pow Pow acosh x6 x0 asech acos E log Pow Pow acosh x6 x0 asech acos E Pow Mul Mul Pow Pow Pow acosh x6 x0 asech acos E x0 Pow Pow Pow acosh x6 x0 asech acos E x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Pow acosh x6 x0 asech acos E x0 Pow Pow Pow acosh x6 x0 asech acos E x0 -1 -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 