Pow tanh Mul sech acoth Pow asec acosh x7 x0 Pow acot x7 x0 x3 
Mul Pow tanh Mul sech acoth Pow asec acosh x7 x0 Pow acot x7 x0 Add x3 -1 Mul x3 Mul Pow sech Mul sech acoth Pow asec acosh x7 x0 Pow acot x7 x0 2 Add Mul Pow acot x7 x0 Mul Mul tanh acoth Pow asec acosh x7 x0 Mul -1 sech acoth Pow asec acosh x7 x0 Mul Mul Pow asec acosh x7 Add x0 -1 Mul asec acosh x7 log asec acosh x7 Pow Add 1 Mul -1 Mul Pow asec acosh x7 x0 Pow asec acosh x7 x0 -1 Mul sech acoth Pow asec acosh x7 x0 Mul Pow acot x7 Add x0 -1 Mul acot x7 log acot x7 