Pow exp Mul asech x0 Mul Pow Pow -4 x3 x0 acos Add x0 3 x4 
Mul Pow exp Mul asech x0 Mul Pow Pow -4 x3 x0 acos Add x0 3 Add x4 -1 Mul x4 Mul exp Mul asech x0 Mul Pow Pow -4 x3 x0 acos Add x0 3 Add Mul Mul Pow Pow -4 x3 x0 acos Add x0 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Add Mul acos Add x0 3 Mul Pow Pow -4 x3 Add x0 -1 Mul Pow -4 x3 log Pow -4 x3 Mul Pow Pow -4 x3 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 3 Add x0 3 -1 