Add Add acoth sqrt atan Pow sec log x0 x6 x7 Mul x1 acosh x1 
Mul Mul Pow Mul 2 sqrt atan Pow sec log x0 x6 -1 Mul Mul Pow sec log x0 Add x6 -1 Mul x6 Mul Mul tan log x0 sec log x0 Pow x0 -1 Pow Add 1 Mul Pow sec log x0 x6 Pow sec log x0 x6 -1 Pow Add 1 Mul -1 Mul sqrt atan Pow sec log x0 x6 sqrt atan Pow sec log x0 x6 -1 