sech acot acosh sech tan log atan Pow Mul x0 x0 acoth atan x7 
Mul Mul tanh acot acosh sech tan log atan Pow Mul x0 x0 acoth atan x7 Mul -1 sech acot acosh sech tan log atan Pow Mul x0 x0 acoth atan x7 Mul -1 Mul Mul Mul Mul tanh tan log atan Pow Mul x0 x0 acoth atan x7 Mul -1 sech tan log atan Pow Mul x0 x0 acoth atan x7 Mul Pow sec log atan Pow Mul x0 x0 acoth atan x7 2 Mul Mul Mul Pow Mul x0 x0 Add acoth atan x7 -1 Mul acoth atan x7 Add x0 x0 Pow Add 1 Mul Pow Mul x0 x0 acoth atan x7 Pow Mul x0 x0 acoth atan x7 -1 Pow atan Pow Mul x0 x0 acoth atan x7 -1 Pow Mul sqrt Add sech tan log atan Pow Mul x0 x0 acoth atan x7 -1 sqrt Add 1 sech tan log atan Pow Mul x0 x0 acoth atan x7 -1 Pow Add 1 Mul acosh sech tan log atan Pow Mul x0 x0 acoth atan x7 acosh sech tan log atan Pow Mul x0 x0 acoth atan x7 -1 