% SZS status Timeout for complex__pow__def__compute_
