acoth Add Add asin acos x0 Pow Pow Mul x0 x0 x5 5 Add x0 x0 
Mul Add Add Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Pow Pow Mul x0 x0 x5 4 Mul 5 Mul Pow Mul x0 x0 Add x5 -1 Mul x5 Add x0 x0 2 Pow Add 1 Mul -1 Mul Add Add asin acos x0 Pow Pow Mul x0 x0 x5 5 Add x0 x0 Add Add asin acos x0 Pow Pow Mul x0 x0 x5 5 Add x0 x0 -1 