atan Mul acos sin x0 acoth Pow x6 acosh Pow Add x0 3 x7 
Mul Add Mul acoth Pow x6 acosh Pow Add x0 3 x7 Mul -1 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 Mul acos sin x0 Mul Mul Pow x6 Add acosh Pow Add x0 3 x7 -1 Mul Mul x6 log x6 Mul Mul Pow Add x0 3 Add x7 -1 x7 Pow Mul sqrt Add Pow Add x0 3 x7 -1 sqrt Add 1 Pow Add x0 3 x7 -1 Pow Add 1 Mul -1 Mul Pow x6 acosh Pow Add x0 3 x7 Pow x6 acosh Pow Add x0 3 x7 -1 Pow Add 1 Mul Mul acos sin x0 acoth Pow x6 acosh Pow Add x0 3 x7 Mul acos sin x0 acoth Pow x6 acosh Pow Add x0 3 x7 -1 