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