Add acoth Pow Pow Mul Mul x0 atan sqrt x5 Pow x7 x0 x0 x2 Add asin Pow Pow Pow x0 2 x4 x0 5 
Add Mul Mul Pow Pow Mul Mul x0 atan sqrt x5 Pow x7 x0 x0 Add x2 -1 Mul x2 Mul Pow Mul Mul x0 atan sqrt x5 Pow x7 x0 Add x0 -1 Add Mul x0 Add Mul Pow x7 x0 atan sqrt x5 Mul Mul x0 atan sqrt x5 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul x0 atan sqrt x5 Pow x7 x0 log Mul Mul x0 atan sqrt x5 Pow x7 x0 Pow Add 1 Mul -1 Mul Pow Pow Mul Mul x0 atan sqrt x5 Pow x7 x0 x0 x2 Pow Pow Mul Mul x0 atan sqrt x5 Pow x7 x0 x0 x2 -1 Mul Mul Pow Pow Pow x0 2 x4 Add x0 -1 Add Mul x0 Mul Pow Pow x0 2 Add x4 -1 Mul x4 Mul x0 2 Mul Pow Pow x0 2 x4 log Pow Pow x0 2 x4 Pow sqrt Add 1 Mul -1 Mul Pow Pow Pow x0 2 x4 x0 Pow Pow Pow x0 2 x4 x0 -1 