Pow acos Pow Pow x0 asech Mul x0 Add x0 x4 x0 x1 
Mul Pow acos Pow Pow x0 asech Mul x0 Add x0 x4 x0 Add x1 -1 Mul x1 Mul -1 Mul Mul Pow Pow x0 asech Mul x0 Add x0 x4 Add x0 -1 Add Mul x0 Mul Pow x0 Add asech Mul x0 Add x0 x4 -1 Add asech Mul x0 Add x0 x4 Mul Mul x0 log x0 Mul Add Add x0 x4 x0 Pow Mul Mul Mul x0 Add x0 x4 Mul x0 Add x0 x4 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add x0 x4 Mul x0 Add x0 x4 -1 -1 Mul Pow x0 asech Mul x0 Add x0 x4 log Pow x0 asech Mul x0 Add x0 x4 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 asech Mul x0 Add x0 x4 x0 Pow Pow x0 asech Mul x0 Add x0 x4 x0 -1 