Add Pow acoth x0 x1 Add Pow Mul acos x3 x0 csc x4 asech x0 
Add Mul Pow acoth x0 Add x1 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Pow Mul acos x3 x0 Add csc x4 -1 Mul csc x4 acos x3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 