Add Mul x0 Pow Mul Pow Pow x0 x2 acos atan x0 pi x3 acoth Pow Add x0 x0 x5 
Add Add Pow Mul Pow Pow x0 x2 acos atan x0 pi x3 Mul x0 Mul Pow Mul Pow Pow x0 x2 acos atan x0 pi Add x3 -1 Mul x3 Mul pi Mul Pow Pow x0 x2 Add acos atan x0 -1 Add Mul acos atan x0 Mul Pow x0 Add x2 -1 x2 Mul Mul Pow x0 x2 log Pow x0 x2 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 Mul Mul Pow Add x0 x0 Add x5 -1 Mul x5 2 Pow Add 1 Mul -1 Mul Pow Add x0 x0 x5 Pow Add x0 x0 x5 -1 