Mul x2 acos Add -1 Mul atanh x0 Mul cot x7 -5 
Mul x2 Mul -1 Mul Mul Mul cot x7 -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add -1 Mul atanh x0 Mul cot x7 -5 Add -1 Mul atanh x0 Mul cot x7 -5 -1 