Add Mul Pow acos x0 sqrt x7 Mul Mul atanh Add -1 Add x0 x1 x0 acot x7 sinh x3 
Add Mul Mul Mul atanh Add -1 Add x0 x1 x0 acot x7 Mul Pow acos x0 Add sqrt x7 -1 Mul sqrt x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acos x0 sqrt x7 Mul acot x7 Add Mul x0 Pow Add 1 Mul -1 Mul Add -1 Add x0 x1 Add -1 Add x0 x1 -1 atanh Add -1 Add x0 x1 