tan Pow asech acoth Mul x0 asec Pow Mul sech x5 x0 x3 atanh x0 
Mul Pow sec Pow asech acoth Mul x0 asec Pow Mul sech x5 x0 x3 atanh x0 2 Mul Pow asech acoth Mul x0 asec Pow Mul sech x5 x0 x3 Add atanh x0 -1 Add Mul atanh x0 Mul Mul Add asec Pow Mul sech x5 x0 x3 Mul x0 Mul Mul Pow Mul sech x5 x0 Add x3 -1 Mul x3 sech x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul sech x5 x0 x3 Pow Mul sech x5 x0 x3 -1 Pow Mul sech x5 x0 x3 Pow Mul sech x5 x0 x3 -1 Pow Add 1 Mul -1 Mul Mul x0 asec Pow Mul sech x5 x0 x3 Mul x0 asec Pow Mul sech x5 x0 x3 -1 Pow Mul Mul acoth Mul x0 asec Pow Mul sech x5 x0 x3 acoth Mul x0 asec Pow Mul sech x5 x0 x3 sqrt Add 1 Mul -1 Pow Mul acoth Mul x0 asec Pow Mul sech x5 x0 x3 acoth Mul x0 asec Pow Mul sech x5 x0 x3 -1 -1 Mul Mul asech acoth Mul x0 asec Pow Mul sech x5 x0 x3 log asech acoth Mul x0 asec Pow Mul sech x5 x0 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 