Mul atanh Pow x0 x0 Add Pow Pow pi x1 x0 acot Pow atan acoth x0 Add exp Mul Mul acos x0 x0 x0 x7 
Add Mul Add Pow Pow pi x1 x0 acot Pow atan acoth x0 Add exp Mul Mul acos x0 x0 x0 x7 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Mul atanh Pow x0 x0 Add Mul Pow Pow pi x1 Add x0 -1 Mul Pow pi x1 log Pow pi x1 Mul -1 Mul Mul Pow atan acoth x0 Add Add exp Mul Mul acos x0 x0 x0 x7 -1 Add Mul Add exp Mul Mul acos x0 x0 x0 x7 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul Mul atan acoth x0 log atan acoth x0 Mul exp Mul Mul acos x0 x0 x0 Add Mul x0 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 Mul acos x0 x0 Pow Add 1 Mul Pow atan acoth x0 Add exp Mul Mul acos x0 x0 x0 x7 Pow atan acoth x0 Add exp Mul Mul acos x0 x0 x0 x7 -1 