atanh Mul Add Pow x0 x0 Mul Mul sin x0 Mul x3 x0 Pow Mul acos x0 x7 x0 Mul x0 sqrt E 
Mul Add Mul Mul x0 sqrt E Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul Pow Mul acos x0 x7 x0 Add Mul Mul x3 x0 cos x0 Mul sin x0 x3 Mul Mul sin x0 Mul x3 x0 Mul Pow Mul acos x0 x7 Add x0 -1 Add Mul x0 Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 x7 log Mul acos x0 x7 Mul Add Pow x0 x0 Mul Mul sin x0 Mul x3 x0 Pow Mul acos x0 x7 x0 sqrt E Pow Add 1 Mul -1 Mul Mul Add Pow x0 x0 Mul Mul sin x0 Mul x3 x0 Pow Mul acos x0 x7 x0 Mul x0 sqrt E Mul Add Pow x0 x0 Mul Mul sin x0 Mul x3 x0 Pow Mul acos x0 x7 x0 Mul x0 sqrt E -1 