Mul Mul x0 Pow x0 x4 Pow asec acoth atanh x6 Mul x0 x5 
Add Mul Pow asec acoth atanh x6 Mul x0 x5 Add Pow x0 x4 Mul x0 Mul Pow x0 Add x4 -1 x4 Mul Mul x0 Pow x0 x4 Mul Pow asec acoth atanh x6 Add Mul x0 x5 -1 Mul Mul asec acoth atanh x6 log asec acoth atanh x6 x5 