Add Mul pi Mul acos x0 Add x0 Add x0 exp atan Pow Mul x0 asech x3 x3 Mul Mul x0 acsc x7 -4 
Add Mul pi Add Mul Add x0 Add x0 exp atan Pow Mul x0 asech x3 x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Add 1 Add 1 Mul exp atan Pow Mul x0 asech x3 x3 Mul Mul Pow Mul x0 asech x3 Add x3 -1 Mul x3 asech x3 Pow Add 1 Mul Pow Mul x0 asech x3 x3 Pow Mul x0 asech x3 x3 -1 Mul -4 acsc x7 