Add atanh Mul x0 -2 Add x0 Mul acsc Mul Add x6 Pow x0 acos x7 E x5 
Add Mul -2 Pow Add 1 Mul -1 Mul Mul x0 -2 Mul x0 -2 -1 Add 1 Mul x5 Mul -1 Mul Mul E Mul Pow x0 Add acos x7 -1 acos x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add x6 Pow x0 acos x7 E Mul Add x6 Pow x0 acos x7 E -1 Mul Add x6 Pow x0 acos x7 E Mul Add x6 Pow x0 acos x7 E -1 