Mul Mul x0 Pow x7 Pow acosh sin x3 5 acot Mul x0 Pow x0 log asec atanh x1 
Add Mul acot Mul x0 Pow x0 log asec atanh x1 Pow x7 Pow acosh sin x3 5 Mul Mul x0 Pow x7 Pow acosh sin x3 5 Mul -1 Mul Add Pow x0 log asec atanh x1 Mul x0 Mul Pow x0 Add log asec atanh x1 -1 log asec atanh x1 Pow Add 1 Mul Mul x0 Pow x0 log asec atanh x1 Mul x0 Pow x0 log asec atanh x1 -1 