71 `^`(`/`(1, 2), `+`(x, `-`(6))) = `^`(8, x).  

 

 

 

1.5