Add -4 asech Mul Pow sqrt Mul x0 asech x3 x0 x0 
Mul Add Mul x0 Mul Pow sqrt Mul x0 asech x3 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 asech x3 -1 asech x3 Mul sqrt Mul x0 asech x3 log sqrt Mul x0 asech x3 Pow sqrt Mul x0 asech x3 x0 Pow Mul Mul Mul Pow sqrt Mul x0 asech x3 x0 x0 Mul Pow sqrt Mul x0 asech x3 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow sqrt Mul x0 asech x3 x0 x0 Mul Pow sqrt Mul x0 asech x3 x0 x0 -1 -1 