Mul x5 exp Mul atanh x0 Pow acot acos x0 5 
Mul x5 Mul exp Mul atanh x0 Pow acot acos x0 5 Add Mul Pow acot acos x0 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow acot acos x0 4 Mul 5 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 