Mul tanh acot sqrt Pow acos sec log Add x5 x7 log Pow x1 Mul x1 x0 2 
Mul 2 Mul Pow sech acot sqrt Pow acos sec log Add x5 x7 log Pow x1 Mul x1 x0 2 Mul -1 Mul Mul Pow Mul 2 sqrt Pow acos sec log Add x5 x7 log Pow x1 Mul x1 x0 -1 Mul Pow acos sec log Add x5 x7 Add log Pow x1 Mul x1 x0 -1 Mul Mul acos sec log Add x5 x7 log acos sec log Add x5 x7 Mul Mul Pow x1 Add Mul x1 x0 -1 Mul Mul x1 log x1 x1 Pow Pow x1 Mul x1 x0 -1 Pow Add 1 Mul sqrt Pow acos sec log Add x5 x7 log Pow x1 Mul x1 x0 sqrt Pow acos sec log Add x5 x7 log Pow x1 Mul x1 x0 -1 