tan asec Pow x5 Pow atanh x0 asech pi 
Mul Pow sec asec Pow x5 Pow atanh x0 asech pi 2 Mul Mul Pow x5 Add Pow atanh x0 asech pi -1 Mul Mul x5 log x5 Mul Pow atanh x0 Add asech pi -1 Mul asech pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x5 Pow atanh x0 asech pi Pow x5 Pow atanh x0 asech pi -1 Pow x5 Pow atanh x0 asech pi Pow x5 Pow atanh x0 asech pi -1 