Add x7 Pow acos Pow Mul x0 x7 atanh cot acos x4 Mul Mul Mul x3 x0 4 5 
Mul Pow acos Pow Mul x0 x7 atanh cot acos x4 Add Mul Mul Mul x3 x0 4 5 -1 Add Mul Mul Mul Mul x3 x0 4 5 Mul -1 Mul Mul Pow Mul x0 x7 Add atanh cot acos x4 -1 Mul atanh cot acos x4 x7 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 x7 atanh cot acos x4 Pow Mul x0 x7 atanh cot acos x4 -1 Mul Mul acos Pow Mul x0 x7 atanh cot acos x4 log acos Pow Mul x0 x7 atanh cot acos x4 Mul 5 Mul 4 x3 