Mul Mul Mul x0 Mul asech Mul acos acoth x7 4 x0 x1 Add x4 Mul 5 x0 
Add Mul Add x4 Mul 5 x0 Mul x1 Add Mul asech Mul acos acoth x7 4 x0 Mul x0 asech Mul acos acoth x7 4 Mul Mul Mul x0 Mul asech Mul acos acoth x7 4 x0 x1 5 