Mul sec csch Pow Pow x0 x1 acoth sec Pow Mul x0 acos x6 x1 x1 
Mul x1 Mul Mul tan csch Pow Pow x0 x1 acoth sec Pow Mul x0 acos x6 x1 sec csch Pow Pow x0 x1 acoth sec Pow Mul x0 acos x6 x1 Mul Mul Mul -1 coth Pow Pow x0 x1 acoth sec Pow Mul x0 acos x6 x1 csch Pow Pow x0 x1 acoth sec Pow Mul x0 acos x6 x1 Mul Pow Pow x0 x1 Add acoth sec Pow Mul x0 acos x6 x1 -1 Add Mul acoth sec Pow Mul x0 acos x6 x1 Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x0 x1 log Pow x0 x1 Mul Mul Mul tan Pow Mul x0 acos x6 x1 sec Pow Mul x0 acos x6 x1 Mul Pow Mul x0 acos x6 Add x1 -1 Mul x1 acos x6 Pow Add 1 Mul -1 Mul sec Pow Mul x0 acos x6 x1 sec Pow Mul x0 acos x6 x1 -1 