Mul sec Mul 4 acot Mul x0 Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 5 
Mul 5 Mul Mul tan Mul 4 acot Mul x0 Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 sec Mul 4 acot Mul x0 Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 Mul 4 Mul -1 Mul Add Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 Mul x0 Add Pow Mul x0 x7 acoth Pow asec x1 x0 Mul x0 Mul Pow Mul x0 x7 Add acoth Pow asec x1 x0 -1 Add Mul acoth Pow asec x1 x0 x7 Mul Mul Mul x0 x7 log Mul x0 x7 Mul Mul Pow asec x1 Add x0 -1 Mul asec x1 log asec x1 Pow Add 1 Mul -1 Mul Pow asec x1 x0 Pow asec x1 x0 -1 Pow Add 1 Mul Mul x0 Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 Mul x0 Mul x0 Pow Mul x0 x7 acoth Pow asec x1 x0 -1 